| Key | Value |
|---|---|
| FileSize | 24111648 |
| MD5 | 84AD00E99998DC4DC7227A9B6A67305D |
| 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 | 0C45E0F153D8B99F84330D4825D6E35A92DB889F |
| SHA-256 | E1D8A4FB7C5B93D1F9D6F88F00A10ED0F190DBE0E7E4754558BC9B8A5B50A3B5 |
| 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/lib/frama-c/int_Base.o |
| FileSize | 11632 |
| MD5 | 94E2414C620C9674FA302B55F92C224E |
| SHA-1 | 00370CC33BC4A9447A1E1D2ED7269ABE82FC81D3 |
| SHA-256 | 6AB8B61F15EE6803CCA20363C9B5FD291D9C9283D66005CFC29C4B50AF95DC10 |
| SSDEEP | 96:KxfxSvjNqj+lHmvjkCnEsPrHe+sEGTaMKu6wOMqKfryD8yAvDowjGfW:uwvjcilGvjk6HC+ujqKrD |
| TLSH | T1B532DD9A8BCDEE6EC9DA09B486EE03F0BF34C04617A19B0317452A243D8B7D55EA3951 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/pdgIndex.cmx |
| FileSize | 8647 |
| MD5 | DA0C0B0B146E1A58CF3CBAD69456173C |
| SHA-1 | 004020A21B548D8D9C0B6ABFB93788D9041C6640 |
| SHA-256 | C66D4CBC96BEAB594A47B983439BC0D854795ECAC88D747710D8515658804864 |
| SSDEEP | 192:eBhVm8AWmx/CMWX1Z08vUkak46J1JiIjw2c:eBhVmo+8a85an6nJT6 |
| TLSH | T16D023322874E6C628C5ED2374C965E939CD1CB058D16A8337C674D0E9CF8A66BF1F236 |
| 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/Security_slicing.cmo |
| FileSize | 136686 |
| MD5 | 08031F7AF79CAAAE400791FB6CCB2C52 |
| SHA-1 | 007D7748D4390DAE0A3393A967903A7ECBA64BA4 |
| SHA-256 | 0A47630673456CE3E9F6AEA7E4E6641E62345F0E2490BB213788DE259B11D1F5 |
| SSDEEP | 3072:nLOaV8ItwX2wz/EyfNAGzfJ/X/iABjcLyaE4nrkJ:nLOaV8Itmfnf+Gzp/ALyKYJ |
| TLSH | T1ABD3644E582AF870C58C4DBCD9F7D88B5655497F98F34EB300290661EAED10F872EA87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/machdeps.cmo |
| FileSize | 5106 |
| MD5 | 12E3E9D20681E6A82A5670FADDD2BC88 |
| SHA-1 | 00A7FABCD0A8723A148FF34E39C639655774B22D |
| SHA-256 | D92B46700ADE6435BF9FC7ABF674B397B4461C8060E1DB0C95FE0A8F6DCC09CB |
| SSDEEP | 96:K/u/u/hstPm+9UK8QIqo7cTFPx4q48NtDN+TsBb2e3x1:K/u/u/GtemUK8Qq7cBGq4850sIe3x1 |
| TLSH | T10DB132D7853593ADC0DF27FAFC7B15C44298859CE49A4B3B408C856860F3D2D5B907B9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/emitter.cmo |
| FileSize | 131246 |
| MD5 | 3E82CF12E4DD62EB661E10AF60081541 |
| SHA-1 | 00EA7FCED239A5734E6CC1DB4BF2BAE4ACE61CB4 |
| SHA-256 | 1914DC3E65C78B5B8386CF3D504A0C24B236516FC148F22D617AE290E237D6BB |
| SSDEEP | 3072:w6C4rFwa8PAD8ogPztAVxbQ9PEhuczYMBuFHIt:nC4rFwPAIJbwQWMcE5It |
| TLSH | T11FD3919DAA20E1B0C54D5EBCD5E7C987C3144A3E5C371D3B106C03A594EE2DEAB0EA5B |
| 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/integer.o |
| FileSize | 48456 |
| MD5 | E4F9557FE0A999CF7D27FBCA706A2CD8 |
| SHA-1 | 024C007564F56F24C70D2E91B4C8D072C0B8ACF3 |
| SHA-256 | A416F0C22CAB0C399CE2B3A3D95421C2DD61354DE92215ED301ED4A4C3E037BB |
| SSDEEP | 384:ZFXlBlplKWl/Iv5WwMInpX/WylgMoO6iipMuhosu968lVDrr/F534JYlOyuDfN86:sWgAupXgJPpzosu968l1Y4Gz |
| TLSH | T1B22345AE8F8DEA2CC6DE4C70CEF907ECBF34D25965C213870629A52928C33C65D05B59 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/cabs2cil.cmo |
| FileSize | 1515687 |
| MD5 | A7170DB722065D80E83A9D48B1AFFAC0 |
| SHA-1 | 027D3F34E69DE38E96AEC75D6CD02E0D9F875376 |
| SHA-256 | 7F14CCC7ABD8F554BE1CD5C03317C245A04D4330EB10415B1D783E8321DA1B37 |
| SSDEEP | 24576:iy0N08rH2LWEo3fm+7IgqxPjCp8fzKDBcRhNyEqK1UM+tGZ:iyNU3+9xeJmqK1UMZ |
| TLSH | T10C65C40D69591471C5A1037AE8E7492BD720B57CBB1B3EFB0098636488CE71DBB58B8F |
| 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 |