| Key | Value |
|---|---|
| FileSize | 23776046 |
| MD5 | 99BA4515A46148E1E3C3D37DD11773FB |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | frama-c-base |
| PackageSection | devel |
| PackageVersion | 20170501+phosphorus+dfsg-2+b1 |
| SHA-1 | BEC12820925DE5B70F2602AB1B4D6FBE8E8B4644 |
| SHA-256 | 9E660AB6D3E7C987490A2C551014B038D25BDFAE7E349BE093C97816EC14554E |
| hashlookup:children-total | 1038 |
| hashlookup:trust | 50 |
The searched file hash includes 1038 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/FCBuffer.o |
| FileSize | 25328 |
| MD5 | 29BAEA4C7A6FB0839F4398E7A2F44C8A |
| SHA-1 | 0007760EF525D515B8E3D7E30AD441A06D07AA8D |
| SHA-256 | 43E1F8041B7095B994CC6713A03B1048F437EA7864607F67458EDDBAB62D3B57 |
| SSDEEP | 192:hHc7bGwIw1KmXFiiJeX7NO8L6j2xPBg0kIJ3BVwC38YrMntxpEZZbpD:G7bGzwFXfJ2I8L6QJUQ2pSBpD |
| TLSH | T138B22F6D9FCCA96DF589A93189F61FFF7BB0C0496A8247C77288A0143A933D50DE2507 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/abstract_interp.o |
| FileSize | 144240 |
| MD5 | CBCD16740F62A27EFCF8410ED47741AC |
| SHA-1 | 0022DA8A0C66A8D52F9E80BA3DBCD665CC7CDC1B |
| SHA-256 | 1545AF05530B84E847080E853DC0E05C0EB0D1F6A90A755A1FF0FE80572438C4 |
| SSDEEP | 1536:Sj4EhPgEFVl3dirVCBSHHjoNbPhpq7mpbmDeJ11W:SEGPPfirAYnUNbPhsFej |
| TLSH | T14AE370EE5FAFBAEAC2C64D74CBD90B7CBB38D404119623174716122D1AC33C59C2EA65 |
| 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/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/theme/colorblind/invalid_but_dead.png |
| FileSize | 233 |
| MD5 | 51548FDE9EECCC71C5452DA0125486BE |
| SHA-1 | 0164ADC8D1ABC638F72B37DAB553E289606B5BC4 |
| SHA-256 | FE84C48CA7CF3C3CBCF96F09937539CDB435F2A480E7D26DB690BB3C171877C5 |
| SSDEEP | 6:6v/lhPmNpkB/6TjT9aECfxDb3ByrR0iXCj/N9YEtzGDgzlbp:6v/7uNpkB/6TdPsxDDsGnjN9j8DgJ1 |
| TLSH | T1B1D0A7EA16E06DF986A951717409000295B70B6D468A498CA5E6F4780116AF50695DA8 |
| 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/machdeps.cmo |
| FileSize | 5256 |
| MD5 | 5F752A2D6F87A1F4E0AEF6C4B6631709 |
| SHA-1 | 027477EEDE676E7B70EA6AC9C76E38000ACA7BCF |
| SHA-256 | 831D2C197F3A984DADC11F0242EB95D0E6453CD8FB068420F9317F683A66E9E6 |
| SSDEEP | 96:bPsPsPBTtPm+9UK8QIqo7sDTUmY45URZBLKBuTn4ObJB3/d:bPsPsPJtemUK8Qq7sDImDmRmqn4aB3/d |
| TLSH | T12DB13FD7853593ADC0DB27FAF8B719C88298458CE1DA8B3B404C812920F3D2D9F917B9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/filecheck.cmo |
| FileSize | 217832 |
| MD5 | 3833DB64E3F949025860569B65774733 |
| SHA-1 | 02CF556E2176D0D047EDFD4E5C4C55AA10FD7D80 |
| SHA-256 | 418ED4F1DD83DB10B09FE4399576BE2347125ED54E3872EE04A45D39DCBC5378 |
| SSDEEP | 6144:mBGHndVEcr7I6JfsElAUuOrYCzuDgt0lBSsUPsedlVefv:msrEcrxxBriDgto |
| TLSH | T1D524B74E668045F0C445107C99EADA7BE311A67CAE6F5E73001C9A78A8CF71DDB0AF87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/tr_offset.cmx |
| FileSize | 1846 |
| MD5 | A034BD6FF43255C11E7EC8048CEC88BF |
| SHA-1 | 02DA7F6DDF98AE257E43DEEBEC51A84C00879B6F |
| SHA-256 | 005C217842AB94CF450AD1AA86A0DF6015FA4A0487B0017BDB228F615A4BD168 |
| SSDEEP | 48:TImhbiRrFOfEoUhRAzRgZxrG9t4NvpUf25:0IbYOMThRA1gbIIRA25 |
| TLSH | T18D31F928620BB465F8E6A1862584C836D4B2851C473BD4E7631E0D654CD5DCEA63EF4E |
| 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 |