| Key | Value |
|---|---|
| FileSize | 21379312 |
| MD5 | C5BAB0BC3833E17ACBAE80833EC1377F |
| 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-1 |
| SHA-1 | 6D4E32B4E56CD852E247F9269D539D927FD45EA2 |
| SHA-256 | A988A301986B5C170361ECC3024AD0E0B2CCC78258F688F80E3806016027E831 |
| hashlookup:children-total | 1046 |
| hashlookup:trust | 50 |
The searched file hash includes 1046 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/emitter.o |
| FileSize | 52948 |
| MD5 | ACB7939C17ADDDCC83D15E58DFED33F8 |
| SHA-1 | 0076AB541C99B1149866882B0B96E0E644B58E67 |
| SHA-256 | 6B0F341F2C2D5B1D8C39CF095847AA5FF448CCC6121838CD7DAC6C1F836C65C4 |
| SSDEEP | 768:2p7OJmLkMWNjWmTeVlaWNH+66+bWaJzspYLXVrlFvgaCJ3Tpgu:2Bm/MWNQKGHZJnxF4PJ |
| TLSH | T149337386D7CC8E7FF05E4AB0A89B07A6B5B4C32E3B61F30781187314294F744AB5669C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/special_hooks.cmo |
| FileSize | 17492 |
| MD5 | 004F9351AD345F7D7723A18B69A530B3 |
| SHA-1 | 00C27BEED45A478ECF39AE74413756B566809B24 |
| SHA-256 | 8AD8A4B5E2F8B6C9B8D729EE60A54CAD50017133927D772ABF86951BC245C8BF |
| SSDEEP | 384:u9Ui5AdA8sVSSh9Zl0DTJVenuNh2DInB2ZXEkEDphaqYSinPSSbxMw0:ukAXsShLl0DTJUn4hd2XhEDphasinPS1 |
| TLSH | T1D4721A0FB724D231D49720BEECE9C859536054FE75279D6B0049439948E232FBF62B5E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/pdgTypes.cmx |
| FileSize | 20221 |
| MD5 | EF40A1DA355E38C9FB37268042F4A02C |
| SHA-1 | 00FCEC5694A5C5BBFB92784ABEBC509FBAB25805 |
| SHA-256 | 627A1749E312E2D2CC1440DCD77782F4CBCEE14D41B09B2AD1E5CE188DDC18D9 |
| SSDEEP | 384:oBtVM1o+RCqN8KosoTAIDfOwEwABgBlTlqupH/5s5GqGFnY:UKpRCqBosMASfOwBABgByuZRs5/H |
| TLSH | T1CF926532EF138D2389FDE27EEAAA55408831C4401D6CD831BDA9DF0B65D4949A7EB335 |
| 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/logic_parser.cmo |
| FileSize | 486013 |
| MD5 | D913F8694646E6E8EE18FF14F14BBAAE |
| SHA-1 | 02669FB26B73D7BC861627A1B54289D285A5D689 |
| SHA-256 | 440A4FD251CB3A9BB87B7DF6C23AD71FC974E4F08D32D84C2F9889195025497A |
| SSDEEP | 6144:gfR5V+U1AsyNGhq+Hv9WDzhQinvZrhKX9w:gZ5V1isSGURKtw |
| TLSH | T1ECA4954B739E8223D9112BFDDDE89E990360AC5419438E1AC9153B1A9CF3734FD8E69C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/dynamic.o |
| FileSize | 63428 |
| MD5 | C22267CE5DB0FE597622D640638B506B |
| SHA-1 | 026CAC50A610E15F8097F9F1BDD307EB6E6CADE3 |
| SHA-256 | EA2B724571E57F0599FD99B48C8D2D156FCE9E712F85AA2471275B42B17C457C |
| SSDEEP | 768:tZZKhplrmAVHSdP5myBRu1IZfRBOFtxcv9o5Z4u/TNNbukH7VGUs7:/ZKh/E9BRGIZ5BEK9o56INNbK97 |
| TLSH | T142531E2BB7CD4E7EF0BD193048562B3AAE60C51E3AB9A317B4B5B87469323C90F5115C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/state.cmx |
| FileSize | 2342 |
| MD5 | 2FA3D60DECE3E31A070E006A3EFFE1C5 |
| SHA-1 | 02F5F1B3245A0B1DC046C7AABC7444381E1105CE |
| SHA-256 | 5E5B293FF8DFFBAA3241EE2BA7DB9FCF7AA6EFC678415D82A6BFDAAA5596EC02 |
| SSDEEP | 48:qlihbkTJfGAKgIexL+BA7I4LoNjdmCKDJwp21m1dvLKt:q2bMuAKgIY6qPLoN5mCMwOt |
| TLSH | T14A414519CB19E750FE94F0FE29CF81858C45DE4A3E36CF71A73C4A56A4E0944936E30A |
| 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 |