| Key | Value |
|---|---|
| MD5 | 5784C03D2268AFE79587A700C1B60174 |
| PackageArch | aarch64 |
| PackageDescription | Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis. |
| PackageMaintainer | Fedora Project |
| PackageName | frama-c |
| PackageRelease | 1.fc32 |
| PackageVersion | 20.0 |
| SHA-1 | 1C59CD198CD2C90216F79E1F6C06B1103ED3A351 |
| SHA-256 | 258F73B317E4D8297063621B34B30AF0E4C2FAA53F1D9DF3AD24DE655E036EC7 |
| hashlookup:children-total | 783 |
| hashlookup:trust | 50 |
The searched file hash includes 783 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/precise_locs.cmi |
| FileSize | 5468 |
| MD5 | 454FA519D39600523502BD24B65FE06F |
| SHA-1 | 00018EAE635DFA1C8251ABA1771F423290CAEDD6 |
| SHA-256 | EFAE443A4C1AA23F2AFAB0559165D81E27A8658EE38599ECACB55B877CDA2159 |
| SSDEEP | 96:aCFvqSd73Mvyr8+eDVP16pT5dAuHl9J1bZCJPld1hv3il:aCb73MvN+eDje7AuH7/bIZld1py |
| TLSH | T1CAB173AD5B109A06EEBA465EDAC0C3E76E3146FDC1F3CDBB90581FC49460A0C135B293 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/locale.c |
| FileSize | 2207 |
| MD5 | 37E6C5FF56DEF52A6923D5CAEE861690 |
| SHA-1 | 003B48284A6D34ABBEFABCA0918EB9072F0B437B |
| SHA-256 | EA6CACEFD19D0978FDEF51D074B43BA878AC80371EAB7D78241ADD68FE6950D6 |
| SSDEEP | 48:bC9sXTi9xW/b9CJVyEqHw4U9Ml5a92ElAv4u06QeYCDmCln:bC9sDi90/b9CbKw4U9Ml5a92dv4u06Q4 |
| TLSH | T13A41789625B98F675D0030D80F85C1E9E1A72503B23D2E54743EBBAD774EEEE42E0388 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/time.h |
| FileSize | 12329 |
| MD5 | E056CBBCECCBE98F96E66C1605861778 |
| SHA-1 | 00975B929258B215A0B4692856480405E7384F2D |
| SHA-256 | 307983B52476ECAB0769B327F7BAFDDE375461669FFEB0618610B9E6BC1E4908 |
| SSDEEP | 192:bC9sDi90/b9CbKwh9Mlk999+CSJgKg0xqaTeCGgsaBxmkB6RgjGKgoywXxb5DhZw:lX3lCSuQTemRBb6GUoxZkq2 |
| TLSH | T1D54231256CBA6E25CAD290F67AA0A1D1C302B43733DC8854347CB3B61F8FA946376775 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/glob.h |
| FileSize | 3574 |
| MD5 | F686D7DC38B4386166C1D431570F47BA |
| SHA-1 | 0231D3DA3FB0E2DAC4EC432D256A02C67AFBE63D |
| SHA-256 | 47E27A068152E82B4A783C4C7C0F1362B12F70A11ABC118361B69504AD2FAF08 |
| SSDEEP | 96:bC9sDi90/b9CbKw4U9Ml5a9rWwggHewyY5plKU:bC9sDi90/b9CbKwh9Mlk9rpggHEY5plf |
| TLSH | T1C171ED0A2BBC9F1B456159D9670C80D9C183D33B712A64A976BD377D070ECE601B0F9C |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/wp/ergo/Cfloat.mlw |
| FileSize | 14556 |
| MD5 | AB3C27DE2E10295848748C383ABDC821 |
| SHA-1 | 02A70E4A82AE16F679A3496DFB635022EEDFA171 |
| SHA-256 | A07358BAC6419092AFD7BCD52D124B080A0B676C3DB9E12B74491864D010E0D9 |
| SSDEEP | 384:8zijzWMqSoRlosvML0LrL/LmL+L7LmB2wD8q1A:8zib1A |
| TLSH | T11F62325C06B34B1F40BB9B663A8006E7711C6DE7E0E2AF057E9C65493FCE8A4F6209D5 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/ctype.c |
| FileSize | 3232 |
| MD5 | FB89F28E0A6BBCA277F7C1341C2DC8EE |
| SHA-1 | 02F736397D72F7B5196D157AF617CEB802E366B7 |
| SHA-256 | 1E4960AFF64586C0EB2302796B1C24E455B13F8A1DC5FC689BC06F8838173AF4 |
| SSDEEP | 96:bC9sDi90/b9CbKw4U9Ml5a9rU13AsBUtl73lvSynZyg:bC9sDi90/b9CbKwh9Mlk9rU1xU7Jv1Mg |
| TLSH | T14961CD44ABE65E26051250E02F99C0EEF31BD86792EC2EA4781D73DDB71DEA512F0688 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/offsetmap_lattice_with_isotropy.cmi |
| FileSize | 4947 |
| MD5 | 316EE2AA12394CCC54A0F0B7D42AA2DB |
| SHA-1 | 030F89F0402E0D7AE55B8D42988E1CAFD2D0AF13 |
| SHA-256 | 363B1BA76E758DE61BD0895BEFF2ECC7D30137CE712FA449EC1F4B2A9EC21C53 |
| SSDEEP | 96:0Kq35UmdMBzpm2Yb+MXmqe7NrpLn8FNWHB9VmE7G:Jq3SmdIpm2YzXmqoRpL8fWHfVmB |
| TLSH | T181A1516D97089658ECA921ACDEC48BEF2A2887BCC0F4DD77D0140FD1112594EA36B3CB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/menu_manager.cmi |
| FileSize | 7534 |
| MD5 | 7668CF705EC67A6263DB97C8216B9CDE |
| SHA-1 | 032A847FE88F1F00F11323E10EB00CA3F77963BD |
| SHA-256 | FB600D0F9B8BDFECF1A5471C5B867A1358C25D3AFD0F164ACF4C59BADA877D5E |
| SSDEEP | 192:JWWG5LihZx5HUY6cQzNjRvVp7rnR/1H/B/ZrBU:JWW6LihitzRN/f51J/ZNU |
| TLSH | T108F1B77EB3430555EDEDB2AE99B9416B6620127EC2E68C3FC45A87E40526C0CC3DA0CB |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/frama-c/plugins/top/Nonterm.cmx |
| FileSize | 3865 |
| MD5 | 58AF3920022D26374E814F39EF6028DE |
| SHA-1 | 0344C2AA400393751C3AA25789A4FA557638A9D3 |
| SHA-256 | 6FD66A7B597801A47202FF96406024162DD0B4F3F5702ADC82E16104F0385B18 |
| SSDEEP | 96:qAMHKH1W9Bm3EXi51bobtv3JP7xM18NkBwWAWqIEvT7v:q0HCXXab2v3Z7xM18MlE7r |
| TLSH | T1E4810A2837837DB07AF7D3437E48448B6B31909F8399C63085EC169406BAD1ED3EA754 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/termios.h |
| FileSize | 6401 |
| MD5 | 8D89B44875E1E77830532D6631F99B5B |
| SHA-1 | 03B8146E74F06858CDD0A2F6063FC6D9D12091FE |
| SHA-256 | FC9ECBE88B315A026DB7A9220D53C72DE785CC51D512013D34064E439E76E0EA |
| SSDEEP | 192:bC9sDi90/b9CbKwh9Mlk9HN+KpBbYgCh+6RBtEs1G:lX38+e |
| TLSH | T10AD184629CE55E65D0BA40893AACB4C5A201FC7376C868EC702CBB6D4F5E99037F42CD |
| tar:gname | bin |
| tar:uname | root |