Key | Value |
---|---|
FileSize | 21587468 |
MD5 | 38FC6A30A3E351CC7D16CDB5B611842D |
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 | 20130601+fluorine3+dfsg-2build1 |
SHA-1 | 1C1BE5DF4EBCF470597B321DE583848842F4D770 |
SHA-256 | A2E1B54B54105CCC1C163F799B5B12DDE430A787878F371E728B0E9038D9C141 |
hashlookup:children-total | 988 |
hashlookup:trust | 50 |
The searched file hash includes 988 children files known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | ./usr/share/frama-c/libc/errno.c |
FileSize | 968 |
MD5 | 28E85B7D61996EE610843ABB24F557CB |
SHA-1 | 0097E933DFCAC5FD2FADB7F76C062A5F789BE67C |
SHA-256 | 1A8AA3C116F9021E7DA617F6F4FCA653976F47723BAD092E303CC471CFA0548C |
SSDEEP | 6:UyvUMKLMfFT6K/MK9YP0K/UDrrK/rKaK/MKkciK9WDI2K/MK6vZAiaM8E:U89pFT69d0XTi99S29tZAicE |
TLSH | T1DD114F0561FCAF77510841D24325C4D9C1076983A2261D0D39BC37FD330DCDA327070A |
Key | Value |
---|---|
FileName | ./usr/lib/frama-c/logic_print.cmi |
FileSize | 2010 |
MD5 | 6E6A35C752F51F12115E44939EA25CDB |
SHA-1 | 017B90AA9857CBF2B0F5EFA3CCE657F147985826 |
SHA-256 | 567EB9CF024F67BEC01B6F88E795B934A463D66F61D923AA345E60DFA279791A |
SSDEEP | 48:vCTgibujyxGyUCZNmg+vMFlp2fEH0LWzJl5f:Ygibkcqg+vMFl4fEULMh |
TLSH | T1A741378DC960889540951CED8451CA175A2E32FE8ABF2CBB813810B50AD9D2FD352ACB |
Key | Value |
---|---|
FileName | ./usr/lib/frama-c/unz.cmo |
FileSize | 2830 |
MD5 | 744D2DA52964D3964B7C886D12F30B1C |
SHA-1 | 019878798A638174D8BCE14698A7B35C84B8F096 |
SHA-256 | C9FE4F91AE01F47137621FDBEA8C8012417485B316B071247B516184107ACB15 |
SSDEEP | 48:p9vC5ioOPpdMhT+hYkcyrsRIte5X55PBXbGd/tgTbRDkAYrbMEHtIf:p9v96hyAfoA55VbGHgPloju |
TLSH | T18851744EB734CD59C92F283FE8D7A81547660C7F6D96092F44190B2550C0A1E6F527DE |
Key | Value |
---|---|
FileName | ./usr/lib/frama-c/kernel.cmo |
FileSize | 90179 |
MD5 | 5381D5897023D8C10E5C9BE51EA910BD |
SHA-1 | 01CB8BE7570CF663A4C782EF79BEF5D3C16FA8E6 |
SHA-256 | F68F1ECA4A608AD022CC6F2BD03F08CD10E54D5F7059F46C922DFE0BC88BA264 |
SSDEEP | 1536:JMZ2BeU229ZVScJ8kdqxBit4syBiXJOxYiOiA1UDtSHpjQ:l72qVX8DDQ4sgHxWihDtSK |
TLSH | T13C93D68E562BF222E4D9167EC5C384C76B104A3FF8BA9E7B001C43145AD6A9F1F06B57 |
Key | Value |
---|---|
FileName | ./usr/lib/frama-c/lmap.o |
FileSize | 103768 |
MD5 | F75DBA4158A12AD37A5277E91A0BD444 |
SHA-1 | 01D6674BC8CC26F0B37048C8AB339FC78D1E3C9E |
SHA-256 | AB658C0CF526882878057A28AF4DEC4B6E8B1A46FDD13DAC96DCCDEFE0A34D24 |
SSDEEP | 1536:xuKhYJ68gbCYe0F2ZdZGyVOMUAciE3bjujdY/S:4K2J68gbCYeFZdZGyUM5E3bjuhYa |
TLSH | T160A30B07BA7ACD7EC478CA77816623E1A235FD86BF95BB022804720D3E31A557D78B50 |
Key | Value |
---|---|
FileName | ./usr/lib/frama-c/cil_state_builder.cmi |
FileSize | 9035 |
MD5 | 6D70CF56054261878BB823E5D4271324 |
SHA-1 | 020F0351AA735E29620BE4C8C2DB878B68437EA3 |
SHA-256 | BD292A2758EF12DA22AD9F77398BE1F2A6D749CCA73020252D817D87B1A6FA4A |
SSDEEP | 192:GpCaBkT2McSEl1W1drShDG0l861f181FcH3Rx3Mn2Gevn9N:GpCaBkT31U9G0FWihyn2ln7 |
TLSH | T1E612AA8D5864F168906E29BDC08DD94F2B108B7F94B74D3343391AA167BF40E9F2758B |
Key | Value |
---|---|
FileName | ./usr/share/frama-c/libc.h |
FileSize | 2153 |
MD5 | 113EF6F2FB9954C697F6792EA3F46B32 |
SHA-1 | 0235794CEBF2256C18C1C012849DD8BCD625738D |
SHA-256 | E78CD5C51D317D702B0B2EEE38B183BE5D47F76C4FB52CDD203452AA47ED2F2C |
SSDEEP | 48:bC9Dnki9xW/b9CJVyEqHw4U9Ml5a9G/Y7fs3Zs:bC9Dki90/b9CbKw4U9Ml5a9G/8 |
TLSH | T10B41530281B85F77885003C55A1BC0C8C16B535776A8ADE8396E73BEA78ECD70AB1FD0 |
Key | Value |
---|---|
FileName | ./usr/lib/frama-c/cparser.cmo |
FileSize | 438397 |
MD5 | 439218EADC35C1978D77C461E15FCEC7 |
SHA-1 | 028385728A2659B06CBE82323F33D916C88FA6A4 |
SHA-256 | 4FE34AF0EA926EA13D53AEFF2246B8659CEDC68604F4235A98943A8A431C4E1C |
SSDEEP | 6144:1IG5uJMn8WhmTQOQ9inhrXQFGF1uPNv6BpyyO+tqO6uus:1IG5/n34TQOQ9WlF1gNv6Bptd6uZ |
TLSH | T15C94C40F731482B6C92123F98DEC98A90330AD6868135D56D81B3B599CF373EEE5664F |
Key | Value |
---|---|
FileName | ./usr/lib/frama-c/statuses_by_call.cmo |
FileSize | 39906 |
MD5 | CCA7ED0AAFDEA68F16F9D4BA0ECC9174 |
SHA-1 | 0287420D2412932F9678369971F2F8D6B193E4E1 |
SHA-256 | 53CD677BF483291E596102F13A47E3854671E0B33F032DA20B918DCCAADDE5A8 |
SSDEEP | 768:N3qZS4IVYgGDEFBEkSLfVK99XuMTgoXwfuaaiXA7cDvOQA6:IZS4ngGDEFBOLNm+Y+pCa |
TLSH | T1E703960D9DF4F4A0C5A905BDC8C199875B20557F6D7F0D3B002906A0EBBA91FA72BB87 |
Key | Value |
---|---|
FileName | ./usr/share/frama-c/libc/float.c |
FileSize | 947 |
MD5 | 1206941C7554ABBF63DE4F0DA448517B |
SHA-1 | 03098CB9655B0AE2425B071B25F1942452093F2B |
SHA-256 | 3F01F71DE71EBB011A9B944FBBD12812FE6009E78F17AE0A0FF7D706D5A04223 |
SSDEEP | 6:UyvUMKLMfFT6K/MK9YP0K/UDrrK/rKaK/MKkciK9WDI2K/MK6vZARZv:U89pFT69d0XTi99S29tZARZv |
TLSH | T194118C0861FC9F7B910840D30328C9D9C0076A83A2260C0E39BC37FE230CCDA322071A |