| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/boot.cmi |
| FileSize | 3021 |
| MD5 | 2B1F7333A80F22B850DACD658EBF4FF2 |
| SHA-1 | 017FE19C6663EE1F8A72E259F0B70E47A60D0830 |
| SHA-256 | 02FA4010C6A3D11EAF9F51421BC14F9596F8FE6E7CF41A93C59C71128BE39147 |
| SSDEEP | 48:MjOq7WtD9NVIIzUycKEqJWrsK5V7fo0FEobyyYvv0roRAPBoMXoV4+p/tWpC+AnW:MjlqfIIzUDKOrLFFhgUEmZRs/UAEdsM |
| TLSH | T1C65108493B95FE275CFE4210492E048748716559187FCEE083B4277894BB44CD32B75B |
| hashlookup:parent-total | 6 |
| hashlookup:trust | 80 |
The searched file hash is included in 6 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 17051334 |
| MD5 | 173F2D7A491A1D0F627D0E5224A1C8D4 |
| 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 | 5E13738D28CC649B7C5C1501D910C73E1CBD8D79 |
| SHA-256 | B2970C258D0E934E6F6A2891A32E7C9DDC5D61B9F287859B06B793243BCD8670 |
| Key | Value |
|---|---|
| FileSize | 11224726 |
| MD5 | B0F1387D15B889F5FE998BF63EF04904 |
| 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 | 5F858037E0C859A885AFCA968D828682B5F4E11B |
| SHA-256 | B12239A1FCB2DD8B270992B62B3E41ADEE5EF923D86BF9BCABF3A4DBFB91C322 |
| Key | Value |
|---|---|
| FileSize | 17857700 |
| MD5 | E59332D1E958B55ED82AFA84646AAAFD |
| 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 | A4B52EBDC2AC6F3378B76EFB3775EB8B3ECBC021 |
| SHA-256 | 7ACDF74B1FD109F681E932ADAB3BFB84CB2BA560263A7FD4D8B384B482D90BAA |
| Key | Value |
|---|---|
| FileSize | 17536576 |
| MD5 | F78FB419356B4608AC07D28145EF5ECD |
| 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 | A6FED74D855B513FF4A5B9AA7DFEF57FA3DB1F1E |
| SHA-256 | FAD09514529CA5490E9A0A3AE8B373859BC09CAB21F5DF12F48E3F7581B43FC3 |
| 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 |
|---|---|
| FileSize | 11437938 |
| MD5 | B98411402E76080DF29491574CB34FC4 |
| 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 | AF6DD66D7B138B4BB23CBBA4BD8D872B3DE76088 |
| SHA-256 | A090464DF619D1B2B7188DB22ED197FEFE7F8DDB9EA68610EA991870B2BB31FE |