| Key | Value |
|---|---|
| FileSize | 22673938 |
| MD5 | C55C3430E4880D637EC3E7F8F4845C11 |
| 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 | 12675F9D1A318FA9610D6D0C286EED83A0C0CF50 |
| SHA-256 | 4171BF1F8FD906F6FB94C0391C99E949C8CD93EB74CE96FAB841CAAC76C03D3F |
| 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/cabshelper.o |
| FileSize | 33632 |
| MD5 | CF88A7BDDDFB9A71EEB3691F69EADDEC |
| SHA-1 | 0050DE167F9452A978E22C9045F1C93A954C1DC3 |
| SHA-256 | 1014AD21EFA9923748486A0E204F90F0CF4AFF7DF675A9378829776A2F3E9CFF |
| SSDEEP | 192:qQm1GE0QPcns23QoS9/BK1spvNKcuEc49LAa7lV1ypPYCJpqQ1r0is:TmYE0jnsCQ59JRpIicwuPYeIQpJs |
| TLSH | T101E2CA0BDAA96DCAC266673488A70F117736D58A2F2B8B23DD4DA0232EF33444F57D45 |
| 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/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/type.cmx |
| FileSize | 5268 |
| MD5 | 8363E91ACB36A02FF7B2411027EB0FF8 |
| SHA-1 | 0144363870F80BEB2746D81C052353E6D2F065EE |
| SHA-256 | 868D68DFF728328D2D912B4B2F1FFA62E932CB2FE8BCAD671B6FD027BDAA4942 |
| SSDEEP | 48:X4lxJPz/WnLJc8RASaQrPfoZZq9W0aq1TQR5e0fjXnM1Cl0Zk9QS2c4GIDd3sUSW:X4lPPDq1qMoZuddf9GKh/zKpLkVndlL |
| TLSH | T1CEB12042B31FB57A889CD3BA1C91565C8C04D9C14F18F8325274FF4AE0A9AB163E775B |
| 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/fval.cmx |
| FileSize | 14571 |
| MD5 | BECCA9C41D375EF3C679850B956BD43F |
| SHA-1 | 017D85E4B167FBFA2620585B3AB90C4640D5E0B0 |
| SHA-256 | 28509C7A4AF6C6971807A567D0C87AF26773863B9ED418C59993E4C871D0BD39 |
| SSDEEP | 384:eC3md8iKcUaI4MtwaYRJi5dqy73ffG86AjDC:Cd8JcU31twac2LffGPgDC |
| TLSH | T15C6264E507C76A268FCEE87847964EC11C25FD658D2BB5333DFA7A0674A8E032357940 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/plugins/top/Postdominators.cmx |
| FileSize | 3521 |
| MD5 | 6E6BB3528C2539525D2C806FCA8BA459 |
| SHA-1 | 0185D0CF447A3EF28FC94CB8145226AD7FC61934 |
| SHA-256 | 4A2DB7E6284E31A119DA0C240B9461712A199AA331455613FA755D78622BB388 |
| SSDEEP | 96:DS+nQF7jB2Nyvw4hsV2dBDYOT3YnUHY0a49zF/qthG9pR:G0i12Nyvw4mIdFYEC/0PAthG3R |
| TLSH | T1AE7108141B86F61229F6E0C2C31C045BE964C21917BF8B94839B52B86CF7CD9E32B75A |
| 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_datatype.cmx |
| FileSize | 14901 |
| MD5 | 128C023B7DA63629312BDC0B245AADC6 |
| SHA-1 | 01FAA13BEFFE9FFF529E0322DB9F8BD66D5DA7D6 |
| SHA-256 | 134E88D6F41D8BC399CB463556E9F709422228AE46E0F5B5A57535C0CABC1555 |
| SSDEEP | 384:YLx/xYz2Nl4zcYpo2g/ZUloJwvKOvsJ4H8C0:U5tPmM2SwvKOvsJ4cC0 |
| TLSH | T1F9624296FF5E95A59CDFF27CB5810308CC1AB40C5BBCCD2194580AA29AF459EB3633C1 |
| 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 |