| Key | Value |
|---|---|
| FileSize | 22613128 |
| MD5 | EBC9E69F48A8545832977DB7E392A9A7 |
| 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 | 2CF2C4AB95EEF121D5EDC19AB30B61BD9EC8AE1C |
| SHA-256 | E234F0B8C8971212D41CDFA0D54C3C06AFCBB62029EE0C6CABE3C12D9C1BA1A4 |
| 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/leftistheap.o |
| FileSize | 9088 |
| MD5 | 68ED585912CA0799C82B3E955DE0BC89 |
| SHA-1 | 000A092C77B3BF9D966E1E33AFEE0CE29EF96603 |
| SHA-256 | 9B6FCA3FACBE5FEB7614F15E7C349D6E7BF311D437AB9D9C7AB67A5AB9126A4C |
| SSDEEP | 96:xCW83SxikIkxQmT5Zd9l4qn8hXkXTKQTZEx+vQEngKIuuzM7KFUWx/JEFfrt67O7:0lmisfJ8hXkX2QTZEK2Kmg1 |
| TLSH | T14D127B8A6B9ECE5FCAE43F30C1DA133077F8C0567F6B73179A1C26366952782AD09840 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/config.o |
| FileSize | 39176 |
| MD5 | 116BA92F286816EBB2B81F12CC696B70 |
| SHA-1 | 005D357C06AACE6869BB14DECB8F19DB12A545BB |
| SHA-256 | DC227BD79A76BD2C9DEB2DCB33F6F9362299EF18884D9FF4EE0EE7F223280AA3 |
| SSDEEP | 384:0cdrjOp8kkkqBKl/8IdiGf7FG4n5heHsSP5NVZqOo:0cdr6p8kkkqUlEf87E+heHsCdo |
| TLSH | T18B0301CBE6CDF6CFD8A81E3BD0A6071C2E2DCA667E0EE303D648B874165B2D4550954B |
| 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/lattice_messages.o |
| FileSize | 7472 |
| MD5 | AD9A78AA77D3E003505C2A4FF9383E56 |
| SHA-1 | 00AEA6925EAFCA9791A79C910480C09DB9606382 |
| SHA-256 | 0AF89EB8DD76CF735788E97BA941361C71842B4E3F587F1817C37DB5E3D5E027 |
| SSDEEP | 96:QTofxhrOrOd9kkAdLXntNFF19tdpVzdfuwPyrA:QEfXOrO/kkAdLdvXXTV5fuw |
| TLSH | T170F1C0965F9B9E5FC8B13B71E9C65360BB78C1823B1BBB134388A5352E137888D14705 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/dataflows.cmx |
| FileSize | 4019 |
| MD5 | FBE238FF23FD93F487D42AB8F1FE8BA0 |
| SHA-1 | 00C7C64C8B7385549C47A085A44907CD035FDBE8 |
| SHA-256 | CB5BA6EDDEA51C5938CE99A98F52E206BB4F52190B7BDD09495D03A01601690D |
| SSDEEP | 96:6A6I5Ob5VWsMTGAKg/raAXgjZpyP+KOuDuVERW5uzuwxe07PQfGdX5SDoMcKSbKO:UVWsrA7DngjIRB |
| TLSH | T177811F34BF06A0565DCEB4F6BE8ECA52D854E6DD3DAE4C3056B9070B0CD8F42A20624B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/hptset.cmo |
| FileSize | 101940 |
| MD5 | E241352AFC5B6B553B4244BF07D046F5 |
| SHA-1 | 0190817DE9718649B96A923594C96E1A4846B835 |
| SHA-256 | 28B88508915250C3DE289F67FEFC6476736F68B9674FFA02671A148842E73EE1 |
| SSDEEP | 1536:UwNfoaMvABntPaHLdTc+36Yq/h/bGIF9YjGHw3v1fp7478p6Wydwoq5U+:J8AF9ahrJGhwjFpx47gEq5X |
| TLSH | T1D9A3194DA934F8B5E29E987DC4E388E3D518097F88730C7710884792A5FE4DE872E697 |
| 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/cil_descriptive_printer.cmo |
| FileSize | 206210 |
| MD5 | 64396F3FB78C65CBC4F4D8EB254EB0AD |
| SHA-1 | 01E01D7B98B5EF10E510B9E9B4C4FF73315A0CF8 |
| SHA-256 | E9889622BC530CF8C87CFF0F2632835DC47F9B326AFC13EFDB1EFE9C1177A2B7 |
| SSDEEP | 3072:UWt62gDJYxuaZU4n0Gz1lQUlyM6XUBVaVSE9Qvi0ogHZNjPRf4lu:j1g6t+6l1l5lyM6iVdE9Q6I7DRh |
| TLSH | T1E0143A6C85A5F4F25142507DC6E38233EB50A67F8D370C77502E46E9A28C9DE970EB8B |
| 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 |