| Key | Value |
|---|---|
| FileSize | 21363504 |
| MD5 | E6DFFD0E1CBA7F38EA1ED61D9D07CE2A |
| 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 | 52B312AD4605A4E318445150C0A4F2CBA74B64F1 |
| SHA-256 | 840F18B33FEEB62B36AF23F2ECD5B450BDCCA73829005467325533882C124D85 |
| 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/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/lib/frama-c/plugins/top/Variadic.cmo |
| FileSize | 595743 |
| MD5 | A51FFE7E5BD950F713AA6F0EC46C2812 |
| SHA-1 | 005FB283CA9421D1E046A69FE2C940BCF2FAE9C9 |
| SHA-256 | 8552CE7985B64B750534F53F96A04BAD61E4E1B39927C06ADDC80C12AD6E2828 |
| SSDEEP | 12288:YxQXFa8d3ov7fSO91yfGyQuK4YX12KPfZJnWpbO1ksU:hXFX50D91yfGYDbifZJWpS1kz |
| TLSH | T1DCC4A54DA098F9F2C589097DD8E68AA7A320867F9D634D73000C07B59DDD64DAB0CB9F |
| 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/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/pdgIndex.cmo |
| FileSize | 114362 |
| MD5 | 9707CC6E453DF4D2A7E0E85BB9037263 |
| SHA-1 | 0179E9043CDBA6FABE3F0FB0282BE5BC97458360 |
| SHA-256 | 1C69B64EC8A34EDF26550AA20EB7832320798B613B0979D308BB59E4DC518DF1 |
| SSDEEP | 1536:C/JHNxxHpERggFbh3plN8FmpI5/KiQikm3Wh6HezZg7Rzl1fezQHPU:nRgk37eFB5pQS3N+CfeMHPU |
| TLSH | T152B3F64D6B359471D98819BCC8F6CB8A83608D7E6AA39FF7204D0319C4DA31D6F25B1B |
| 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/project.cmo |
| FileSize | 145036 |
| MD5 | CBD01B21B0B7AC1417A0603A0D925950 |
| SHA-1 | 02F5D73B16E26FFBBC29B6403C9A99479EC6E1E9 |
| SHA-256 | B0B14C7FAE2041D10F0D59166AD190B135069FADDAEEA906F99495A4A82A3E0A |
| SSDEEP | 3072:LGUC7tW5cIreOBrQRipkBw1HYpvkEz8zBl4g:LGnpW5prTiRs6jpvUl4g |
| TLSH | T11BE3D50DAA68F571C98D18BCCCE6DD8B1214593F7433AE3B209C0354A8DA36F5B19B67 |
| 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 |