| Key | Value |
|---|---|
| FileSize | 20987522 |
| MD5 | AF2CC0321DEFEDA09811929C0C8CCB0F |
| 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 | 96B6194F69EFD976D0BD905352942EC8A142276A |
| SHA-256 | A675481CEDC066E92777B199FAA94C0C33522C1917EC0D623A2757DFA4E04AE0 |
| 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/lib/frama-c/buckx.cmx |
| FileSize | 2256 |
| MD5 | 177C6A1195544D7A4D8FA903625D8DB2 |
| SHA-1 | 000F78282BD64170ED3BE11534CCBA453A5222B0 |
| SHA-256 | 1C7B3B33A11E7C157CE7434CD4A423961D375EF1FFDB16CF0A190DD1B7C4D45F |
| SSDEEP | 48:SzwlCl9W63KENYtQimlxiUOV1dwM/dFQeb3rBqBw6V2O:SsY9F3KHt6qUOV7/d/zrsCo2O |
| TLSH | T17A4166018F354436D81E79EA893FD9848D66DC027EF1CD33874839694C7BC87907AA4C |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/log.cmx |
| FileSize | 4985 |
| MD5 | 32A04F195DC54CACC129C64C18B02121 |
| SHA-1 | 0020440476B850B7DD49382A7DCB221D233776D2 |
| SHA-256 | A5DAA0BAD256D86AEC21A363AA3AD767D88D1AE80E4F3408CD1186263E95DABB |
| SSDEEP | 96:6J77eKN049UzL7qE0dW+1r4mKaXVLqM/rOBIDvfX+AZR+/yFbh7Z9Zc4LigP6kDm:S7hwra/p4m7OBIDXX+OjNhL1PDsXGD/O |
| TLSH | T18CA1CA43DF297C17D48B2BFF296AACD55408CFA67C64CEF786208A143469C46B24923F |
| 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/translate_lightweight.o |
| FileSize | 30588 |
| MD5 | 1514771804703E9C1FBE299AB7FEC10E |
| SHA-1 | 00DF56CB28247A00FAF70DD7B715D5684E805AB8 |
| SHA-256 | 97663A0A5843461AAC9239F20CAF7417CABCD86D650D3C6536FDE39E616121E5 |
| SSDEEP | 384:8VxsqtWmigv20vJLi5d7NNvy0L6zod7adb20hWeM0fN6n:8syc0xib7Pa0L6Wap2KvM0fN6n |
| TLSH | T1B0D2BF1FDF1CE93EC418597786E543DE3678C5059B91EB862328F12B1E8038D63AF989 |
| 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/plugins/Aorai.cmxs |
| FileSize | 719376 |
| MD5 | 59B5A2AAD972C38790B4CF0C90DF641E |
| SHA-1 | 01AF9539731B8FD3ED01890713114901C981C4ED |
| SHA-256 | 40E2EB1336F3AA828AB20A48481DD5CAE058201D6E6E6B59E38A577B49191D60 |
| SSDEEP | 6144:vs3TCwKCM0KsFduS/crR1JBMLcmBIaq6H1s7qMvXF9ciLRzELyunvnZnkErE:E3ui8SF4mkS1gqMF9X4nvnZn |
| TLSH | T1CEE4C6ABF4071D7DC0BA4EB148F7373972BB994E275137061820FA242E247D44B99BE9 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/dynamic.cmx |
| FileSize | 9371 |
| MD5 | 57D23D29A10FAA7FDC864FAD35953AAB |
| SHA-1 | 01B9A83A81A84ED5E01D3DD4E50F915D2B530A0F |
| SHA-256 | 5359289A9EF7EB42E3470580F30436B79658FAE7B9A567E2023BB35022D4B479 |
| SSDEEP | 192:fcUbnTi5WVgOOKFzjOUVUE9caMulu4iJqcYME+x3ZukZuHdbVZpIa/p4mSOBIDC3:flbSx8FzSUVUE2aMulu4iJqcYME+xJuR |
| TLSH | T147127422BA05081AF05B26FD1913B560CC09C5DD7DF89EF333F15E7954B8A09B72A61D |
| 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/cil_state_builder.cmi |
| FileSize | 9035 |
| MD5 | 6D70CF56054261878BB823E5D4271324 |
| SHA-1 | 020F0351AA735E29620BE4C8C2DB878B68437EA3 |
| SHA-256 | BD292A2758EF12DA22AD9F77398BE1F2A6D749CCA73020252D817D87B1A6FA4A |
| SSDEEP | 192:GpCaBkT2McSEl1W1drShDG0l861f181FcH3Rx3Mn2Gevn9N:GpCaBkT31U9G0FWihyn2ln7 |
| TLSH | T1E612AA8D5864F168906E29BDC08DD94F2B108B7F94B74D3343391AA167BF40E9F2758B |