| Key | Value |
|---|---|
| FileSize | 20994278 |
| MD5 | 26B4F50F7F58EE0B043AB6B472A8BCE4 |
| 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 | 39D1EE069316CD018DE76B027C81EAC904EF0A6C |
| SHA-256 | 0614D05AD55077229B2F352578EA17790B3CE0CD4BC5EC1918D08BDF0C03E3BA |
| 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/bottom.o |
| FileSize | 12280 |
| MD5 | 02F0406D8B77DB987642DAA95E7579D1 |
| SHA-1 | 00EBF34E689DB38ACAEDC5BFC8F94C7331079E31 |
| SHA-256 | 4D7EC20047CB9B5CF185EA89AE9C4EFCC73E9F8C9668D0F132AC6A837B451DA5 |
| SSDEEP | 192:CuoiVS6+IO0NusB6XyG0KtS92lX+d+U2S8g3IcW2gl:CLiO6uO6ioIMYq23tW2g |
| TLSH | T183422059E7EE8E7FE15C99F488AFDB2122A9C42ABFE5BF03158875252C073C41B40C49 |
| 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/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/annotations.cmx |
| FileSize | 16073 |
| MD5 | 29CE52B43DB3E179CE57A4286FC86B75 |
| SHA-1 | 0183BF2C72DF28C9F0B2E17E97B0BDC9BBF0B7A6 |
| SHA-256 | 6CF179F7EE97BF38090D4FBC2197F9071ED7E993985E2198DFC58BEAB373752F |
| SSDEEP | 384:hgNykmdsYmFmeGDsZs8z6ONYxPhevVXB40phZ1b6g3Zv36:C2dFmFmeQsZs8z6cYxPhevVXpphZ1+K6 |
| TLSH | T17272EFFA87052F05CCDFA47ED9F6C591CE34C1C48A61AA30C999A70679C9D0493CFA6B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/plugins/top/Nonterm.cmx |
| FileSize | 3491 |
| MD5 | 8EC84E5A46B1F519E087312B045B5264 |
| SHA-1 | 0194647D1D4E03EDFF75BB0EF05BA6C671869CE1 |
| SHA-256 | 0D2F77260068DC061ED9909235F5C9B8D37E3A2EFF9E1CFCFCB33DDA355EB540 |
| SSDEEP | 96:F+6OFZ2jB2NyvC4hsv2dBDYOT3inUHY0alzV/nEtKk5qRF:FK212NyvC4m+dFYEk/0gdEt3qRF |
| TLSH | T1117109282B46FB2255F7D0C3C65A44A7E160C12E127FC7A4434B13681DFF8D4D22BBAA |
| 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 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/state_topological.cmo |
| FileSize | 8843 |
| MD5 | 5880A4E2AEF988EF6EDA968593E3A595 |
| SHA-1 | 020FFAA92BDCF374217B4118E8235E22B71A951D |
| SHA-256 | 0E0635BD75BE0891C4151B671F7C44720CAB90F0D833B584D85C729CAECF8384 |
| SSDEEP | 192:iOr7v04hoOTQWPCN4W5Jr2ve4x8zFY66a+K8GXnhmkqznseqHdbpAuLI48cgg+C8:iajMF4EJr24aa18G1aqHdbpAuLBfKXxZ |
| TLSH | T1B202940EFB24D430DD8A69FA8DECC95912245DAA641B8C5B00070F9598D332FBF59BCB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/logic_print.o |
| FileSize | 192204 |
| MD5 | FA6FF820611DD4881A995D69360B149A |
| SHA-1 | 02B5B3C0E742AECCE09078B98873D942BB51F522 |
| SHA-256 | 5589B1B947212143B9994E0D52DB7CC043162977216CB3330CB51606E5D36B7F |
| SSDEEP | 1536:l+evFZwo+lCOH1cxhzX/wVGzhEv4Gkhi7ukyMuiOEFoxb1/Ay4YA0:l+O7woZbzXKS+v4V2ukyMVAyY |
| TLSH | T144143F294FCDDE1FF8EB8BBAC81507221566C8E73EB1FB83400574107AD1A9D664627B |