| Key | Value |
|---|---|
| MD5 | F7D81987CFB7F43B7E4176677BF975B4 |
| 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 | 9.fc18 |
| PackageVersion | 1.7 |
| SHA-1 | 43F45E69D1603EA6D42DE8378BA31026A10BD28C |
| SHA-256 | 5398CBAF21CFBE69884592CE0EAADF505BBAECE20702CF6FD9A37FF4AD821E11 |
| hashlookup:children-total | 7 |
| hashlookup:trust | 50 |
The searched file hash includes 7 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | frama-c.spec |
| FileSize | 10502 |
| MD5 | CE93F985FE6AB16A480402F584510367 |
| SHA-1 | 03A0854A386469B06F66E2C62A9DF06FDB220B07 |
| SHA-256 | 52CD5EB1F99F429567BFD78216095204C29068ACA2C159A7A7B1DE92C05DA457 |
| SSDEEP | 192:kNB71b/YpDIBDyp3ks/bEB8/WWoM6Lz8aAKRaxNHPcb/YAk3mG+fVx:kN/kpDIBDyZVTj/W86n8ayNHPctk3m/T |
| TLSH | T1BB22083312C4A437A04615F0FA30A690BB7FC576B13560AB36EC8B89130175DF27B6B9 |
| Key | Value |
|---|---|
| FileName | ./etc/emacs/site-start.d/acsl.el |
| FileSize | 66 |
| MD5 | F96D16EE56E76EB69EEAC83E36217ACD |
| SHA-1 | C791AF85DD9944599A373518A686B94222AEA323 |
| SHA-256 | AE38A443BF78732EB440AF8321453732EEF27673EC459466A154CE308B42841A |
| SSDEEP | 3:BKKSPOHF5sIKvhjqdAUn:BKKSQEIi8dAU |
| TLSH | T10EA02220B2F00A28230022C8C2C08020302C088BEE08300028000208200A80020303E8 |
| Key | Value |
|---|---|
| FileName | frama-c-gui.desktop |
| FileSize | 140 |
| MD5 | 0931774C54488EFC3ED9860879AA7AC7 |
| SHA-1 | 99B39E48E24C4234989CCA34C9F83B3718C4B3B0 |
| SHA-256 | 88530CA3DC927C09A0C906A566EAF42A7D441E61BAFFD0F5195F4BC4DC55B6E2 |
| SSDEEP | 3:ag4qSLkS9Y/f3djLM1KpbODjjoERMQ7RAThEiuMn:agaLP+vd88lsXoc9iuMn |
| TLSH | T1EEC02BC32E14323C420F201571C1B9CDBE07201530E024E0D6BC022542A1C4CA081DC5 |
| Key | Value |
|---|---|
| FileName | frama-c-ocamlgraph.patch |
| FileSize | 1841 |
| MD5 | E312DE4E493E8B3BFBFD102E833B6EA7 |
| SHA-1 | 11C86AE27871B6F64A9A83EBCD8CE4C67434F81D |
| SHA-256 | 9D9CA1D3BBE1506942DAEEE4C83C985489CA7BE648AC2F974D4A9500923CF4C4 |
| SSDEEP | 48:4wUwgoXOVn6VR+SZG8VW7HsAqt/cWA7HsAT:59goXynJSZA0t/09 |
| TLSH | T1D2318CAAF1E9D5BBA49F02944815780A9C5AF2AB31C3A61CB78DC5F45F50508C2F3789 |
| Key | Value |
|---|---|
| FileName | frama-c-ocaml4.patch |
| FileSize | 3130 |
| MD5 | AB0E93C9C37487E3A8EBC05AB149EF77 |
| SHA-1 | 000EC4FDE440A4C34DD34F33CC099D8FFCADA99F |
| SHA-256 | BD776E20AAED683CAFE78252867F9082927573A906B480881F06994F5C4497AA |
| SSDEEP | 96:YDkzPegX8gmgQEUrA+dN4WMqSD99R7gN8g:YDkJXj1R7+dTSD9D7gN8g |
| TLSH | T1A5513FAB73E84277D776CAC385AC2118CB51B05E27CC3618781D4B909F05E38A0E0BE8 |
| Key | Value |
|---|---|
| FileName | frama-c-1.6.licensing |
| FileSize | 665 |
| MD5 | C8AB6EA921B39B962960F18C44398DD3 |
| SHA-1 | 468A9BDCFEA97FA353EBDA89840A525B05061551 |
| SHA-256 | C058ABB16D17B755A5F11ADA19E52DC8231D543850BD5FCC875019BF6D3B1554 |
| SSDEEP | 12:2/ADuRogtes1mrDrmNgQRN36vgDJFlZejU814RKop4pjNJogi:/u/temMDiNgQ/32gBMA8iKop4pBpi |
| TLSH | T13201DD17BC068F740563E1462E09238AD2D1C3664B6A9D1226ECB060613B44537FC029 |
| Key | Value |
|---|---|
| FileName | frama-c-Nitrogen-20111001.tar.gz |
| FileSize | 12110786 |
| MD5 | 09BF25ED3D1B54E2D523166AA4499EDD |
| SHA-1 | 5B5B8CD0B21E007012C899AB74BB33CBE23582ED |
| SHA-256 | 8AFAD848321C958FAB265045CD152482E77CE7C175EE7C9AF2D4BEC57A1BC671 |
| SSDEEP | 196608:o3DeIzRdpbRw1lDRQjICPUhct909qvWUcmPYbcxvw:oCIdMZRy0yU9qncqYbcxvw |
| TLSH | T122C633CA2C6E5C536725FC0910956829CE276C4C3548FAF99DF127026FABBD3C66F260 |