| Key | Value |
|---|---|
| FileSize | 12198284 |
| MD5 | D88FA35467AA24E60FA04640E3BB0CE1 |
| PackageDescription | Framework for C source code analysis (without gui) Frama-C is a framework 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. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . This package provides the library of Frama-c which is useful to build plugins for Frama-c and the command-line tools. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | frama-c-base |
| PackageSection | devel |
| PackageVersion | 20140301+neon+dfsg-3 |
| SHA-1 | 64AA3060358727008048D0BB24C7BD0F3DC291DD |
| SHA-256 | A0C2F2419D0BEF0169EFCD2CF8E70D95D9492280FC2C113D71CE018C60A9EDD2 |
| hashlookup:children-total | 595 |
| hashlookup:trust | 50 |
The searched file hash includes 595 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/acsl.el |
| FileSize | 7574 |
| MD5 | DED41B8A94CA6418BA876FAE1E2B62DC |
| SHA-1 | 016D162FF31F071427B864867A93F9307E226DEB |
| SHA-256 | FD9FDBEEA69B69478D40A995EF2BA1447B45FDE2C3B0D70BEEFFA2A8ADBDCF92 |
| SSDEEP | 192:GAvXgHOx6+CShBZ/odB93UinKkWbGcyzWpUQB:FvXgv+xBZ/odB9uGcyzWpUc |
| TLSH | T1ADF16405FFF90DE13348259E3FCBA346A769E15B62A0194171CF860C3F4A42A63D5FA6 |
| tar:gname | wheel |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/slicingInternals.cmo |
| FileSize | 10018 |
| MD5 | 96518BF55D581A313EA299C2A920D599 |
| SHA-1 | 0202EEF5A39814A50D160653CE5FAC3BC0BA3C4A |
| SHA-256 | 82BA46EFF437424B6FFB65579FFB75F32DEF1CEE57FAE5701B0EC895E472C4EA |
| SSDEEP | 192:dFgbb1sgdtHVTdNeEu16d43BEHVgC9urV9GQGmIFfp77V3pi+gmZq:ElHVFDd4Y+euvGjmIFf1Bgm0 |
| TLSH | T10822A60E91248A75D4A91C7EAAE7FC5FE6408A7E04375D33503887A194CD4EEDB1738B |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/glob.h |
| FileSize | 3297 |
| MD5 | 27A6C849FDC47537921AB150752F203F |
| SHA-1 | 0232DA82F0EC0EB25C92A74E8B3ED1290BCC986B |
| SHA-256 | C1A78DDB7CCB725AE88FA98B7179B9A0ADD53C05CED19AD39B7E16DA94696D3F |
| SSDEEP | 96:bC9IEDi90/b9CbKw4U9Ml5a9uWwkgHewyY5plKI:bC9RDi90/b9CbKwh9Mlk9upkgHEY5plZ |
| TLSH | T18161DB062ABC9F2A456118D1670C90DDC183E33B712A65997ABD37BD5B0ECE601F0F9D |
| tar:gname | wheel |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/Makefile.plugin |
| FileSize | 33454 |
| MD5 | 7F64DA0C8C11A2F210F5B34D91DF50CF |
| SHA-1 | 0243874C61058A36D786A4B15C3A18759408D482 |
| SHA-256 | 28A191EC698489035B812085D6F47B2DB802CEB59C0A2FFC9528454F49E2266A |
| SSDEEP | 768:+PXU63vxU09pLYQxuRu91dTdqw58f2EMJogg1hzzudtzNd2Q61WZWTIVhXUMTXzi:+/UKD9pLYQxuRu91dTdqw58f2EMJoggd |
| TLSH | T1FBE274D6B05A333AABD22DF027081CD9592534FF6C3BC5623AAD8ED55F3D08E82D6614 |
| tar:gname | wheel |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/wp/why3/Cbits.v |
| FileSize | 36473 |
| MD5 | 23BF1B1BA97F8E63E58EF9C5E4065FED |
| SHA-1 | 02855B5A85E63CB07EC71B411248BF05BC7ACBEA |
| SHA-256 | 8CE834EE445C39B03DF7353C8550B9A985FD2DC1CAC67A4CAE76182638D0C018 |
| SSDEEP | 768:fziajoOHZjaYaJpazSa0uamaGoaIa/tpZ+6O7Mv+SlkCk2ngk/kvlKkgkx6fk/k5:fGdOHZwjGHPJfPER3Q |
| TLSH | T191F214516CA72B2BA20B6D3E4EC211D5B910C95E53E4B6437A8DC05D1F29FFA72B1833 |
| tar:gname | wheel |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/config.cmo |
| FileSize | 8772 |
| MD5 | 377D3C6369D26537676F0D10089A9095 |
| SHA-1 | 0450FF4DFF5033D7A9B6B8DE49490C9625A5E5C6 |
| SHA-256 | E67BF2D5D59C912356CB1D696286DAD2018731281B2BA13F6697837EAF9B4FE2 |
| SSDEEP | 96:26h28Y7hyEvSHp6yS/zOjMfvXOsGww9UfIFjKhvj9QNswuCh14dgQwW7XOsUl7ks:LollysSIyS/zgqucj0N1hejwWgQs |
| TLSH | T19C02932FE7261830EDA738BE9CF6B789441D0AF065E7CA56542E572444C0DCAAF76344 |
| Key | Value |
|---|---|
| FileName | lib/frama-c/filter.cmo |
| FileSize | 229851 |
| MD5 | C432FFEAE8DC19722D5B73125A26BCF8 |
| SHA-1 | 04E2BD5333E0FA28376F132BAA3FFEC0D63A233B |
| SHA-256 | 2449D15388E62A17FD244652BC0D43686F3361F78CB5A872C368534F3720629E |
| SSDEEP | 6144:G87aADh1SiioxV0Gms8NAxK4lnYza7pMTZvhNYrQIZBvNXGeL:G87asfDx9mrnInb7WThhNYssxl |
| TLSH | T18624400CAAB0E4B0CCA5017DC9F5C96BE710867F9DD71EF7441E42A6768E60E9B50B83 |
| tar:gname | wheel |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/cil_printer.cmi |
| FileSize | 47097 |
| MD5 | 3DB0716694BE80CF469793CDD75E343A |
| SHA-1 | 04F4C4E1CC389894DB441E17D5067105B73DE97F |
| SHA-256 | E89B304D2B4C56A08BA3CFC2FB41D734C2DD9884F7825FE3ADC62766FB63ABD7 |
| SSDEEP | 768:mAgxQwrruCm37Rd9rLi1MlDXcuib17Aa68HV2Oq88AB:mAgxQwrrBmrl3rXcttAB8HJqdC |
| TLSH | T13123740CA9B4F4D40097859EC54CC61BAB9457BFAE660D37812E51E02FC6A0EC74AFE7 |
| tar:gname | wheel |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/wp/why3/Cfloat.v |
| FileSize | 4735 |
| MD5 | 335D84D780BF6B0817B6F32DF0FDAD16 |
| SHA-1 | 05453DCBDF26FDCE29649CB3D27ECFB41EA54D46 |
| SHA-256 | D7FE7ECD01EEE0652A534CED5B1C80CA49EABC7D293F2A78E8EBBC030AE4DE47 |
| SSDEEP | 48:ebBr8i7kZbyCHsF+8FEMIW3rWQLfbzMvngUAgvJsDYF1bp1j8IddLLT5mtK:elrDkZ9sF+8WG/MvngUAOJsDmPFdZ5SK |
| TLSH | T13CA1AD0809A61EAE158F2FBE5FD362C3D4169AD22A397805F15DFB6C0F5E225DB624C0 |
| tar:gname | wheel |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/cparser.cmi |
| FileSize | 6327 |
| MD5 | 118D01831E6B29DF4A76051FA39002D4 |
| SHA-1 | 05B04BD3A992D0CD5AF78E3288BB7E98D43B838A |
| SHA-256 | 56927BAFCFF8789B92F7A9E4BF5E6709A7D4E781ED6A301F961C4AE345B4EE3B |
| SSDEEP | 192:v9Tgk88T3s0Et6mdFB5EOb+2wwn5WwdfjymIbYDGoeOirTXOADLLO5tFnh33l+kp:lTH88T3W6mdFB5EE+2wwn5WwdfjymIb8 |
| TLSH | T155D1688F965F6CDE851D3158883BA8027002F3AD45574D27A25E9FACE84DC1ED7E388B |
| tar:gname | wheel |
| tar:uname | root |