| Key | Value |
|---|---|
| FileSize | 21152872 |
| MD5 | BFD1BCD4AE33A4849D2234A43DC740E9 |
| 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-2build1 |
| SHA-1 | 9936E85F382F8397CA346488220F02FF02D1169A |
| SHA-256 | DFA37C7E57966CF13568B8898DAB7DE94316B4410D544BE40395E7F667B0BB80 |
| 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/datatype.o |
| FileSize | 228472 |
| MD5 | 74B92679A34DF5995825A7FFA8F698E0 |
| SHA-1 | 00465298014B23AB74CC8A95DC2F41FE56FB0768 |
| SHA-256 | 62F93BB49CF83E74C98BCF056DC103FA4A3F50E22034C83DE2400A2AD4ED4A99 |
| SSDEEP | 3072:P4p53E3I2aN66TW28cOlXvY/3jjj94hGiisy9pJ:IEIh66TW28nlXgb94hGiM9pJ |
| TLSH | T1FC24A651E7C84CBEE45E8FF048EA6B16D468C14E3BF1AF274094F0B0AD613652B6935E |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/pdgMarks.cmi |
| FileSize | 6786 |
| MD5 | 5A0C721106507724874B872796EAE641 |
| SHA-1 | 00D3186A09EC73D2B5BB4B91AC01BB1B7A168B04 |
| SHA-256 | 48A1F7641B73985677B471C70BB351674E669E3652F7BD050DE1EE5426C909A0 |
| SSDEEP | 192:IHFdAwqoxRJT6/9fnIt2SHX/cZhfjyKX/V1OtM1RAWIB:Fwq6RJT61fs+hnoM1xI |
| TLSH | T1AAE1A4CD9839A066268EA47DC03FFC7B5418463E467B8D3352481AD9C99C46FC34B29F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/ival.o |
| FileSize | 221040 |
| MD5 | 34A099F9C446F3740E2A6549C33A7475 |
| SHA-1 | 0108853D35F9D74EB4DC9A08A62F665E3C7F05FF |
| SHA-256 | A74F41EB3D526B83B78BEF8E839C080D3059433856122B920A0DD7D4736DEBDD |
| SSDEEP | 3072:QCTeEFLBBVKHusbE23Gc53WYwELgF/oRbqkV:QCLKHu923GzSc |
| TLSH | T18724D44BE7CA8D7FF24D4E74499B57A2AF30841A7FB7B30748007619A942BD51F2226C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/wto.cmx |
| FileSize | 652 |
| MD5 | 66AAB17D1A15E09C6BA644EEF919E358 |
| SHA-1 | 01165E2FAE3560549301A06097F57C3090A8D112 |
| SHA-256 | 5060A1D82FF4A703BD6C9849FCFF75DABD150EF434AF58960799704B1FEFDAC8 |
| SSDEEP | 12:eMjtcov4bzHVMSOm/h6SLfuXWkU2GWa6f4G3wwQxtHQpj4WJnG:ecv4bZrHRW9Bxf4G3wwQx1Q/G |
| TLSH | T191F023A2475DE70881D5F0703F671E1385859C623C7F10A3C3A40A56B89AEC53957349 |
| 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/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/logic_parser.cmo |
| FileSize | 486378 |
| MD5 | BAF1BA9935236CAB3E629509631D768B |
| SHA-1 | 0219EC25C0B28CC21D76A2CB88426DBD2BBBED40 |
| SHA-256 | EB54DC48324FA26DB8CA9DADFDCCC8C4920C382A0E729F7807A9BCA04E401CA5 |
| SSDEEP | 3072:gMR5V0A33s5HwzS2N7qPj2jfw8Cw+i7IripV7cEpjDJB4n6OZjPgvU11TxJNG9U+:gMR5V0Os5fNKt7IrWJ662gv4BGy/EdV |
| TLSH | T1FAA4954B739E8223D9122BFDDDD89D990360AC5519438E1AC9153B0AACF3734FD8E69C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/service_graph.cmx |
| FileSize | 4872 |
| MD5 | 92972EC4FF21C6335BE6A76C69F899E9 |
| SHA-1 | 027F941DB2A0B94303936F599B5D11BF2A850FCA |
| SHA-256 | E25DDA71495D0BFDEC34C0BC45C9B5D4820641ADAF9AA7C61438D4870E16AE5C |
| SSDEEP | 96:KmMBobVw72MT3SAwvgsk05PekATMHcCQCUvx+gitgBCnal6MQZRdbi+aiPvRvi5D:KHB+3MSADsk05PefTCctbvxCgB0al6R2 |
| TLSH | T1EFA1FF66D3F5E95059FA557D1F4F03838804D86C7F27EABFC668A726188CC046A33366 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/cabs_debug.o |
| FileSize | 136152 |
| MD5 | 8C098557873F27D7C6771D07FEC70060 |
| SHA-1 | 02C8C73001CA755F2D0DB31BC87A0E161F4B1487 |
| SHA-256 | 12898D65FD004366990F1D7C2DD29E2CFBDEFA86BED31BBEF45C6E6218DD7D0C |
| SSDEEP | 1536:dVl19Vt3CV/r8122nU2SX82lZDxzhWMx9LIw5C9W4UB7Ms3Ax:dVl19fuz812cU2SXVZlt7zLhVBA |
| TLSH | T1A1D3504DB7CDAEAEF3E9A6FDC81203351177C0173921FF039B94F4245B6DA5182162AA |
| 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 |