| Key | Value |
|---|---|
| FileSize | 22170072 |
| MD5 | 051E62D360B46CDEC8BF0219F5E30CA1 |
| PackageDescription | Platform dedicated to the analysis of source code written in C (without gui) Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the results computed by other analyzers in the framework. . Thanks to this approach, Frama-C provides sophisticated tools, including: * an analyzer based on abstract interpretation (Value plug-in); * a program proof framework based on weakest precondition calculus (WP plug-in); * a program slicer (Slicing plug-in); * a tool for verification of temporal (LTL) properties (Aoraï plug-in); * several tools for code base exploration and dependency analysis (plug-ins From, Impact, Metrics, Occurrence, Scope, etc.). . These plug-ins communicate between each other via the Frama-C API and via ACSL (ANSI/ISO C Specification Language) properties. . 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 | 20171101+sulfur+dfsg-2build2 |
| SHA-1 | F482467288DA5C732CD6D7864D63EA41DCAC405E |
| SHA-256 | 6C4EE4A88FAE26EA94131AB95FC171BCBFC05F863B042398F067BB632E96A211 |
| hashlookup:children-total | 1043 |
| hashlookup:trust | 50 |
The searched file hash includes 1043 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/math.h |
| FileSize | 13859 |
| MD5 | B370AEA2044AF49CA608319DD408F37D |
| SHA-1 | 006D224DA87C95898B0BC3EEA8F6486FF1F4DF25 |
| SHA-256 | 3B8A5E05BBEC2EA2648AE17A6F7F37FFD0D2AB0D2B94B29539C04514928280F1 |
| SSDEEP | 192:bC9uDi90/b9CbKwh9Mlk9TFxAkdO8Fs2VzAnRuB21:rX3k5vB21 |
| TLSH | T1D252288C14B5BE43AEABB0D90C99E2DAD100D5D23789E85E319FE7170B8B45A7520DF3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/base.cmo |
| FileSize | 145373 |
| MD5 | D7E10982E91BE452F646C953C3E6DDAF |
| SHA-1 | 00B3AE77D0343E96AC696767A2FE1BDAFFE7E53C |
| SHA-256 | F22220BE4FB2F9119B531F0353FD6040B983410CE5EE0B5C65BD326289261820 |
| SSDEEP | 3072:XlIT+16hNouss0GkAKgTy0DYR5m6vc4eJGGhQ:XlR16hNouss0GkAxTy0DYR5m7Y |
| TLSH | T1AFE3924D962040B1CA8D98BCD5F389C7DA184A3C64F79CF7205C07A0B4EE64E975E6BB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/wto.cmx |
| FileSize | 652 |
| MD5 | 66AAB17D1A15E09C6BA644EEF919E358 |
| SHA-1 | 01165E2FAE3560549301A06097F57C3090A8D112 |
| SHA-256 | 5060A1D82FF4A703BD6C9849FCFF75DABD150EF434AF58960799704B1FEFDAC8 |
| SSDEEP | 12:eMjtcov4bzHVMSOm/h6SLfuXWkU2GWa6f4G3wwQxtHQpj4WJnG:ecv4bZrHRW9Bxf4G3wwQx1Q/G |
| TLSH | T191F023A2475DE70881D5F0703F671E1385859C623C7F10A3C3A40A56B89AEC53957349 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/exn_flow.cmo |
| FileSize | 280616 |
| MD5 | 13898DC4E5D130160DCBE08641B06C57 |
| SHA-1 | 0173E6DCB910FA377B2E8EE9E6AB626159601A91 |
| SHA-256 | 645F74121C829090EE1C6D69D227F95451CA4030ABE0109CF92905AA7528C095 |
| SSDEEP | 6144:f9c0uH6bnaRPBwfLVGgytRT1DQj+XO49YyqR79bABae0:f9cYaQTEpRT1DOAOy5qYBu |
| TLSH | T13A544E0D669004F1C45A577D89B6DAB7F301C63CBDE36EF7000D46A8A4CD61EAB09B9B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/alpha.o |
| FileSize | 11512 |
| MD5 | BCEFAF215D3D76A463466620EA333DD8 |
| SHA-1 | 0177AB00A71CFA5993529F00A633937AC7976C96 |
| SHA-256 | F4C8A4FD00CBC29C2C86EC4458AE2C7EE7E308652DCE05DED66ABC8053479798 |
| SSDEEP | 192:g/QCbolPeG4V8CAs1Nm2xtLXkGzAVmS0qZwVQU9i26K8Ekg:g/QCKKusXm2zjCynv67X |
| TLSH | T1F0321B2E8BCC9C6FC419523480E713167760D8562786EB834689B3B4FD4B3C82EED9A5 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/wp/why3/Vset.v |
| FileSize | 5182 |
| MD5 | F91819316715999F63FB12A38E7DC12B |
| SHA-1 | 01AEAE830AD465F071C54A66F32454B5A3F69C8B |
| SHA-256 | DDBFB6AC5C2BBC1F44E80B4F512043239F31306285FFBBABCF84154932437193 |
| SSDEEP | 96:elYkZ9sF+8rOaHCizrgXrhJyvxekZLasTS8t/Hr86yGpM:Vkzin1i4rgXrhJNkoWyGpM |
| TLSH | T1CDB1B0052CBB1F852E0B57FE4DD248C2A11A895160B8B00CF78F765D4BAE3A17EBB580 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/base.o |
| FileSize | 43480 |
| MD5 | E9E7CCB5171191324F23FA3DBB1423B2 |
| SHA-1 | 0220847F2F6EE92DD546C85EFACE1329598AFACA |
| SHA-256 | 9BE42710666170FFA47A89CD512B2A82E819CB1C32095EA9C964A9BCA824CF74 |
| SSDEEP | 768:uMMP8BobeagcVJNY1f+8meIjXJB3J0tnkst8FK:u3BeLc1McZjXJbqkG8FK |
| TLSH | T17C13715A97DDDE2EC29C11B980DB03D43A70C2453B82BF4F519D7848AEAB3542FA7784 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/cil.o |
| FileSize | 658780 |
| MD5 | BF2E16159CB81FA40A86681E15E5A3A3 |
| SHA-1 | 0230789420CA7C7A61D1491247877B36234D74BA |
| SHA-256 | C49D6D13DED0AEC6FD22EDB2297C054BC1446571C1B2B99B2E27831010BAAF92 |
| SSDEEP | 6144:GA5axvgne/NSt97jW2ppe2It+9kvf6EjVIEIC1nDdxfJYDTC5HXOZTUK+s9O3nsV:p4P2x1mdGEHXK+sM |
| TLSH | T174E4D506A6DDADAFC05D823C14D71719733AD58D3783FB8BC48B21C0ADAE3961FA5285 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/oneret.cmx |
| FileSize | 1947 |
| MD5 | BC7020C468CF1C47F4F55BC7787B1AE7 |
| SHA-1 | 02BF2AE11775ECF5C72B29A4F866FD71E7A62840 |
| SHA-256 | 15B2CAD44619C5E558092A86CB2EE87DEBB3B5944CDF41D4C1DAD5E61A30AF47 |
| SSDEEP | 48:cr1Glapqvb7+/sfEoUGAwvgvERDqBTFgGNx:cISObksMTGAwvgvERehFt/ |
| TLSH | T11A41E81C170CF9B0B7EFF0A3159B0F23E8809479153EC5BAC218169A55FDE45A27921F |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/wp/why3/Cfloat.v |
| FileSize | 5698 |
| MD5 | 7A95B01D44D555F79FD5383ADFE9352B |
| SHA-1 | 02FAB039F7B2946FDF41A791C64BCFFF9DBCA084 |
| SHA-256 | B6BD1539A2706FE0D0A8ECFB8D8D578F1A047AC5DEFE6A50C2E68425A7CEFE55 |
| SSDEEP | 96:elYkZ9sF+8SG/MvngFJsDYQiLCv5JPr7dZkcSK:VkziOG/0ngFCcf+5V7cK |
| TLSH | T1CEC1BE0C09A25E6F14CF6FF95ED7A1CAA425CAD12A293805F25DFB5C0F9E2359B630C4 |