Key | Value |
---|---|
FileName | lib/frama-c/filter.cmo |
FileSize | 229851 |
MD5 | C432FFEAE8DC19722D5B73125A26BCF8 |
SHA-1 | 04E2BD5333E0FA28376F132BAA3FFEC0D63A233B |
SHA-256 | 2449D15388E62A17FD244652BC0D43686F3361F78CB5A872C368534F3720629E |
SSDEEP | 6144:G87aADh1SiioxV0Gms8NAxK4lnYza7pMTZvhNYrQIZBvNXGeL:G87asfDx9mrnInb7WThhNYssxl |
TLSH | T18624400CAAB0E4B0CCA5017DC9F5C96BE710867F9DD71EF7441E42A6768E60E9B50B83 |
tar:gname | wheel |
tar:uname | root |
hashlookup:parent-total | 5 |
hashlookup:trust | 75 |
The searched file hash is included in 5 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | https://ftp.lysator.liu.se/pub/OpenBSD/5.6/packages//sparc64//frama-c-1.10p0.tgz |
MD5 | CE11EBF58BD6A7AE9E53532C9825AFA8 |
SHA-1 | 51BE4B7D12E8BEB7AB9EFECB09AEFDD98CEB993C |
SHA-256 | 45E24784951B993E2E7F1E8D1073DE6E075616F5839C612F0A0D8CAA5F47BA35 |
SSDEEP | 1572864:I9punASjIcgfX9BmQ/adZN2xZX0XF72kFRJeuTSv38gq8XGyEPSO1mvsMkq:IpctjITfX1/aRiZX0oARJeuTJjdu |
TLSH | T19628337E3038CAEFA81D52E9FAAF25A5D8B7B9F34C16304441D511423731CEF4AAE895 |
Key | Value |
---|---|
FileSize | 12198284 |
MD5 | D88FA35467AA24E60FA04640E3BB0CE1 |
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 | 20140301+neon+dfsg-3 |
SHA-1 | 64AA3060358727008048D0BB24C7BD0F3DC291DD |
SHA-256 | A0C2F2419D0BEF0169EFCD2CF8E70D95D9492280FC2C113D71CE018C60A9EDD2 |
Key | Value |
---|---|
FileName | https://ftp.lysator.liu.se/pub/OpenBSD/5.6/packages//mips64el//frama-c-1.10p0.tgz |
MD5 | DA3D5A4E0C5F83E8D271FB8691BDD65C |
SHA-1 | 4E6DF6ABA2CD0C6D012C409B6C983A3B0BB66407 |
SHA-256 | F613108766399BF1920B452B3ED9D3C0A3825932A71BA55554C85200CDFEC053 |
SSDEEP | 1572864:k81/uKhdP7Ag2hsOqFx5EM2h1gliCC0LU+qirVqRiF/GCYBr/ZzFG/u1OiX:k8wiR7W6OqFk5zlC7LFqYGiF/VYbpGG5 |
TLSH | T1E72833CE979E732914CAB2DA1911DC2450356BA8527C404E89F533DB373EF62AFE2D14 |
Key | Value |
---|---|
FileSize | 12086912 |
MD5 | 104A500735E13A8E61EC4AAC568D79A8 |
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 | 20140301+neon+dfsg-3 |
SHA-1 | 31DF4EA587938E4288764F443DA9544E4D069801 |
SHA-256 | 5AD239FCBB9800A5B372CFB469DC9C18734A75CCC0F41BF953AEC1B6545F73D8 |
Key | Value |
---|---|
FileName | https://ftp.lysator.liu.se/pub/OpenBSD/5.6/packages//alpha//frama-c-1.10p0.tgz |
MD5 | 1F8D8B3D0170A655C9570EC7CB6A7A8C |
SHA-1 | 69E2EE79CA064FDB9A3FB36F98AC58F421A08AB8 |
SHA-256 | D8708104D0FAD8221C40E8B9A73B26B2712BD54D23C5D201DEA89BD6D1E29548 |
SSDEEP | 1572864:7LT9KtgY00C4YuVoJ2J6Cot3JM5E3prxTKn1DeE44rAQJB1IRnljfsCTLmeIgN:7LTKaus2Jsrru1DekAyaRlj0CGgN |
TLSH | T1D82833CC9796B4F93087F2B59BB2748041E46FACC46580D7A56908E03DBEB5E8DB7708 |