| Key | Value |
|---|---|
| FileSize | 21861604 |
| MD5 | C7D5E05D704D644A95A2FC05C821913A |
| 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 | 75124FDFAB0BB57CFEE4A48A0D215B49BDF17F52 |
| SHA-256 | A60E89B4B00B45CEDA4CE73D1346243BC949C4BC56B6C8FBC71DB25555ADDABB |
| 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/json.o |
| FileSize | 57048 |
| MD5 | 1E7D11F6550F9F3A68FF462A170E295F |
| SHA-1 | 009D66CF9DA2F8B907A843A6E7599DED27048CEA |
| SHA-256 | DCE7231934366432E1964B1C3EA8CFD148CCB9B9064CF052CD13597AE7955A29 |
| SSDEEP | 384:vkYW/boqckiNhvZ00ZMqeRZGEkORQC0mAKE+Bfd7x3dVnRQRD0LrYex/rdqYz4XU:vE/+003eRZBZaRQH3d5z4s8oDd5fI |
| TLSH | T1BC431E0B7A9ADE6EC35D8B3040FAA364F279EC54AFA27B172304B21E0F32BC55E15155 |
| 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/destructors.cmx |
| FileSize | 2735 |
| MD5 | A1B94CE41ED787FA1818F74AF17F0800 |
| SHA-1 | 00EAF36634493D6C69DCC33AB053F1753D7EE691 |
| SHA-256 | C68F61847FE87F25717616F984993BF1B09E84A540512BA94390260260B3B43D |
| SSDEEP | 48:W0+Q8o929OzchZS6az/GXz/L2pGDaEGiVtEqlaE5/UdmbP83pypd4+SWdWI5pWog:R+QF920Yhs6aDETLwOaEGiVtEcr5/Ud9 |
| TLSH | T12051C358336EF0A11EF9D09B9C4A4827C439FB4CA2ADD864431C5A352CEAA94B737703 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/project_skeleton.o |
| FileSize | 7136 |
| MD5 | E37E12E39FDB3E2C1A39DDD23122A012 |
| SHA-1 | 01269E04B966C8EFE71A240E823F191C3200933D |
| SHA-256 | 690313F34597D30CA94BAFD25D4B5080A130CD4857834910856D2D887E60D428 |
| SSDEEP | 96:bzdszUmsHrsP33kWY44YY44YY44f+gnLSDJKO7BU2EiC0jOXlLCspIljorpaKYGa:bUjWY/0l+sSKO71EiqXVn |
| TLSH | T16BE1CF072765CCAAC394C53143EA9F71A337FD129EA2F3031205B62A2F72E875D6A561 |
| 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/cmdline.cmx |
| FileSize | 11549 |
| MD5 | C6D426538FE2DF9F8EA180CBE3B7E0CE |
| SHA-1 | 0134F74DD9719A781E259AAEDA41C410AE79D471 |
| SHA-256 | 432A634CC3ED6486BD704F0E0CA347C663C491006933B286B03C1A33D3F77234 |
| SSDEEP | 192:AYDhQKCltcUiZjmivdaektqoPy1bfS+BOx2Z+LXg6Hdaj6:5DK3Di9mWaek0SaSMTZWXg6Hdc6 |
| TLSH | T1933274410F269DF3CCED5B7C1979DF8C796692631E21E870C6E84A0E78A4E41B35F222 |
| 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/bit_utils.cmo |
| FileSize | 70566 |
| MD5 | A508F094A45C759E69F59ED008D350C6 |
| SHA-1 | 0206C845147CFB65F45E60909D23A87686C461ED |
| SHA-256 | C5617083E9FF48F9100B8D7B3796C861E8A88D7DDC97AC53F49A2AB50981A091 |
| SSDEEP | 1536:lOCkzvOPuAfAiF1AueDRNKElm+6CqvMn/ZDmtn:lOz3hm+Natn |
| TLSH | T1C163094EBF664431C66918F8CDEACECD83405DAC68431E5B00894B6A9CCB79F6F18B57 |