| Key | Value |
|---|---|
| FileSize | 22302592 |
| MD5 | B785184C76EC86539332BD15324EA4E6 |
| 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+b1 |
| SHA-1 | 72693175F353BEFA0FD8E0EBA92835C0DF95A02C |
| SHA-256 | ECC78A14C29FC22054F0E2D8E64D8115850E118CE5FA49D88FEFC4FBA208C121 |
| hashlookup:children-total | 1045 |
| hashlookup:trust | 50 |
The searched file hash includes 1045 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/db.cmi |
| FileSize | 54832 |
| MD5 | 8CA22019522AC8C826ED9A6C10C68012 |
| SHA-1 | 001213F592C3332BD6032C88854FD019AF02C2CE |
| SHA-256 | 0ED6DD03B89F56A6E29BC3F9435944C73E357A4141EB22B6DE3E5B8269970781 |
| SSDEEP | 768:N6gm7BAopEe/XwN/tGGxM990msAlcsaJHz4PiKO3Lq17HVkR3JHfc8CEYr:N6gm7CoWaXMtG4C6btH3LrR3+8w |
| TLSH | T13233009C6818F4E8058DAC1ED41BD51BAA848F7F1C366D37C41896E06CAD52E8B4FBC7 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/Makefile.config |
| FileSize | 5893 |
| MD5 | B9365126C361FDBC4B3231068A73AFDC |
| SHA-1 | 001E4E2FADB7949B042FCC851752E574553706B1 |
| SHA-256 | 32767EC56CA2CC8C227A6F3971818ED79671AD8CA15DCBDF122B9D37EC646DD3 |
| SSDEEP | 96:NPfAi7pkv1iPAQn5hr31eA255cdWN67qOV4WXAspvZhw1B:NPoiWdiYKUA25KdWNSSWXAspvZhw1B |
| TLSH | T168C1952A910C9A2C174329F1578AF0D859CAEB673DB70054B85EF40E331E46F8A63B23 |
| 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/plugins/top/Nonterm.cmo |
| FileSize | 192067 |
| MD5 | B53F3D72752B3A90D0EBEC2BFA357498 |
| SHA-1 | 0093DC4B00C308A3DBAB8E1C1DE9F28CB3911C4A |
| SHA-256 | 9A0DBA23C43597EC0F1DB3B19C55F377F3F83D7C968480C21D9ADF547239BD48 |
| SSDEEP | 3072:vBAsTt/+kUAth3+YGf4KIZq783a5D3LVvKmz2LGxC6ymAt5OWL57zqRV:vBAsTt/++NZmiZYxVvKmqSceAl57yV |
| TLSH | T1CE14C55C11950AF0C5A2177D89B69A37F310D77DBCA3AFB3681C86A894CE11C9708F9B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/widen_type.o |
| FileSize | 37944 |
| MD5 | 5CDFF33385774E577E045E0F4DF95B4E |
| SHA-1 | 00B5B1242BB5B0B11CCD1D40335BF67044307192 |
| SHA-256 | ACE18A898C77672D6F1019A19D1AE4E49AF627773A14D98CD930F25B84688B3E |
| SSDEEP | 768:CHBlKAEi89IprB6MDwHR4KH1KQMjyf0UqYq/:CHBlKAEi8iV6HHWAqJ |
| TLSH | T13C03F14776D7BD2EC9969B3001726224B23FFC55AE8177036224361E2F32EAA4F75358 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/filecheck.o |
| FileSize | 238000 |
| MD5 | 9B70B9B534697E462FD2EB9A95CEB120 |
| SHA-1 | 0166F577C6A209B3CE8A5C18E9079EFBC1C6ACEF |
| SHA-256 | CE02FE16EF89A2EF5A299B11C1F465AC50AAEF9B2509A014006E928AE1B68DD4 |
| SSDEEP | 3072:Qw4YTBs0g0/sKTprAOOB4EZFyRAG+cQWWj:bsL0/BTprNwZMRAG+PW |
| TLSH | T147342F1B7ADB6D2EC159873001A61AA16167FC147F12BB07B7E0320F6E3EE824F5B594 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/int_Intervals_sig.cmi |
| FileSize | 4553 |
| MD5 | 278ABAC925DFFE9F9BC42572F3EF35C4 |
| SHA-1 | 018CE9117379180DCA34E3A2D0C513C35FCD5B22 |
| SHA-256 | BD4FC8C54BFFCCBD98DE6D661850683A55C7BB10FE1AE4BB7C1321052F63E026 |
| SSDEEP | 96:DnXDeIMQ//yxKzuudN7zVlsnYwJnwtA51yRbJEMTh8AKgjL:rXaIMQ//yxKPN7z/snYwJnwtYoEm8A7/ |
| TLSH | T1249142DDD1A8F06867CDA87DD14BE887540C5BBEC9771C77622C029148AE54EC32F58B |
| 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/annotations.cmi |
| FileSize | 15025 |
| MD5 | 072FBF5450836D2A74CF3CD3379A06EB |
| SHA-1 | 01EC1F2B6F63DC5879E44D9F17A6B49953FD92DF |
| SHA-256 | 80373186FA421AFB1152C4B2C18B154145767A88CFC94E7F607D18A6020FA215 |
| SSDEEP | 384:+JeUQcCKapgqxBu9aEH9XQRZ459AMbHvDy7RF7LpWiw3soUJqFS3VBAEfBmIbYTr:+mQ4g5LcGy3RKQuAFY |
| TLSH | T17E62158C8844F4FA22DA94EEE10EA45F6304137F5CBA5E73011C0AB195AF54DDF19AD7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/integer.cmo |
| FileSize | 33188 |
| MD5 | 7BA299916C790A766ECC0DA7D5E99207 |
| SHA-1 | 0235F7B735EDBD1AC2C0B6321800590FA9B4C02F |
| SHA-256 | 94EBAE5DD0AFA8D4666623247AC58FD1DE9AA2A74E77453441E6333E7E091120 |
| SSDEEP | 384:jtrUEp9xAXS3rAgtkObaUQATpvloS9i4ySxranp6lPN6wy1B8S1WEZ3Jt1kKsueH:nAcdhVvlHiH6lwwyz8e31kZuex0hsr |
| TLSH | T1DFE2820DFA28F5B1C9990CBDDCFACE9B12014C7F7113AD672589472D989071E6B49B0B |