Result for 1C1BE5DF4EBCF470597B321DE583848842F4D770

Query result

Key Value
FileSize21587468
MD538FC6A30A3E351CC7D16CDB5B611842D
PackageDescriptionFramework 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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNameframa-c-base
PackageSectiondevel
PackageVersion20130601+fluorine3+dfsg-2build1
SHA-11C1BE5DF4EBCF470597B321DE583848842F4D770
SHA-256A2E1B54B54105CCC1C163F799B5B12DDE430A787878F371E728B0E9038D9C141
hashlookup:children-total988
hashlookup:trust50

Network graph view

Children (Total: 988)

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
FileSize968
MD528E85B7D61996EE610843ABB24F557CB
SHA-10097E933DFCAC5FD2FADB7F76C062A5F789BE67C
SHA-2561A8AA3C116F9021E7DA617F6F4FCA653976F47723BAD092E303CC471CFA0548C
SSDEEP6:UyvUMKLMfFT6K/MK9YP0K/UDrrK/rKaK/MKkciK9WDI2K/MK6vZAiaM8E:U89pFT69d0XTi99S29tZAicE
TLSHT1DD114F0561FCAF77510841D24325C4D9C1076983A2261D0D39BC37FD330DCDA327070A
Key Value
FileName./usr/lib/frama-c/logic_print.cmi
FileSize2010
MD56E6A35C752F51F12115E44939EA25CDB
SHA-1017B90AA9857CBF2B0F5EFA3CCE657F147985826
SHA-256567EB9CF024F67BEC01B6F88E795B934A463D66F61D923AA345E60DFA279791A
SSDEEP48:vCTgibujyxGyUCZNmg+vMFlp2fEH0LWzJl5f:Ygibkcqg+vMFl4fEULMh
TLSHT1A741378DC960889540951CED8451CA175A2E32FE8ABF2CBB813810B50AD9D2FD352ACB
Key Value
FileName./usr/lib/frama-c/unz.cmo
FileSize2830
MD5744D2DA52964D3964B7C886D12F30B1C
SHA-1019878798A638174D8BCE14698A7B35C84B8F096
SHA-256C9FE4F91AE01F47137621FDBEA8C8012417485B316B071247B516184107ACB15
SSDEEP48:p9vC5ioOPpdMhT+hYkcyrsRIte5X55PBXbGd/tgTbRDkAYrbMEHtIf:p9v96hyAfoA55VbGHgPloju
TLSHT18851744EB734CD59C92F283FE8D7A81547660C7F6D96092F44190B2550C0A1E6F527DE
Key Value
FileName./usr/lib/frama-c/kernel.cmo
FileSize90179
MD55381D5897023D8C10E5C9BE51EA910BD
SHA-101CB8BE7570CF663A4C782EF79BEF5D3C16FA8E6
SHA-256F68F1ECA4A608AD022CC6F2BD03F08CD10E54D5F7059F46C922DFE0BC88BA264
SSDEEP1536:JMZ2BeU229ZVScJ8kdqxBit4syBiXJOxYiOiA1UDtSHpjQ:l72qVX8DDQ4sgHxWihDtSK
TLSHT13C93D68E562BF222E4D9167EC5C384C76B104A3FF8BA9E7B001C43145AD6A9F1F06B57
Key Value
FileName./usr/lib/frama-c/lmap.o
FileSize103768
MD5F75DBA4158A12AD37A5277E91A0BD444
SHA-101D6674BC8CC26F0B37048C8AB339FC78D1E3C9E
SHA-256AB658C0CF526882878057A28AF4DEC4B6E8B1A46FDD13DAC96DCCDEFE0A34D24
SSDEEP1536:xuKhYJ68gbCYe0F2ZdZGyVOMUAciE3bjujdY/S:4K2J68gbCYeFZdZGyUM5E3bjuhYa
TLSHT160A30B07BA7ACD7EC478CA77816623E1A235FD86BF95BB022804720D3E31A557D78B50
Key Value
FileName./usr/lib/frama-c/cil_state_builder.cmi
FileSize9035
MD56D70CF56054261878BB823E5D4271324
SHA-1020F0351AA735E29620BE4C8C2DB878B68437EA3
SHA-256BD292A2758EF12DA22AD9F77398BE1F2A6D749CCA73020252D817D87B1A6FA4A
SSDEEP192:GpCaBkT2McSEl1W1drShDG0l861f181FcH3Rx3Mn2Gevn9N:GpCaBkT31U9G0FWihyn2ln7
TLSHT1E612AA8D5864F168906E29BDC08DD94F2B108B7F94B74D3343391AA167BF40E9F2758B
Key Value
FileName./usr/share/frama-c/libc.h
FileSize2153
MD5113EF6F2FB9954C697F6792EA3F46B32
SHA-10235794CEBF2256C18C1C012849DD8BCD625738D
SHA-256E78CD5C51D317D702B0B2EEE38B183BE5D47F76C4FB52CDD203452AA47ED2F2C
SSDEEP48:bC9Dnki9xW/b9CJVyEqHw4U9Ml5a9G/Y7fs3Zs:bC9Dki90/b9CbKw4U9Ml5a9G/8
TLSHT10B41530281B85F77885003C55A1BC0C8C16B535776A8ADE8396E73BEA78ECD70AB1FD0
Key Value
FileName./usr/lib/frama-c/cparser.cmo
FileSize438397
MD5439218EADC35C1978D77C461E15FCEC7
SHA-1028385728A2659B06CBE82323F33D916C88FA6A4
SHA-2564FE34AF0EA926EA13D53AEFF2246B8659CEDC68604F4235A98943A8A431C4E1C
SSDEEP6144:1IG5uJMn8WhmTQOQ9inhrXQFGF1uPNv6BpyyO+tqO6uus:1IG5/n34TQOQ9WlF1gNv6Bptd6uZ
TLSHT15C94C40F731482B6C92123F98DEC98A90330AD6868135D56D81B3B599CF373EEE5664F
Key Value
FileName./usr/lib/frama-c/statuses_by_call.cmo
FileSize39906
MD5CCA7ED0AAFDEA68F16F9D4BA0ECC9174
SHA-10287420D2412932F9678369971F2F8D6B193E4E1
SHA-25653CD677BF483291E596102F13A47E3854671E0B33F032DA20B918DCCAADDE5A8
SSDEEP768:N3qZS4IVYgGDEFBEkSLfVK99XuMTgoXwfuaaiXA7cDvOQA6:IZS4ngGDEFBOLNm+Y+pCa
TLSHT1E703960D9DF4F4A0C5A905BDC8C199875B20557F6D7F0D3B002906A0EBBA91FA72BB87
Key Value
FileName./usr/share/frama-c/libc/float.c
FileSize947
MD51206941C7554ABBF63DE4F0DA448517B
SHA-103098CB9655B0AE2425B071B25F1942452093F2B
SHA-2563F01F71DE71EBB011A9B944FBBD12812FE6009E78F17AE0A0FF7D706D5A04223
SSDEEP6:UyvUMKLMfFT6K/MK9YP0K/UDrrK/rKaK/MKkciK9WDI2K/MK6vZARZv:U89pFT69d0XTi99S29tZARZv
TLSHT194118C0861FC9F7B910840D30328C9D9C0076A83A2260C0E39BC37FE230CCDA322071A