| Key | Value |
|---|---|
| FileSize | 17536576 |
| MD5 | F78FB419356B4608AC07D28145EF5ECD |
| 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 | 20150201+sodium+dfsg-2 |
| SHA-1 | A6FED74D855B513FF4A5B9AA7DFEF57FA3DB1F1E |
| SHA-256 | FAD09514529CA5490E9A0A3AE8B373859BC09CAB21F5DF12F48E3F7581B43FC3 |
| hashlookup:children-total | 900 |
| hashlookup:trust | 50 |
The searched file hash includes 900 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/Users.cmo |
| FileSize | 76985 |
| MD5 | E899A0E91F52FE42C98566D02657CC80 |
| SHA-1 | 010ADEC9D499FAE3472BE28E8E5CAF5C65CC0A16 |
| SHA-256 | 8E72DCE5506B11C7CD0C80551C649629484C46FCA733A4720C3DFB6FB7D95A6C |
| SSDEEP | 1536:EN6SWTXi234wDQUQPhiRInV5jc6nZvqwXP1YBtGdpA:EN6PTewDQUQZKIncKwKdyYdq |
| TLSH | T1D873638C5529F470C08E1ABDD4F668672E608A7F58B79D3740580AB2F7BB40F8713A87 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/nl_types.h |
| FileSize | 1896 |
| MD5 | EBCB39E14463E7ACF51C0E8245000F59 |
| SHA-1 | 0117652DD5F243A7754A022E8A3B3FE6A7E6C894 |
| SHA-256 | A7FB0FADA36B4D1A1E1E1E06CF52AC89479004A9ADFA5084BCE71BEF2C28BB86 |
| SSDEEP | 24:bC9YXTi9z9WQ2i/09+RJVyEaOkHwvgU9Ml7Fa98226s:bC9YXTi9xW/b9CJVyEqHw4U9Ml5a98Ws |
| TLSH | T14041684919F8DFBB041006D51719D1C9C21B9A4B7658AD98703DB3BE6B0EDE613E07C4 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/tr_offset.o |
| FileSize | 9272 |
| MD5 | 182B7AA0DE502439647605FF7A452BCC |
| SHA-1 | 013DF1BAD65F5EF40CDB7322B8C290925C9BB7AB |
| SHA-256 | 560C534CBBD8E26E4F1D4A58B952B151C00F988D40DA8F69EFF014D36EFA933E |
| SSDEEP | 96:bVa35Omirs+D2lbxitsWVGJrW3Hs+qPXtM1UGR7NX9acfcqH:bM35O7zwbxTWX3CPCDNacr |
| TLSH | T1E812B147BB8B487AC568C535017B2731B2B5FC586F61B707250C772E1F32E989E29BA0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/tr_offset.cmx |
| FileSize | 1367 |
| MD5 | 745328AF226A43EE711F0B0639855F80 |
| SHA-1 | 014B2AD363FAE0709133006D5A1785A6A3D44EB6 |
| SHA-256 | 7BE55E01967D280EDFCB32740A9210AD4A43304159510A42E19147116A7C56A2 |
| SSDEEP | 24:QlK9/BculEp3oouATeGhy/N7VjNHYj7GGo9VDZ497RKeD6+Bjad:QYip3oouKENRI7e9fy7luMS |
| TLSH | T1FE21E64D0F86C82640E8F8200E38892F2C76501A7EA7C8F00378047968FE8C1F43EF20 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/__fc_define_time_t.h |
| FileSize | 1707 |
| MD5 | 0D789BA4EC2EEBD3AA65BB8EE504A3E5 |
| SHA-1 | 015D7D35B4FED52524F4AD433CE1C7CC74A92A42 |
| SHA-256 | FAC870D29111F0D5936A1889999B6BEC2D878CE05C50C8A02EDAC58A737FC244 |
| SSDEEP | 48:bC9YXTi9xW/b9CJVyEqHw4U9Ml5a9NzjU:bC9YDi90/b9CbKw4U9Ml5a9ZI |
| TLSH | T19E31721916FCCFBB090004D52708D1DAD24BAA8B6B596C5C703CB3BE670EEE213E0B94 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/boot.cmi |
| FileSize | 3021 |
| MD5 | 2B1F7333A80F22B850DACD658EBF4FF2 |
| SHA-1 | 017FE19C6663EE1F8A72E259F0B70E47A60D0830 |
| SHA-256 | 02FA4010C6A3D11EAF9F51421BC14F9596F8FE6E7CF41A93C59C71128BE39147 |
| SSDEEP | 48:MjOq7WtD9NVIIzUycKEqJWrsK5V7fo0FEobyyYvv0roRAPBoMXoV4+p/tWpC+AnW:MjlqfIIzUDKOrLFFhgUEmZRs/UAEdsM |
| TLSH | T1C65108493B95FE275CFE4210492E048748716559187FCEE083B4277894BB44CD32B75B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/base.o |
| FileSize | 57208 |
| MD5 | 92D4857E74E3CA3D23D31508291307A3 |
| SHA-1 | 0249713F126F88007D09A9E6D8D4F4A3A6FA30B9 |
| SHA-256 | 52397C9ED3657585EFCB2B366509FFFFD92ABA3DD2A247ABA0408912B9EDBCB5 |
| SSDEEP | 768:/6SzIQf+WEQl2Iz8baVXWbdvQ/lHo8NoeutGn73J7:/6Sl+WX2NN3Ds73R |
| TLSH | T16243D9477362883EC458C97A01727674927BBC48AF487F06391C7B0F2F71C55AAB96B8 |
| 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/kernel_function.o |
| FileSize | 80784 |
| MD5 | 47163E27BCAC9169B7A3C7C6C1D0CFF6 |
| SHA-1 | 028EE7D6E43B22B629A82337FDFFBF6EDC75300A |
| SHA-256 | B67D99BAA32EAE453EFF3281586B3E05F15FEB095EC2A8201D9E18B961B3C30C |
| SSDEEP | 768:H5j3qX1000geTG4ne578W+45f+jehW6pJTxAFKRHBF3hXxP7:HJ81000gY5neuW+4R+jv6tAwh5hXl7 |
| TLSH | T1CB83FE8BB712587EC095CA7A017B7734727AFC05AF553F023504BB0D1F72E85EA68668 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/ival.o |
| FileSize | 382904 |
| MD5 | 4113A1D3E98357A3D8C4F61217598EF7 |
| SHA-1 | 02AB4EA2920A1ACA6F44ABAE52DA99A6B3419567 |
| SHA-256 | 75DF2D03F0477D7609C3772BDC2744C116664E6E780CE7540010F374FF2D6080 |
| SSDEEP | 6144:e4yRIpdsF9teJmhyNwkRR7F2s28MTpfaQkkiYRDl1NP1XI7rS6qzn5JH+9XC:eHIpOFneQyDEbh5PM5qbC |
| TLSH | T17F84C9477763047EC154C97302B62634A77ABE4AAF293F123509370E1F32E19AE697A4 |