| Key | Value |
|---|---|
| FileSize | 22112646 |
| MD5 | F78F13F08D08A5B89AAB75AABC49FAE8 |
| 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 | 6A1C524EC2B53C0BE1868FF702A026DC871E2C99 |
| SHA-256 | B70530912395968B630B478730705D00C72FB00CA3EBD0677960AC1559F1B665 |
| 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/plugins/top/Constant_Propagation.cmx |
| FileSize | 3923 |
| MD5 | 71A9A8A4B46A934E546D83ED06221F5E |
| SHA-1 | 000A0E6968519A0C7B1EDE1854F2D748B0C05670 |
| SHA-256 | 9E97E5EE97DF33184D99313CEF6285BE420C647E0949F4A2C8775BA685764A6D |
| SSDEEP | 96:KbL+6OF7jB2Nyv+4hsC2dBDYOT3SnUHYhaEGfzV/nEFH4ml7KPlwA:ILO12Nyv+4mZdFYEU/hRwdEFFl7KPSA |
| TLSH | T1808129484786FE1116F7D483820E0866E8B6E1141ABFC796839A17640CEA9C5E22F797 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/parameter_customize.cmx |
| FileSize | 4618 |
| MD5 | 1F7EB0E987880F37CA5CB3B7A43257AB |
| SHA-1 | 005CE22B59A07DD5149BF4813224D0E3C928F274 |
| SHA-256 | B152A23809ACF072875A024708B3AD1D1F64CAF1867458DF38707786656DCC4C |
| SSDEEP | 96:fSm20pDEXW2aEGlVgpqm0DfVM9MMJDqYFiW1Oa:fB20tN2REOpqm0G9MMJDnFiW1x |
| TLSH | T1FC917E71833067F359BD48EF362BD1E3483AC7C5B95AD825639A0B41289FC28F293716 |
| 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/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/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 |