| Key | Value |
|---|---|
| FileSize | 11460372 |
| MD5 | E447D22527F57F916900A1D135C396CB |
| 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 | 20151002+magnesium+dfsg-1build2 |
| SHA-1 | 49D1DA9B2C605C1FAF3B152930BE51E6362E7CB7 |
| SHA-256 | A64553751BAED087847B3825F245C96C1D7857EE635CFE50D3256E88ADA56FEC |
| hashlookup:children-total | 564 |
| hashlookup:trust | 50 |
The searched file hash includes 564 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/loop.cmo |
| FileSize | 19762 |
| MD5 | 4B42A0C956A8CAAFFABDE3E2DE8AA67D |
| SHA-1 | 0036AAC05EE2F591A22532DA345259A3F8E0904A |
| SHA-256 | C8D6ACDBD5D58F4D3EA21C8C33527F065001C297C4DDEC7615E17889A0716CCE |
| SSDEEP | 384:QW80AyjaIBIWe25/YvG19XICI08IGyF71FU9yb:qCHH5/Yu19XIC8IGyF712a |
| TLSH | T1AE92B58DA3288AF0C8E918BD9CD48A4BC321763C15435E370248165682FE6CEBF5767F |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/wp/coqwp/Memory.v |
| FileSize | 10160 |
| MD5 | 0A78E338EE4AE1375E39E605D8E908A9 |
| SHA-1 | 0137E6B573E045B897430A36D157BF721C95AEBF |
| SHA-256 | 6F1884736D15D4372B0B71CD2D38783919D5FB20613E0BCEA8A3199369DF457E |
| SSDEEP | 192:jkzinAO2CKaCpkvG/M6P0ldki67frZikdZi3jZnZnbBNqSdDlhtK3ezB:oziAOxbus4i67jZikdZi3jZnZnVh |
| TLSH | T16D22528464AA1F1A159A7BFAACE340D1C4F6E62023F1BA08760DF15C4FDE466F673C85 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/doc/code/docgen_lt400.ml |
| FileSize | 14204 |
| MD5 | 7B3080B6D9C1BDCA8055C58FD20833C2 |
| SHA-1 | 01B3AF27E882E3F39C19672EC8037A51F1DC48DF |
| SHA-256 | A609C776B2E327311DC29CC5BE908948A88C8E83D36569A750E23FBD2673EDFB |
| SSDEEP | 384:Czi97hzMyL2YsEzaoxP/xCem5wWWMQUQc8oaEWB:Czi97hHn5xP/sZ5wWWBUQc8oaEC |
| TLSH | T1EB52416216E1193336CBC1B6AAC652C1DD81C29F0220EC147AFC756CBF0ED7A52E57A9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/hptmap.cmo |
| FileSize | 233778 |
| MD5 | E4BD650F4375AEDB94BE006A947B76DF |
| SHA-1 | 01EA22D614CC61288C0E91054D0B5815333DFA8C |
| SHA-256 | AB0F374D1161D029B05394FD5501657421ADEC5B7358428EDB3343136611D414 |
| SSDEEP | 3072:ewJUrp6fBaipq+Wf6w1DjrmGmc7ew2JSoJsYdZzBc9FDfnNAbhz:ew28fdsX6wVmcil3DW6bhz |
| TLSH | T1F934194CBBA9F4B1C0B85D7CCDC9EA8B4219883F66272F3B011D135592D625E6F06B87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/logic_lexer.cmo |
| FileSize | 71914 |
| MD5 | F70D0FAF6493FD43CCD32F9E4539784A |
| SHA-1 | 01FED99D55C4EA42B1117D7B0DAE6475A888448A |
| SHA-256 | C78D5E167C8AF7150E1D1178446E6A9D6A3CC3D2173151B9520C2EF4B32430B5 |
| SSDEEP | 1536:V9HWs15EkLFkdukO3Z0+kSysj1c6j7g9rWx+hh9tLjO3aSG2:DPZ00bdjWzLjO33T |
| TLSH | T13B63A50BB71ACD22C51415BB8CE4DDE907116CBA26239FEBC209761C84F776A6F4E790 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/unmarshal.cmo |
| FileSize | 84905 |
| MD5 | D14D7AAA2BF07BB4A3EE58DCB553E1AF |
| SHA-1 | 0222BDD5BDD4B858B73CC81CE79ECA6A3EB51EBE |
| SHA-256 | 03C9E73ED502FFB8BDA52E2CD10447D79447B10B16EE2E06FF3E99B0A38DB6A9 |
| SSDEEP | 1536:pGuqpT0AQMnvwqxd6Vs/vCSEm6j4IYAir5Kgd:7mQ8vh9/qSP9IYjKA |
| TLSH | T19683B60DBF68E832C8AC19BFCDE5DB8E02615C3FA5135B6700691219D5D372EAF54B0A |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/linux/netlink.h |
| FileSize | 1689 |
| MD5 | 99C79465043E4CB2FBB57B7A78465393 |
| SHA-1 | 025F177ABA404DF953594D67880248E9791E04D8 |
| SHA-256 | 13F3443C7781E09E7C03895A059968ADBDB1C7B5406556131D0E100F27EB60E7 |
| SSDEEP | 24:bC9YXTi9z9WQ2i/09+RJVyEaOkHwvgU9Ml7Fa9ehsV:bC9YXTi9xW/b9CJVyEqHw4U9Ml5a9emV |
| TLSH | T18B31991915FCCFBB088000E52B09D0DAC20BA68B63581C09313DB3BE634EDE713E0798 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/logic_lexer.cmi |
| FileSize | 1311 |
| MD5 | B66DD4DFBF961137A81467E246E77497 |
| SHA-1 | 02B4C27ADAF19F51D1AB9502F08D312FC763641B |
| SHA-256 | C509779C7DBB4C4FFB66E192DB786FB35F44E7DF1FAEFF9DD02BBBFD744A924E |
| SSDEEP | 24:gGw+CeiJMJElt6tRDxCfyWCbvnrCyCS3H5oFYcuKLwETyNvLS:e+ziblt6tnSrAvnrxRH0Pf/TAu |
| TLSH | T1BE211D9DA7744896C88E19F99050AD676821667E046F2EB3D25900E59DC9A0ED3838C7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/cmdline.cmi |
| FileSize | 6287 |
| MD5 | 957C7E6E696DD041C0C9E12E75C0B00F |
| SHA-1 | 02F167A7F6562749732A25F890EAE6ADFE5E1935 |
| SHA-256 | 6CFB0DF755A7E162148522F21517BA4A39AD3D9CBC7463B391FC17DFBB02C746 |
| SSDEEP | 192:m6YCs6nApf2Md00WQMOSH4n/4qhjjr3lavVy:mWLApygSYnQYjlaNy |
| TLSH | T1AFD10BED8434F09C54EE7CBDE19CD987824153BF85779C37832A0A522BBA80D936355B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/emitter.cmo |
| FileSize | 122511 |
| MD5 | 8A224BEA98BE054895E89FC8250E5066 |
| SHA-1 | 034F38B7691395380BB5C1966F8B72183C9AEF3E |
| SHA-256 | E82035D05EBDCFE3410E7C70D6B4168AA2CD80D91226D6E2F40C817867A76B7D |
| SSDEEP | 1536:mhRsCBqQQ6P4+bIJa19ZB8IIcm/w6CF/867sryhyiMOkLPdRJpiXxVCdUS:krPRIEb8IIn/DK/bsryhyiMOkJRWK |
| TLSH | T1B1C3D78C6A35F5B0D4AC4EFCD8E2A98B4A118A3F543B9E3B000C1760A7AB71F5746757 |