Key | Value |
---|---|
FileName | ./usr/share/frama-c/acsl.el |
FileSize | 7574 |
MD5 | 840A7B50E2C0AF622D9E43A720661A11 |
SHA-1 | 560F18B90BAC97448204A3F3369DDDCD7B802D60 |
SHA-256 | 3E19B56A752D56794A8555DDE8B00857F2DD1CB2758962FD532F00E8C38A4EED |
SSDEEP | 192:fAvXgHOx6+CShBZ/odB93UinKkWbGcyzWpUQB:4vXgv+xBZ/odB9uGcyzWpUc |
TLSH | T1ACF16405FBF90DE13348259E3FCBA346E769E15B62A0194171CE860C3F4A42A63D5FA6 |
tar:gname | bin |
tar:uname | root |
hashlookup:parent-total | 45 |
hashlookup:trust | 100 |
The searched file hash is included in 45 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 |
---|---|
MD5 | 64A1D63B0735AF29A61570DC524EEA71 |
PackageArch | noarch |
PackageDescription | This package contains an Emacs support file for working with C source files marked up with ACSL. |
PackageMaintainer | Fedora Project |
PackageName | frama-c-emacs |
PackageRelease | 4.fc24 |
PackageVersion | 1.12 |
SHA-1 | 099B2894549B8E23CB4138C14F6E9BC4C92A752C |
SHA-256 | 2CF87F7BC9B3FBA67AD7352BEDAA4724B485D4719BD17066089008A64DDC84FE |
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 |
---|---|
MD5 | B18D1AFC026C7C41A2326831C0BA17D9 |
PackageArch | noarch |
PackageDescription | This package contains the XEmacs source file for working with C source files marked up with ACSL. This package is not needed to use the XEmacs support. |
PackageMaintainer | Fedora Project |
PackageName | frama-c-xemacs-el |
PackageRelease | 7.fc23 |
PackageVersion | 1.11 |
SHA-1 | 2E99C589795DCD0CC9891427E4A75804E00A5560 |
SHA-256 | DBD33953063CD84857D2A021877DA856A5C1F3A4B75647A5D327B059EF05817E |
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 |
---|---|
MD5 | E36E666951B9DB9C02811F02BAF39FC9 |
PackageArch | noarch |
PackageDescription | This package contains an XEmacs support file for working with C source files marked up with ACSL. |
PackageMaintainer | Fedora Project |
PackageName | frama-c-xemacs |
PackageRelease | 4.fc24 |
PackageVersion | 1.12 |
SHA-1 | 3BD5F2C9688A86A53579A7E82022886B2E85DE60 |
SHA-256 | BE129032D6B36E8FE8CF948CDBA258E9021264253976525E86AAEA2DF534B428 |
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 |