| Key | Value |
|---|---|
| FileSize | 18887732 |
| MD5 | 4034B78790E838EAA948D338D9832115 |
| PackageDescription | Framework for C source code analysis (without gui) Frama-C is a framework dedicated to the analysis of the source code of software written in C. . Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . 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 | 20151002+magnesium+dfsg-1build2 |
| SHA-1 | BA694929B968B040EFDC5C76654AA2476707EE94 |
| SHA-256 | 38319E3087CC739E1A367580E779A9C3DB8BA6C654A35370195157C01E7D3337 |
| hashlookup:children-total | 949 |
| hashlookup:trust | 50 |
The searched file hash includes 949 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/state_topological.cmo |
| FileSize | 8667 |
| MD5 | 2A0507F4DD99870196CDFA3BD921230E |
| SHA-1 | 00669261A90169DD1E7FD23BD6898FFCC0FD1EDC |
| SHA-256 | 3CA7893B175CB0C6CE7844707DC47D7F60AF5D4162AFECE4611E03B783274807 |
| SSDEEP | 192:XOr7w04bxJCqdXJkkrup9JT/R9x5CJpenH6lCGJ8n5cDu4vdL9f:X3+qdXJkr9xZ9xYJp+H6lCGJ8nknf |
| TLSH | T19B02A40EFB28D435CCA135F9ECD9CD491A745A26ED578E2B00070F9494A322F3F59ACA |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/wp/coqwp/Memory.v |
| FileSize | 10160 |
| MD5 | 0A78E338EE4AE1375E39E605D8E908A9 |
| SHA-1 | 0137E6B573E045B897430A36D157BF721C95AEBF |
| SHA-256 | 6F1884736D15D4372B0B71CD2D38783919D5FB20613E0BCEA8A3199369DF457E |
| SSDEEP | 192:jkzinAO2CKaCpkvG/M6P0ldki67frZikdZi3jZnZnbBNqSdDlhtK3ezB:oziAOxbus4i67jZikdZi3jZnZnVh |
| TLSH | T16D22528464AA1F1A159A7BFAACE340D1C4F6E62023F1BA08760DF15C4FDE466F673C85 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/plugins/Sparecode.cmxs |
| FileSize | 117664 |
| MD5 | 7F40722EA717A5C7F3B46758A9632FF8 |
| SHA-1 | 016CFF096ECCEFD0A358B4315F4A62E2B49399F9 |
| SHA-256 | DC255DEA21D898291B5E37B27BDC43668DA5B9B30C35B59EC7CFE2F5329A8FBC |
| SSDEEP | 1536:XSL3Fuf7ip7Krk2QA4W/MnJfx9FZYKhHgLG8YaJ4oSRZlLa2g:ibAjOKrkvATMnJfzFiOgLG8Ya0Zda2g |
| TLSH | T1B0B3E79FBAB8897EC27CCA3489DA4B7177A5F7112A20570E254123090F079DF4F6E9D2 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/doc/code/docgen_lt400.ml |
| FileSize | 14204 |
| MD5 | 7B3080B6D9C1BDCA8055C58FD20833C2 |
| SHA-1 | 01B3AF27E882E3F39C19672EC8037A51F1DC48DF |
| SHA-256 | A609C776B2E327311DC29CC5BE908948A88C8E83D36569A750E23FBD2673EDFB |
| SSDEEP | 384:Czi97hzMyL2YsEzaoxP/xCem5wWWMQUQc8oaEWB:Czi97hHn5xP/sZ5wWWBUQc8oaEC |
| TLSH | T1EB52416216E1193336CBC1B6AAC652C1DD81C29F0220EC147AFC756CBF0ED7A52E57A9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/qstack.cmx |
| FileSize | 1396 |
| MD5 | D860CAD8FF6AC95AF81DE5D86D33AA3B |
| SHA-1 | 01F82AB04C5AB3F796F1376B444BF929161B1660 |
| SHA-256 | C2136126EAE765E1D2238064E7E36C3F16ECC44EF560A48F6406559B8FAA3C8A |
| SSDEEP | 24:MCAaVvkzLhxRwRiQaR5RunlIR3IYRoZVIpRoDrUuv2RoPAR3R6cRe9RrRdZVj/R4:JAahW1xiUbknlIxIYEmMUa2uABQcM9tS |
| TLSH | T12221DFAA935E3C078775C1F8299A397849EF94893BE07CE61EB80F2D64CD940D35E264 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/hook.o |
| FileSize | 20720 |
| MD5 | CE5DC101EC12F9E203E8594A04D9AD05 |
| SHA-1 | 020C86E4CE9B7303DF8A3F613F05667C4556FBFC |
| SHA-256 | D8CFC8D788B85F048F9186B6D8D9513F22A019E51C135A5D3F29FC49E1E1137A |
| SSDEEP | 192:boCo/Tz81MPnYKS/j+oIioIcFKGEPpydkxDgzgidfrIBr1YRNGMA3JO1M:jo/kqSL+jij1G2dW05D |
| TLSH | T14192FD4BB6865D2FC665C73401B2267072FAFD587F537B0326947A2E1F32F448EAA520 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/int_Intervals.cmo |
| FileSize | 2563 |
| MD5 | 412647CADF7A6ED624A6726CFE3D1181 |
| SHA-1 | 0241D4F296F082DF112B152231AF948BEA3A517D |
| SHA-256 | 01A4DB0A7B907D75DA90AB280698C8351DC4A03A7770B2026B05A11A66E5C68B |
| SSDEEP | 48:dmNnr+rxXQHojZ+RP+9EgxAmsRUzIN0LPZFyCAlk5:clFHowP+vxjSUc0LnAO5 |
| TLSH | T11851C7C34B07AB32C4E61733595F46C2DD609643C29BC53B81AE4890ADEAD4D7273B38 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/offsetmap.o |
| FileSize | 326608 |
| MD5 | D6F8B00968E930AC62175F43F28C3B46 |
| SHA-1 | 025846FDC00AF894C3B019222E789E51274CD44B |
| SHA-256 | 8A535BD3E556411C8CE1FCA688F13C2AA30BD136B30C0F8639D7A52558C89ACD |
| SSDEEP | 3072:AmSmwf2CityppMl8YFtqOrTqB20XP0SGEJ73cmBvqgFBvTwUUcEhc3ODAm9B4m8l:lHcszqOryffaELbfkTKp |
| TLSH | T1286434472B875C3FC275C73241BA6935B67ABD1A9F61B7032A643B0E0E31F918D6D224 |
| Key | Value |
|---|---|
| FileName | ./usr/share/frama-c/libc/linux/netlink.h |
| FileSize | 1689 |
| MD5 | 99C79465043E4CB2FBB57B7A78465393 |
| SHA-1 | 025F177ABA404DF953594D67880248E9791E04D8 |
| SHA-256 | 13F3443C7781E09E7C03895A059968ADBDB1C7B5406556131D0E100F27EB60E7 |
| SSDEEP | 24:bC9YXTi9z9WQ2i/09+RJVyEaOkHwvgU9Ml7Fa9ehsV:bC9YXTi9xW/b9CJVyEqHw4U9Ml5a9emV |
| TLSH | T18B31991915FCCFBB088000E52B09D0DAC20BA68B63581C09313DB3BE634EDE713E0798 |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/precise_locs.cmo |
| FileSize | 41529 |
| MD5 | C545D98B2F4603FC359F3C07E85780E0 |
| SHA-1 | 02A2179E2E5FD92A81D5CFBB5A9861D718B42DDB |
| SHA-256 | 59DCF67E0763AEFDC435C38A51084C78E4EA410CC92EF4FEF7782C498531DC23 |
| SSDEEP | 768:lc5Ng1zkqhZhGAnGYcLeDsFO6G87m1HW8f+JT6XMbwaWSwmJMskzs4D1E6PvvnYU:lc5Ng1zkqhZhGAnGYcLe4I8y1HVf+JTM |
| TLSH | T1D113C44DBB24F972DA7918F9CDF8DB8A0352997F65132F770049072959C2B0E2F06B06 |