| Key | Value |
|---|---|
| MD5 | 010404D89AE06DF54E9961619B1CBE23 |
| PackageArch | armv7hl |
| 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 | C78C8542378C35ABD4C439ADEBD74A3184219EDB |
| SHA-256 | 4F731954CD013371B6D6D0099F46BB197654F7ACC9A59481D402EAED4373079B |
| 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/lib/frama-c/plugins/gui/Metrics.cmo |
| FileSize | 1148731 |
| MD5 | 1A05FB4D54B12A011076B5FB2E82B01A |
| SHA-1 | 006F06D545494974487DE763CB382FE2ABF09DA6 |
| SHA-256 | 67F0C782CA1826AC1FAC6130AA524302A95ADCBC1B73927BDABEBADC823AEE4F |
| SSDEEP | 12288:OwnS/I4CngiC205QdmZyE/RIx0pXkZ9Bgc3g4+xtpjfHJ0fv8ic2qu9Vk4BqjqOg:x+ymZTbpXkxL2fl2u9DMaS |
| TLSH | T14535D58FB59403E8CC970ABDACD949FF15680E3F81D64DFB068A07C5818279D2F495AB |
| 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/lib/.build-id/8f/8320f21c345132f8386164e67a7d10c9d032cd |
| FileSize | 52 |
| MD5 | 21EB3B92A205ED506C3B9B59716E4379 |
| SHA-1 | 00A8B76A046747688EEFC41ED9DB03E2D6B3E07A |
| SHA-256 | F086774516A7813E0DF2916F6C3C569A6E064331C6B440226CA0F02D4C96BB0F |
| SSDEEP | 3:gCD/v5IdVdMLSw3z:X/v5IXdMF3z |
| TLSH | T1AD900272A53C25246416242414210C4417CE9DC03355AE0425AE497999110D89531411 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/plugins/top/Eva.cmo |
| FileSize | 10255140 |
| MD5 | 989BF14FCBDC579840C65D3E9D0C8609 |
| SHA-1 | 01E792EA3FD1E96E72A587322E4688661E7C9629 |
| SHA-256 | 804805749BB1612BF81191C074AD587B9285C637D5EFFF90B543EC59ED8F32FD |
| SSDEEP | 49152:Zye/jZ6Uf5XEqqnKCX59/uHTcwBlh4luoxXSkXTr0FLZ1Z:/r0gqKCXKcwFUHxXS+/0F5 |
| TLSH | T11EA6D45F7A0603A1CCC50AFEE8D552EF16204A3DA6E34CFB810E07E49582B1D675B6DB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/plugins/top/Slicing.cmo |
| FileSize | 1138249 |
| MD5 | 78D083813A29CFBEBCFEFA14E78C155F |
| SHA-1 | 020C583428A9648E16ECFD51EF7B774FE5165D5C |
| SHA-256 | 2442BE451733B3C80A904915D32672E32691AE3C4A3F12F06EFC4F906C3F7B08 |
| SSDEEP | 12288:02Pe7gn4gAVXfaAmf/94J7r1eQmAzlKozb2YZ5FD9+jxA5n60kWDowYkZsP1o:52Nh7RzlHzqg7+sgHFIIo |
| TLSH | T1BD35E60F76431E61CC880AFEDCE922EF5631493E56D34DB7C02A03D549A670C6B9A6DB |
| 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 |