| Key | Value |
|---|---|
| FileSize | 13954484 |
| MD5 | 4C07BCB8403984C8226D42342A4C7C0C |
| 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 | 3BA6C3F479D49042A56718F4E3A6ED07D7E17378 |
| SHA-256 | 00C1E8898F794C433B2CDD743BBD21B701C7366205EA1B9D6065EF29D181FCF2 |
| hashlookup:children-total | 679 |
| hashlookup:trust | 50 |
The searched file hash includes 679 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/statuses_by_call.cmo |
| FileSize | 48576 |
| MD5 | 3FB650EFAD666083CE04FA3A22D034C8 |
| SHA-1 | 008BE2CD55E91B2D8AD2FECC8E09CE5DAA1F36B1 |
| SHA-256 | 95C69EAAC9FA1BADCED70DE4B6666E148D518A29CFBE936B479F5A1346AE0786 |
| SSDEEP | 768:jzFxOHQz6w4MrnjsHmHH2J35Vhau35TYFqSQpz9mHv8sGWiP3YyK0HMN6faW:jzcqV4MjUmHH2J35n95TYFqSezUHRyVB |
| TLSH | T11823639D9630F6A4C68E58FCE4D78CFB6314453F5A370C372048A6E0A49E24E9B1F967 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/printer.cmo |
| FileSize | 255630 |
| MD5 | 953C7CFE4CF4A0767425B0C363AA36D5 |
| SHA-1 | 0104BFA5ECEE3C7EA2FBD6741129D53A84F23176 |
| SHA-256 | 3A14DC5D6FB830107979FE9A96B8975251A8170863165F48FC9CAB209D03D6B7 |
| SSDEEP | 6144:NHww9PfEONG5gTTrYDDYhAFL4iGhRt1ZJT:NHwwvG5gT/YDMhAFL4xhH3JT |
| TLSH | T1A944B30D569094B4E04250BD84B386A3F350A77E9EFB5CF7411E86A8E98D90E974CF8F |
| 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/lmap.cmi |
| FileSize | 35156 |
| MD5 | 025F58F33ADB9303FB7381EFB496C9F9 |
| SHA-1 | 0290A253B0D72D713BB42691CB9B8DCC871BB816 |
| SHA-256 | EC2420259897D20C05EA5B6E78EFDC72A1A7E04F594E71B657C652DB7339CE60 |
| SSDEEP | 768:gPadgQBg/1RCZVV17KyEV7zECxJG7D9gJwkwPq8jdT0LCpQdC0:SadbS/nsf1O/PVJG7wwk+njCupQj |
| TLSH | T138F2F05DBC68F0A502CED86FD00F848B569856BF24371C33991886E16DEFA4E8B1F593 |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/stddef.h |
| FileSize | 2022 |
| MD5 | 72CE2FB10E8A5A7EC37BFF0F0038A135 |
| SHA-1 | 03255E7A571A9C04C487EA25A0CC90FEA78778A8 |
| SHA-256 | C62CD5450A71026EFB7B7C5FDE35009410AEA1DD106ACC8DCA57FB6E26A6C523 |
| SSDEEP | 48:bC9z/yXTi9xW/b9CJVyEqHw4U9Ml5a90rk:bC9uDi90/b9CbKw4U9Ml5a9z |
| TLSH | T11041771989BC9F37890100E22749C1D6C21BA657634848A8313DB7BE670EDE726D7798 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/rangemap.cmi |
| FileSize | 13340 |
| MD5 | D4591524CE84ADD1A75869F53ECD0D86 |
| SHA-1 | 0364774D68D025444BAEF39CD2F22C615BE1E892 |
| SHA-256 | 6EE1571A95F7A3CDD5359912042C23F9274E6E7AC6D969429221B775078CBABE |
| SSDEEP | 384:4geX0vk1gL6lw+bqngDYhU9c4g1/5UvtPi:4gnvQg2ulnDhz4sxUvQ |
| TLSH | T1865247AD9466F4B416DEA8AFD10F888F17084B3F84371C77122907A162AF45E8F1E667 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/base.cmo |
| FileSize | 145374 |
| MD5 | 7C5F789456A2E9CAB55B8E1C631584DA |
| SHA-1 | 03C4BB187DB326FF5F3088C3B41DE0D4AB60CC52 |
| SHA-256 | 8342C3BECBC7B124193EA3BADF42F3320283B69429EA77B3E5A6B7EE2D250E5B |
| SSDEEP | 3072:ugATnFhNhTso9/HBrKVT6Nfmea/KWLStvet8Fvc/T:BgFhNtso9/HBr+uNfmT/KpJW |
| TLSH | T156E3834D962440B0CA8D9CBCA5F389C7DA184A3C65F79CF7104C07A0B4EE64E975E6BB |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/wp/coqwp/real/FromInt.v |
| FileSize | 1717 |
| MD5 | 9CE8782264EB48038B8ED00562D9D6E2 |
| SHA-1 | 04305D6E22934E924AB1E918C5CCB96A071FEC0F |
| SHA-256 | D81A60FF630FE505B271551D0F5EE2C1FE3D46B0CBC2099B15455BE587D58F71 |
| SSDEEP | 24:eZzYGj11XLRYRQyuYbFw5OL9bYDk5WMkvoXik2XWkBk7kZvLkIF4klk7nkykiZkV:eFth9LRYFFw5O1f2vqMWAZIgSglhGEx |
| TLSH | T1D331C0A314460F6296120FAD5C5641E3FC12A53A6B24B448F28DF2372BDCAB57FD40D0 |
| tar:gname | bin |
| tar:uname | root |