| Key | Value |
|---|---|
| FileSize | 21347688 |
| MD5 | CCDB3D7E8AC9C8083DC6310450EAFC4D |
| 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 | 20171101+sulfur+dfsg-2 |
| SHA-1 | 98F61223F93CA5C7022C41CB61FD5213803F9522 |
| SHA-256 | C72FE253E85A9E956EB8BA5DED8448B2C14F94D7BE878DEAE442E35E17E4E1E9 |
| hashlookup:children-total | 1043 |
| hashlookup:trust | 50 |
The searched file hash includes 1043 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/math.h |
| FileSize | 13859 |
| MD5 | B370AEA2044AF49CA608319DD408F37D |
| SHA-1 | 006D224DA87C95898B0BC3EEA8F6486FF1F4DF25 |
| SHA-256 | 3B8A5E05BBEC2EA2648AE17A6F7F37FFD0D2AB0D2B94B29539C04514928280F1 |
| SSDEEP | 192:bC9uDi90/b9CbKwh9Mlk9TFxAkdO8Fs2VzAnRuB21:rX3k5vB21 |
| TLSH | T1D252288C14B5BE43AEABB0D90C99E2DAD100D5D23789E85E319FE7170B8B45A7520DF3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/cabshelper.cmo |
| FileSize | 40310 |
| MD5 | F116CA5B571D61B4AF20CBB83099BCDE |
| SHA-1 | 00767168546CAD3E7A22A883BDFEE954FD030F97 |
| SHA-256 | ADEEF7ACCB9766DEF1BF54B29773AE28943FDD5E16538BCAF0C44E56C58EA330 |
| SSDEEP | 768:ksJRtgxBgw+unMRhEUvIlJTK8xCKaaG21WxEBhf:ksJRtgx+w+8MH2lJOAnhAI |
| TLSH | T10403C50DA6A4F471C688447DC8F5898787445A3F58BB0CF7404F07659D8FB2EAB06B5B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/alpha.cmx |
| FileSize | 2324 |
| MD5 | C75062ED954435E0A1E5C7BC85BAAB0F |
| SHA-1 | 00DFB8C13ACDA7E610DD8A6482BB71E1769DB8A1 |
| SHA-256 | ABBD44AC8347E16DB43B7B96CF15C650F3D3EAC213C21142C124FE3F424EDC34 |
| SSDEEP | 48:a5o103pqvbNEJfEoUGAKgOeuQJB9KQR8YEOZRRIK7iL:a555ObNKMTGAKgOeuQJNR8aRRIK7iL |
| TLSH | T1AD41D81D8747A552D2AFF0A284BE4D23D841D465193BD1B7C3180B31C998DC8C2ED72A |
| 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/lib/frama-c/plugins/top/Metrics.cmo |
| FileSize | 765073 |
| MD5 | 2D9C3EFA0771D076526F97B95822E2C3 |
| SHA-1 | 0155458258512C517C1D5449BF081C96D4F588AD |
| SHA-256 | 7F4C82FC42812682EEBCB6FF5496FA78A2A67E3A0B84F2164C9E94E9F895A446 |
| SSDEEP | 12288:YaV8ItmZ7xU6+ymgBImXBlOVsC8PdST1tJ2r3D/W0FzEmlaMW0ci6dYDUMRLkVSG:YaV8ItmZ7xU6ZBI98PwT1Y4hqcidUQk7 |
| TLSH | T101F4758D649494F4C8161B7DD8F28E73F3449A3EBCA36EF7048C46A991DC14D9B08B9B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/cilconfig.cmo |
| FileSize | 29950 |
| MD5 | C19EE4219CD629F72C04D20BCC12618C |
| SHA-1 | 0188B296AA2B35A2C731880262A49505CF3C2049 |
| SHA-256 | D8B7B5B814B16F9BC945439D88D9A347A467AA0B2405A54BC5BE1E91D1F2AD31 |
| SSDEEP | 768:B0k+qULANZ8gQmzMXuRIdW9aUv0mZOlTWPYMjVaKm926BN3Bm3eT:B0aULAj8gQmzSdCa7mZOlTWgMdeT |
| TLSH | T17CD2FB0EB720E932C84D18BEDCF9CD9A17605DAE78236D6F50A9031D68C671F9F42B46 |
| 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/int_Base.o |
| FileSize | 7432 |
| MD5 | 660C97470C14F088EC1128C74BC3A985 |
| SHA-1 | 01FDB4EB6DE79219BC36DC0FBDF7AFD1BC7987C8 |
| SHA-256 | 844BA988D2DDD4EF1B2D2254E0D28058633A05C21C7517FE3819C7D3C9D757E7 |
| SSDEEP | 96:PPOfUAywRWDrfKvqLIQnNizIKSmMqKpu0Zory61jXJBTmHfZlmFu:nOnyw67g2IxSLqKlsX+HfZl |
| TLSH | T150E1FC0563DC8F6FD0DE49B484EE0BF52D30D1237FA4AB2746803B21299A7C81BA3994 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/fval.cmx |
| FileSize | 14714 |
| MD5 | B0089D4E49CC7AEF6875E66E3A12B5F9 |
| SHA-1 | 02397484317019C36F2310194F221A552477453E |
| SHA-256 | 4FA9CCF0806C04C03FADCCDC7EA8E4D75F36756B196FFAD7F5901BEFE6B768EA |
| SSDEEP | 192:ZJKF6DKb9f4hIgBNkej8laFWbsk4EhDYzeqWPBlRGGY07PoDMxqIc1vECdgzQQrh:CqK4rl6Yzeqxu+bgCqbV7BFM96J4SgS |
| TLSH | T15F6272A54BCB6926CBCEE8B447968EC14C26ED618D2BB9333DF97B0674A4F03135B440 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/cfg.cmo |
| FileSize | 189284 |
| MD5 | 961DD49EC6D72EA6C35985B258A6FADD |
| SHA-1 | 024211062CFCDF528060A8E8C309BD9036F71687 |
| SHA-256 | 5E26BAC4CAAAA283370AFAEE88E873102C93B76B34D0988F5A8A223619E31D39 |
| SSDEEP | 3072:/bm70RnywDxRy6RdIogdcnmzZ2gq+fNvceO4VVahLyqTrg7mNSYe8:/W0RnXdRyadIogdcn0E+fhceJVs5dNRH |
| TLSH | T1D7040D0D6A9404F5C456077C98B68A77F3548A7CBDD31EF7011E83A8A5CD16EAB08F8B |