| Key | Value |
|---|---|
| MD5 | 810075E729B7D393239A62E7F939D40A |
| PackageArch | x86_64 |
| 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 | AED25C8334773B838B10ACAC99D150D49AABE139 |
| SHA-256 | D0B0CCF73D4DF32727D099313A961CFF00313BAC63EB2638B63915C1412A3CD2 |
| 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/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/lib64/frama-c/oneret.cmi |
| FileSize | 1291 |
| MD5 | D04923146BF1A0AF9648BD7D9C4AFC0E |
| SHA-1 | 00609EB7F5AEB78C6DFF77AD494BA022BE6F444D |
| SHA-256 | 8B089F3DF87EE993C51456EB25DA55AA4F95FB5F167796B000318A4113DB1FD1 |
| SSDEEP | 24:l5fpu4dMgSpFfpql62ijlS0ouVPn2K3b47TEIfsF4Y3QrFyb:lBpPspql62n0Dn2BFflY38G |
| TLSH | T1AF210FAD77510498FE69B7BEAE4402AF5E20513882EA8C7780681BE408645ADD3CF90B |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/frama-c/plugins/gui/Impact.cmo |
| FileSize | 478130 |
| MD5 | B79F2054974753AEEC28CFF7FF9807EA |
| SHA-1 | 006D60C1B8B9AD7FE8ED3255CE6B8808D56D24F2 |
| SHA-256 | 0A0FF861F0FE0E7355F346E2E78208EB6E16F3A72E6C06BB2CBA643E38644E9F |
| SSDEEP | 6144:SnYqodYEbK0q0mQcAbYJa1nKZNWZBLf9kyN76bhC17k6GhcWiCNcBzx2ugk/GlQI:XT1K0+CYkWNYBL1kyN76vZiCiGQEh |
| TLSH | T12DA4E66F76114351CC8846FDE9D681EF2A612F3CA2D34CF7C18907D84182B8D6B5A6EB |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/frama-c/plugins/top/Slicing.cmx |
| FileSize | 5305 |
| MD5 | DE108E33366E39195D09AFA5D5E5E187 |
| SHA-1 | 008484B4D1C3C3A712B3149380A2B535C9C97B21 |
| SHA-256 | 4EAAA254D56BF1FBF2AE159F4BEB4AA8205683FFFBAE9906FBDBDED4D1583F3D |
| SSDEEP | 96:AJcYqAMHAwHmzxctm3EXi5f6T1bvatoJP7xOK1DNkBJ1mqsdE00JELhZOmgfr:ANqOwHhbXAMbWoZ7xr1DhE0/LhZQT |
| TLSH | T1DAB1F8183282FEA579B3F393EA48448FA77951DE92ABC63481BC535C04BBC09D2CA305 |
| 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/lib64/frama-c/statuses_by_call.cmi |
| FileSize | 2562 |
| MD5 | 74EDD9782B26D8974B8772B848E3E5FC |
| SHA-1 | 00B15F90EF217D6D14BC1D07D91F62C0F63B68B3 |
| SHA-256 | 62A838FB8D745433A8015EEC13CF4E795CB9E8324E2FA908CD9BD5D987C09CDC |
| SSDEEP | 48:lRELmPscHZ6+NAFb7C/jXa6nxKW24aZHD+umiUY3gDKuYEvnYMY:liLmPsSZ6IAp7Cm6nxKWPOHl93gKdEvI |
| TLSH | T12D5171AD23445964FDFAF68A994A422F1F30A27C86F98C3341685BF04A3054D978A48B |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/frama-c/plugins/top/Security_slicing.cmx |
| FileSize | 3591 |
| MD5 | EAA045BCA20D5703B0A9E6659E7AD267 |
| SHA-1 | 01D5874F1118AC7E74F1719C168B742E643EDFC5 |
| SHA-256 | 195EE5E7A11747867B70B2FE2BE8735DC69ED1AE13AFE5D7533AEF690BFB9199 |
| SSDEEP | 96:gPqHmKcBm0im1bobtFWJPlxM1D1kTWiPmWoFvy:gCHCdxb2wZlxM1DZWmTFq |
| TLSH | T18771E8143A82BE643DF6E343AE58848B6A32249F83A69E3482EC1354067690DD3DE744 |
| 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 |