Key | Value |
---|---|
FileName | ./usr/share/frama-c/libc/linux/netlink.h |
FileSize | 1689 |
MD5 | 99C79465043E4CB2FBB57B7A78465393 |
SHA-1 | 025F177ABA404DF953594D67880248E9791E04D8 |
SHA-256 | 13F3443C7781E09E7C03895A059968ADBDB1C7B5406556131D0E100F27EB60E7 |
SSDEEP | 24:bC9YXTi9z9WQ2i/09+RJVyEaOkHwvgU9Ml7Fa9ehsV:bC9YXTi9xW/b9CJVyEqHw4U9Ml5a9emV |
TLSH | T18B31991915FCCFBB088000E52B09D0DAC20BA68B63581C09313DB3BE634EDE713E0798 |
tar:gname | bin |
tar:uname | root |
hashlookup:parent-total | 43 |
hashlookup:trust | 100 |
The searched file hash is included in 43 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/6.3/packages//i386//frama-c-1.11p1.tgz |
MD5 | 5ADCCEA70F75A5C759DD27687D915CA5 |
SHA-1 | 08494B485E644ED16A2027A5F45C8D1F5DA4AB6B |
SHA-256 | 428EE2A80A5AA748795797A1163CFF6E4806FA5505D3D3B395DF5E3E8639A9E4 |
SSDEEP | 1572864:4KVmcXqM5WTJOZRRpe6peDqzUsRaPTPNFm:4IqzyRRg6peD59TNY |
TLSH | T187F733A4F17782C9B96B8BE09AA494DB633138D1B4C23D9108C572306C9FFDBD35991E |
Key | Value |
---|---|
FileSize | 18921076 |
MD5 | FDC02F02A081E8EF170550791DC1A0F6 |
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 | 20151002+magnesium+dfsg-1build2 |
SHA-1 | 1C02DEA408D5351E88FCE26406204456AD6C0BB3 |
SHA-256 | CDC14B24F0D0F260B68AE359915BD56F8FF782D4AF85B97AA7BE2CCE4DE18A85 |
Key | Value |
---|---|
FileName | https://ftp.lysator.liu.se/pub/OpenBSD/6.1/packages//mips64//frama-c-1.11p0.tgz |
MD5 | 29BB7D440DEB4394B52BB674FD5C800B |
SHA-1 | 21A70C78790D8A0DA0A509C4E854BC0669FA9C20 |
SHA-256 | 0A3C53B00C1CAC44E93E2905113DCDC014B2F1F1B7C028D3E2A56E4BFD3CE0F8 |
SSDEEP | 1572864:dqqq3GYVvigur0r0U/PU7RbhUbE47pRfAMfyyRyoaQ+rIE+eWRwhuo:dqsYU0DUdbSR7/AMfRRRatINeWq |
TLSH | T170283388529B2ADC4A55F4F33738F5F3BAF0175EE9AEA514403884C30E6D5ADED2490E |
Key | Value |
---|---|
FileName | https://ftp.lysator.liu.se/pub/OpenBSD/5.9/packages//amd64//frama-c-1.11.tgz |
MD5 | EE41A052BDC34F9C4AA3628DD3C0C909 |
SHA-1 | 26CD7269031DC6C077560C7CFBEA60B179D9752C |
SHA-256 | CC1CC8B51A1D5A05571E1958D15DFFB1423DF1B82AEE425F7D5C1E28344EE8F7 |
SSDEEP | 1572864:7Sy/E0nwpdCi4S7/xrAgzJVJIU+1KLvokl4IbMnTqc:7SyDwrCi4S71AUEUjSIKOc |
TLSH | T100F7330CF19ADFA47D803A0DD69014BB97A362C37713CA9BAC8D432E1E698C5673456F |
Key | Value |
---|---|
FileName | https://ftp.lysator.liu.se/pub/OpenBSD/5.9/packages//i386//frama-c-1.11.tgz |
MD5 | 6BBEF5737E526279B61F1CE34469B21D |
SHA-1 | 2E0CF5517EFDE27601F258482BAC11BC2070B92C |
SHA-256 | E43BAE9343CFF8FCA15B54C41D82119F87598C02F32AF598F226DB27969081B4 |
SSDEEP | 786432:KfWAPZCJ0IpDu5QlXyyYGNUxUhkq2LV8chkqtIACBc6XiGGZCRFNAkl0Tqz/T7zu:+WAGXyd+M58lRrRFNAklB/LY2PT6Ci9z |
TLSH | T193E733CEAD19B34D436248A44F77D86C9A313140F1A7C5C985F0DB6E97DEE2A50AB23C |
Key | Value |
---|---|
FileName | https://ftp.lysator.liu.se/pub/OpenBSD/6.1/packages//mips64el//frama-c-1.11p0.tgz |
MD5 | 7EB5BC8E4BA24158F432D02A5049C233 |
SHA-1 | 32A9DA8A77A187B11CE068E58E5E46B3F09B130D |
SHA-256 | 6745053DCE3F83B58BB31919DEE3B885F6D3726E1A0F1BC9E44C96CECB47FC08 |
SSDEEP | 1572864:nP1TjYqQFO/iBBUIur9dBZ+aUx8ln2jOj1OpfEMbMjKj4xCS5At0bxrz8cCWDnHW:nPhcqv/iIBrdgag8AjMOd22gmyJCMHrC |
TLSH | T1DC28339953F8BFDD3C6DC5E76899EDE92FE201A0A898D95DC278B1F204047B91F11E80 |
Key | Value |
---|---|
FileName | https://ftp.lysator.liu.se/pub/OpenBSD/6.0/packages//mips64//frama-c-1.11p0.tgz |
MD5 | 0C5F751434A98C3E9FEA88E71978B8D0 |
SHA-1 | 3DBD82F2A1818F9756B9392663C17BE17BC0E1C5 |
SHA-256 | B7B5C91D2481C7C44EC906F570AB17C3DAF4E2EF10F30E6CA280B7F0DCBB2E98 |
SSDEEP | 1572864:7aWwRG00HD0oS6Z13sHY+RDv9bEJh/5yQTtInnpQr7iQ2k5CqxdgdLrIE+eCRwh3:7ZR2HY+Rz9b+hY0Faa3nQfINeCq |
TLSH | T10B283357721F0BFA048CCBF66228B9AA6F5222FAFC4D055985E4C4F5ED2D0C4A718F85 |
Key | Value |
---|---|
FileSize | 16931210 |
MD5 | BD1474457772AD87D05C0B5513F16D84 |
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 | 20150201+sodium+dfsg-2 |
SHA-1 | 4470EEA7AAE83D023D08288197177E863298EFAC |
SHA-256 | D7B85F5225C0EBE29E831538D277B7A9920B733CC1630D0DCCBA4846AD8D354A |
Key | Value |
---|---|
FileName | https://ftp.lysator.liu.se/pub/OpenBSD/6.0/packages//i386//frama-c-1.11p0.tgz |
MD5 | A6975463CA7D11E19CB1FBB1F6B3E370 |
SHA-1 | 463F42390803558FC01A0D8AA83463910E6AC8A1 |
SHA-256 | CCF1265704CCF851EF4E4B1C1452F6FBABFBDD345BA3D54F38D8A23A7E911A33 |
SSDEEP | 1572864:GXGBunsymvQjacgPKvDjSpPQrh9AyG4YDCYo9y6+YRzFyKPAelm:E3jacgPKvD2LyHYuYoJRy44 |
TLSH | T1E6F73318A502A2C9CE53E13A5E3CF4A8377A3056C09CFA71D4C96963ADD9FDA324F51C |
Key | Value |
---|---|
FileSize | 11460372 |
MD5 | E447D22527F57F916900A1D135C396CB |
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 | 20151002+magnesium+dfsg-1build2 |
SHA-1 | 49D1DA9B2C605C1FAF3B152930BE51E6362E7CB7 |
SHA-256 | A64553751BAED087847B3825F245C96C1D7857EE635CFE50D3256E88ADA56FEC |