| Key | Value |
|---|---|
| FileSize | 22232766 |
| MD5 | 101962B0B470BD5BE44B1573A33984FE |
| 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 | 20170501+phosphorus+dfsg-2 |
| SHA-1 | 2DAA7B403005C017BEDE61F3DD371E792B50D9B3 |
| SHA-256 | 07175D0571F28C0B862F7415177305E8DEC326A95E9A19E3D0227383F863B53C |
| hashlookup:children-total | 1036 |
| hashlookup:trust | 50 |
The searched file hash includes 1036 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/cil_types.cmi |
| FileSize | 26893 |
| MD5 | E0E451DFDCF891E8FAD8FFFD68157B1D |
| SHA-1 | 00DD6CAF860B93EC13BC6DEE2D5943F8FF1AF701 |
| SHA-256 | 14E9443C498417154ADD7E4D9CED787E7F91BBE49ADEE3C1136A16BC85E88AEB |
| SSDEEP | 384:0LgP9hzSrbZdEjoqeu5OhtqI9HoXtbCzQB6XggaWFomckp4Z6:0LgP9hzEeKu5Qr9HwbMQEXi0om26 |
| TLSH | T1BDC2DB6C8166F4B299CE6EAEC91E6CAF1700887F024ADCB322511D57B2CF11E4F53697 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/infer_annotations.o |
| FileSize | 35184 |
| MD5 | 81A2010F8BE601D33AFAD27143FD73A7 |
| SHA-1 | 00E061C157716D2EA22E347BAB352F6557AA8CD2 |
| SHA-256 | E95167A4AD9686701742F40F31213BE7EE2F6C8E61FDBBA69A6E2EE905273A62 |
| SSDEEP | 384:95lz+Ark3jwd3hOBATa9YkE8kskkkOkhJKKT652gt44tLuX:95lJk3jS0OTa9dE8kskkkOkA/4 |
| TLSH | T18BF245D9BE8E865FCA992F32E0E20334F7BC8596BF8FB7068545723A0415351D64EB06 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/command.cmo |
| FileSize | 41767 |
| MD5 | 91C8FE12BA3E47820937ACA9D57CB523 |
| SHA-1 | 00F948996D8CB9940CAD940FC40C5BEA75C78E81 |
| SHA-256 | 4D562854EF1CF4F2AEA0AD62A9470ABF60FAC4FC0F5EF58CE9143C1B3B17FD27 |
| SSDEEP | 768:PGSfjz7W00m0GCDimGesk6gNKJPjB69lrEEvkSxjLZ+FYRJce:Pxfjz7W0KDiXesk6RFoLrJj+M9 |
| TLSH | T17913E64DBB24FA72C95919B9DDF9CE9A12409C3F7413AD2700980726D8C272F6F48B5B |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/sys/stat.h |
| FileSize | 2096 |
| MD5 | 01F6F828EBCC09AA977483E8156F1153 |
| SHA-1 | 012D3FB0FE5031D6B34D34830AA71449B006BDB4 |
| SHA-256 | 41C6D5F4E1678E05985557E4C751F21A9E0F007A3C70543A6FE464C2060A13A4 |
| SSDEEP | 48:bC9z/yXTi9xW/b9CJVyEqHw4U9Ml5a9YuHcVTs:bC9uDi90/b9CbKw4U9Ml5a9YuH2Y |
| TLSH | T12F41980410B8EF7B899082D62349C0F9C027E5977A64AC94316EB37F574FDD222A8758 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/plugins/top/Sparecode.cmx |
| FileSize | 4157 |
| MD5 | F403A92BC7D4C62B3C377F0022AC4185 |
| SHA-1 | 013988DF77C5AFEEDF9DB9736E4E4259BE6E2C7F |
| SHA-256 | 21D9E51FFB3410B9302091388F628CFB227A58E058CED8E39C4F60AF596E44A3 |
| SSDEEP | 96:OrR+6OFUerjB2NyvC4hsU2dBDYOk3SnUHYXJaEGfzV/nEtwVsGm2:O1rer12NyvC4mXdFYfU/XJRwdEtnGm2 |
| TLSH | T1A78107086787F9221DF7D0C3868E0D63E595E24A06BFC391539A07A85CFB885D31BB4B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/rangemap.cmi |
| FileSize | 13420 |
| MD5 | 44CF452059E484A2533B8B1DF60C42E1 |
| SHA-1 | 01462FBB950B6FBD78F7FC6065425F5079030949 |
| SHA-256 | 36EDC32ABF93C2DC9BC048A0E969F81BA53ED045B2AFF6987CE0EAE67A5CFD2E |
| SSDEEP | 384:YgQvXUv0VYD6doG7CPAr9WhUlUogNfh0XSqxk6:YgXvwYOuFPbhDo0J0X5k6 |
| TLSH | T1695247AD9466F4B506DE98AFD10FC88F57084B3F84371C73122907A262AF41E9F1E667 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/state_topological.o |
| FileSize | 9112 |
| MD5 | 476762FE46ADB054FCEA6B060CBDF3B0 |
| SHA-1 | 018EADD3671C565D381452ED0EB7D11D4789620D |
| SHA-256 | 05A41D1BAD53FA598D92005F192D4C7FF40DE3F8D346CE830401EC8772018953 |
| SSDEEP | 192:qrqkyndF6lucaUN4HaQvUpUbNk/pxB0a:q+kCL6H4hvUmNkRX0a |
| TLSH | T15312DFCA9F5A855FCD64BF30D1EA13B0B7798652BF5BAB07CA1C63250C133459A4F980 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/plugins/top/Users.cmxs |
| FileSize | 28640 |
| MD5 | DBA58E1ED2FA19CC8B57250B0472324D |
| SHA-1 | 018EF49DF6D004432EEB5DE34C3BACB80E20A17E |
| SHA-256 | B1866D1A380B7A94B53B6A753D10259319A0D61AFADDB982C789907D0720A8F8 |
| SSDEEP | 768:SlcQ8/+8Rp2J4bmx2ZVEFYRJ+Lk8kkks:LuxwVEM |
| TLSH | T1D8D2D65E8B1ACB4ED0B87E30C2DF4774B3FAD913BA56870E878917263C53B759A16840 |
| 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/kernel.cmi |
| FileSize | 17156 |
| MD5 | AB3B6C5AD67816E54D7E380613CBF5A2 |
| SHA-1 | 0209678CA4773EB6B16429617900B74DD9977095 |
| SHA-256 | 50445C9FDE6E84DD9D48FE61DAEA059C9144C0B9E732839CAAD77DDC18814A37 |
| SSDEEP | 384:g+ISqNRTdadcRU57cSsaXjZKqQ28VNnOFXPDOJ0R2TtJduYCZmd4k6:g+ISqNiSA7cVEglXirRm1d/6 |
| TLSH | T1F6729B6D4611F8F80A9F8C9DD00EC49F223852BFA87A0E7313BD41A1966F89DDF15687 |