Parents (Total: 2)

The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:

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	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