| Key | Value |
|---|---|
| FileSize | 18356240 |
| MD5 | F5CE08B8F611D0148C24FE7CDF621550 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | frama-c-base |
| PackageSection | devel |
| PackageVersion | 20140301+neon+dfsg-3 |
| SHA-1 | E4712E27C515758F9E4D36AB07C7537D9A9E5446 |
| SHA-256 | 4E9A1D0E1346963E3E950B2775C0A1D5D31D4ACA1C0D83F305DB22EA6A5F3136 |
| hashlookup:children-total | 1002 |
| hashlookup:trust | 50 |
The searched file hash includes 1002 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/slicingInternals.cmo |
| FileSize | 10018 |
| MD5 | 8D08CE0D7C346932DE24BB7B2776C073 |
| SHA-1 | 0084329D31A188154F36C554ACF3FD3ACA1049D8 |
| SHA-256 | 55446244D1E4DD3A6BB9CF73068D871D924F538850BC1128DE20AB51A45035C2 |
| SSDEEP | 192:dFgbtYRsgdtHVTdNeEu16d43BEHVgC9urV9GQGmIFfp77V3pi+gmZq:BRlHVFDd4Y+euvGjmIFf1Bgm0 |
| TLSH | T1BB22A60E91248A75D8A91C7EAAE7FC5FE6408A7E04375D33503887A194CD4EEDB1738B |
| 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/project_manager.cmo |
| FileSize | 53125 |
| MD5 | 257371EC3268A0C31E4E60EF3F2D314C |
| SHA-1 | 01CA6585114B3A16611884C5F4D6696A771E4B00 |
| SHA-256 | EEADBCF56419FD3F185DCE4A2689ADB95996D138C9AE261CA255AE36D80454C8 |
| SSDEEP | 1536:VGU57SHpgJhFWn8o2yQE9YJGaPZW1zjaK63f:bkgJ+n8v09YJG/1z2l3f |
| TLSH | T18333E70E7324E470C5AA18BDDAE4D98AD2105E7E6AD76DF7000442909ECE3EF9F196C7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/datatype.cmx |
| FileSize | 17603 |
| MD5 | 57EE9736CF95A64A9E3B70ED53104D67 |
| SHA-1 | 01CA7345BC7500C2561C08179EBCAB9D238CE7D1 |
| SHA-256 | 6E859454CC2ED30F7DD353243CB6EA334BFA22FE1A191642FD37FC0085D50EBF |
| SSDEEP | 192:NCoNPDU3hI2N+GlsvQ6dT31+jMrm5N3de1QwFSd9B1doPnp4bJe/DBhC:kCI3hI0761MjMqTdiQ8sH1doObJx |
| TLSH | T11B824B02EB2815E1C8CBEAFD24D7D5D08509EDCA1E94EC3349900AB891FD5727BFD21A |
| 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/int_Interv_Map.cmo |
| FileSize | 37763 |
| MD5 | 8A8390C8A7D051A30E35417ACB58C76A |
| SHA-1 | 02A4C90A3877A6E49D3D1547B04DB2BE4C1DBF0C |
| SHA-256 | 127E9B7B8DF6D8CD3CF8179CB9FF16B61BD2C3071772D0164107A6B7B2F71276 |
| SSDEEP | 384:LLaniIQu7lY8zOChrSagx4hzwWu4GmiXXXs431yuQ9NOGdTbBCz3G6naYXFJvJTr:Hv9uCmhAGuz44XB129YcA |
| TLSH | T16303B98DA660F675C0ED11FDCCDA49CB0611A93FEA2B2E37090E8924D5C290E7F15B97 |
| tar:gname | wheel |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/Constant_Propagation.cmo |
| FileSize | 159796 |
| MD5 | 2C4D05A9E2EDF4C37F61B11DED8993AB |
| SHA-1 | 030F3B8F9EE223C01087E95A4639DD135A036994 |
| SHA-256 | BA1F2E14EC0B22D67E418A98E1E239258E7892E3F431EA94202415D06308218E |
| SSDEEP | 3072:f4l9sIjvaLopTDhEyadg3iUfDwH1LHFqYMK1Sd9xqO8nBMGWR00wX0Y7:f4l9sI7aADh1SiiyDwH1LHFX1Sd9kOEL |
| TLSH | T1ADF3074D94A0F4F1C48A417DD5B99927E791863F6CEB2DF3002D82B52ADE50E8712BE3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/db.cmo |
| FileSize | 216817 |
| MD5 | E5A19E3886AEA728FF43C6C526BFCAF8 |
| SHA-1 | 03ADDED5856F9691554A00341BD279D04CA09794 |
| SHA-256 | E2DC49662C5DC2BE3EE2C4C279F6315BCDA6C0C42DEE4CD10AD1E2CC004A501B |
| SSDEEP | 6144:mX9He1kIIobEQmFJdVhx1Eb91KKjxwpm4M2wne:ZkyQQmF4fjxwpU2wne |
| TLSH | T1C724E64D69794770D899C07E8DE6BDCAD2005A3D35BB2DFB402C02544A6E6EF8B12F87 |