| Key | Value |
|---|---|
| FileSize | 22256760 |
| MD5 | 84F6A2D53528AEFD3A3E02016D0EBB07 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | frama-c-base |
| PackageSection | devel |
| PackageVersion | 20171101+sulfur+dfsg-2 |
| SHA-1 | B370CAAA269B50D0EA969327426C7810B8844D58 |
| SHA-256 | E08EDB1EE824611203675D419C16000D57A78ABAF69B900BBE27DCB6E0C11443 |
| hashlookup:children-total | 1044 |
| hashlookup:trust | 50 |
The searched file hash includes 1044 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/plugins/top/Postdominators.cmx |
| FileSize | 3342 |
| MD5 | 92E2B51BF6D25BD91710E458A90AC346 |
| SHA-1 | 0010660DC848DF7B32C3C36FCF93D8D4A869A7E0 |
| SHA-256 | 06891D03BFF2809EBDF0851B1586097A913FE74C8BD3B94E54F8F2D5E07981BE |
| SSDEEP | 96:nSlgZObpoB7ggWhVZUTougAugfA3ex6VFKJa:SuZBsgWhVZ1ugA/4uxSKY |
| TLSH | T1936118141B02FF5159FBE0936A5E0913E47095A4453BC24B836E12A484F4ECAF3B771E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/cil.cmo |
| FileSize | 1882376 |
| MD5 | 002F40F990E9FFD6C4D2566C2DFE16FC |
| SHA-1 | 004B7B76B0B1B4E111CA4CE518012ABB88A269AA |
| SHA-256 | A147A13D63AFB621160A4F7EE410EFD7A556D63708574AD53F861B200C8B0A7D |
| SSDEEP | 24576:aAg00PYB44N/bbaO5cwTQaij5MdtCtxX8HeQxrQJlp4N:ai4441kVijLtWPN |
| TLSH | T1CF95714C644910B2C475177ED8E7BA6BD3A0B63C7B1B2EF7005813A485DE62CAB4DB4B |
| Key | Value |
|---|---|
| FileName | ./usr/bin/frama-c.byte |
| FileSize | 4792156 |
| MD5 | 414992DC8414E22AE38716140AF87965 |
| SHA-1 | 00574E05501C5AB004429663CA19DF02CE365812 |
| SHA-256 | 0848C574FEF300D218C61C7B1349094B9048C7755E47B98ED65ADB8D7472FEF1 |
| SSDEEP | 49152:5q9EfvUmSk3e7MeFkZ/JKA/rt5LNL622XP1t8uQ98gAmPfuDXYobZ+fX8MGWmrdf:5q9EX |
| TLSH | T16626FE8AB7004FA2C5E507B2C99783D51365DAA5EF43072F209CA62C39C3F5F5B857A8 |
| 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/db.cmo |
| FileSize | 202275 |
| MD5 | BB4F4B27D7B6455E319EB6CB530664BF |
| SHA-1 | 008EC2B862517B0434C3FBBE5D0712A9213DAC52 |
| SHA-256 | FEA295FD0D14DCA7A2443A3065029B5DB559CEEF28BC08EB53196DCEADC32375 |
| SSDEEP | 6144:atGMYqC238cN5zFx2Aa5ZnO+gffW0hwFPenq:aUMYi8U5hx2JwVcPenq |
| TLSH | T1EA14D60DAA694271C9591F7E8EFBAACBE210467D78A71EF7101C06504C9D70ECB4AF93 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/dataflows.cmo |
| FileSize | 59374 |
| MD5 | 29236B6F58F7E15AC033DC1E78FCD8DC |
| SHA-1 | 00A7D0A5884550D7FA2634D01892EAC17245FB2A |
| SHA-256 | A4DABE2F5AFF69D993A497F868759C0930936FFD0FF1240946F159F356058342 |
| SSDEEP | 768:LI5PbWeCdl3dERefNLUzxJEeaVued9jemPG1WZq7F/hDKQNX/hoOORmAdzd:LI5PVCd1dE4fNkULlLj9qbDKOXpNlQzd |
| TLSH | T16143F84DBF24F922C84908BDDCE9DF8B53509E7F28234E3B14590B1899C561EAF05B9B |
| 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/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/db.cmx |
| FileSize | 15005 |
| MD5 | DC6176DD73225E26B6F33F144F6768B8 |
| SHA-1 | 01E45A4225F8B01881311EF519DC41720EE59815 |
| SHA-256 | 1A4AEADEE33CC9D5BAA9657FB573F3D12807C39CA31208F73208B3DD8A2E021B |
| SSDEEP | 384:+ZBsaVZ1udkzBHXWO3MCz0wDQGzvUuJ+Za6oNMt3T+eFKaPcc:+n7A6z9z3MCz0w0oUuJ+Zfo2tJFKaPV |
| TLSH | T11362B723EF05D92BDD9EF1FB0DAE0F848566C0845B78CD31261D63065BD2E85427BB2A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/tr_offset.cmo |
| FileSize | 14970 |
| MD5 | 8F003E45CCF011652F38CDE28DE05F24 |
| SHA-1 | 01FB44E49F6FBB729E658AC77CDCFFAF4EF1D64A |
| SHA-256 | 9DE64F43EA0BFA71C1E39FF8A0721DB19E4F57C7CD02FBFF406B4330DDACEE78 |
| SSDEEP | 384:YV8UYvQrYq3CqIhWjqvqBsNt38rJyEKamotY:ejfC5WGC2NhQJyEkCY |
| TLSH | T1BE62184FFB18E632DA9920B9ECD9CD4923594A7E79174D3B01491B940CC2B1DBF21A8F |