| Key | Value |
|---|---|
| FileSize | 20504924 |
| MD5 | 1B01E41F0E4DF87781DBEC4D95BA9214 |
| 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 | D291039C91EEA0F5ADCBBE984F1749B11BB9074D |
| SHA-256 | 6610B6A3095212E2E4C23D9A5BF4B0B8AD42658104FEC3962E7E84CC69E37F3A |
| hashlookup:children-total | 1001 |
| hashlookup:trust | 50 |
The searched file hash includes 1001 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/offsetmap_bitwise.o |
| FileSize | 59760 |
| MD5 | 4F1EB05261319F334EDD3B68B1A743B1 |
| SHA-1 | 005F80C7EA62A7FF6020A9927FD5D74B98820710 |
| SHA-256 | 4FAD3C2464220DE62B19115C9DF8A62F1357A13B1D1BB9D7325BBA320C3538CB |
| SSDEEP | 768:Xzu0TJhE+JmrMlz8mPMRaa9lF3F3HLnX1Mt0C4g2c944+dp3QsHxkrtMy:jlmuYmPw79JHLGL+Xk7 |
| TLSH | T1BF43B605AF4FDD3BD0B32E7819AB03D1A734C68605D06F5B8508BE6435138F69B5EAC9 |
| 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/lib/frama-c/dataflow2.o |
| FileSize | 41040 |
| MD5 | 7C05C67D6385251EADCD6A239FC057A4 |
| SHA-1 | 00B76887F977369FAF8295BE8BA6E131A497A1E1 |
| SHA-256 | 1DAC3110B0AB186307981876518961FDF767C6986D8CDC0D27BA6E044A6C86F6 |
| SSDEEP | 768:huyRVGFI4+5mWo8DIXGbqmoqGof7evi31EC:hRTDk8DIXGsojevi313 |
| TLSH | T1DF03B705AF89ED6DC06B09B44DD743A5F338DBC935D22B1781C4BE2A39936F4725AAC0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/Value.o |
| FileSize | 822217 |
| MD5 | ADA7472637F7924212A7677CD9EEF1E4 |
| SHA-1 | 010B2AED7B0B30FE17C685EE4E0752665A72C5F7 |
| SHA-256 | 3C1BA1F76A55BC5234A6811236A2526D86304D17573E49122A28E852D0DEFB79 |
| SSDEEP | 6144:/ibSV0Tekf6/9jJjLpbGMdbCkIqcc2GSqzZqt33233cMnqtIfYW3IqZ+Qq+oSciQ:hqYVImbCklcw0U+ILUuV2OIK3Yp |
| TLSH | T11205C6219FDAF91AC0530F74442B4371B778EE852991EA1BD048BE243D636FA9B97DC0 |
| 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/hptmap.cmx |
| FileSize | 4641 |
| MD5 | A6AEB8BE89E89E599D43A378ED383C5D |
| SHA-1 | 01741C1E209FB406FE01D542056D2E81A77A0BB8 |
| SHA-256 | F8770E61CD288055C21DC31489D4A7A3867A404CBA5B5025D3A905C2D9BB322E |
| SSDEEP | 96:rdbhcQx3KzFWU9ek2ddrHbVyGcT0/LT9m+qjHahsGXJibb1c:rNKQUzVK7/9ieiSJyc |
| TLSH | T122A15103FF11DC62D4DB67FDFA66B684C533D8816C6DED738C540A2940EA902E6E5239 |
| 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/cabsvisit.cmx |
| FileSize | 2851 |
| MD5 | 2F098E1F370AC2CDE55C76BDAA4D26EF |
| SHA-1 | 01F509E4888B1D53498D0027AA4195EAE33F7848 |
| SHA-256 | 97A66992B9B1DD0D165700DF5199BF58494D2E58A1FC22979B5A8B389EF98793 |
| SSDEEP | 48:C8xSXvz9xJqKPfEmiccyJ8PYh/rEgbK+GhADZmeq3wK0O7kQ+FNVPxb:vSXvz9x8K/+y7e+vNmeq3rF7k9V5 |
| TLSH | T103511C82AFA275D27C1D32E69666E2151A13F0CB0C19DCB24BDE4627333935AE433786 |
| 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 |