| Key | Value |
|---|---|
| FileSize | 22191504 |
| MD5 | 7DC29A9A1D7D1B36F20D48657954D3C2 |
| 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 | 0C15507C349B044250A61E3861BC7ECE0C85F93C |
| SHA-256 | 397863BC4555021243FB338DFBE426B90B031AE5A5057592D0D78DCB3430C36F |
| 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/dominators.o |
| FileSize | 23476 |
| MD5 | 4790874EA3490B19D0AB04AEFEAB6EA0 |
| SHA-1 | 0107FB3E8609A924C26C43B5ACA7CEC3BFA32026 |
| SHA-256 | EED2081E41234D03EDEF638BF47FD7A51927256A9A4C9B6CF9F88293AD7B401C |
| SSDEEP | 384:hjZVnjT+glzoOCBG3bjPQdquuGNxKUzdS32:hbT+glUOCB8HizuGT |
| TLSH | T1C8B26516E6CC9F2FC8A5127481DB2B057330C0497B92AF83D9DCB569AE4F3912FA155C |
| 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/rangemap.o |
| FileSize | 41364 |
| MD5 | 42309E4A67FAABAD2ADF5B4AAC9CE42C |
| SHA-1 | 022EA9C0AA68C3D444C7DB75E640FE4BE3636CFE |
| SHA-256 | AD1D27C38D8614B2DF3B0053816DB62A80DE823F6CE72A263E6B6AA65CDDEC7F |
| SSDEEP | 768:8jd2wNDul2AqDMEINjUEdCXGYdAmSpQIlv3CcXUA4e:emLCWYleQIlvCCUA4 |
| TLSH | T17E03A506AEEDDE2FD189433180DB13597530C385A747BF5B4F991089F98B35A2ED92C8 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/cil_printer.cmo |
| FileSize | 725690 |
| MD5 | 3558EC2F4307D62B860B7CC5C1F90A16 |
| SHA-1 | 026CB43E24799A8D143D660384085E1287582139 |
| SHA-256 | 1583F4FA64BCA3F0B47B395242741B781E30852CF650FAAA957EED81CF7E9963 |
| SSDEEP | 12288:PQTPs5i8kGffKGDGxpQYjbV7cb8lmlQhwuJuoCaKkmz:8Gff8tcbmm2JlHTmz |
| TLSH | T137F4830E57454476D0550F7E98E7D767E2107ABCAB2BAEE7003942688CCE71DAB08B4F |
| 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/lib/frama-c/cprint.cmo |
| FileSize | 93937 |
| MD5 | DCD38FB870B6E0D35144CCB4BD95A1B2 |
| SHA-1 | 02BBD33D3EC40EB44161F2D609467593158F7AC2 |
| SHA-256 | 7EF43C4C819A572022381E2B2DB9D38874E81F5F6F2904965AC9143AE562FA18 |
| SSDEEP | 1536:X7c8yeLnduqk3bZFiTS8ATm/EBfiEWC3xY:WknduqCbZFiTSwMxw |
| TLSH | T12293A40FEB0CD529E0485CBEECF4DE4B830569B9A823FF27105D9638C8D67656B50A4B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/messages.o |
| FileSize | 9324 |
| MD5 | 368E8A2C22D2DF38BBAABC544336D7D8 |
| SHA-1 | 02D50A0E17A2BDE973D05AB9A79097B775C03DB6 |
| SHA-256 | F581B246B1C98419C81F0066E7FC7F11BC8120E3D1B2729F2A5FAD96AE1FCBE7 |
| SSDEEP | 192:wjTA0F0ZXPN8ydAj5jvPqUrmvf4gXbmH02Y/2:wfA0yZFpdAVnqUMLO02P |
| TLSH | T142120B269BEC6D2FC859437520EB3310B370E65A3B82FB07868DB16B5E8B3C56D64741 |
| 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 |