Parents (Total: 4)

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

Key	Value
MD5	810075E729B7D393239A62E7F939D40A
PackageArch	x86_64
PackageDescription	Frama-C is a suite of tools 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.
PackageMaintainer	Fedora Project
PackageName	frama-c
PackageRelease	1.fc32
PackageVersion	20.0
SHA-1	AED25C8334773B838B10ACAC99D150D49AABE139
SHA-256	D0B0CCF73D4DF32727D099313A961CFF00313BAC63EB2638B63915C1412A3CD2

Key	Value
MD5	010404D89AE06DF54E9961619B1CBE23
PackageArch	armv7hl
PackageDescription	Frama-C is a suite of tools 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.
PackageMaintainer	Fedora Project
PackageName	frama-c
PackageRelease	1.fc32
PackageVersion	20.0
SHA-1	C78C8542378C35ABD4C439ADEBD74A3184219EDB
SHA-256	4F731954CD013371B6D6D0099F46BB197654F7ACC9A59481D402EAED4373079B

Key	Value
MD5	5784C03D2268AFE79587A700C1B60174
PackageArch	aarch64
PackageDescription	Frama-C is a suite of tools 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.
PackageMaintainer	Fedora Project
PackageName	frama-c
PackageRelease	1.fc32
PackageVersion	20.0
SHA-1	1C59CD198CD2C90216F79E1F6C06B1103ED3A351
SHA-256	258F73B317E4D8297063621B34B30AF0E4C2FAA53F1D9DF3AD24DE655E036EC7

Key	Value
FileSize	35510708
MD5	C23DB4E462FF9715EA135C391E95F888
PackageDescription	Platform dedicated to the analysis of source code written in C (without gui) Frama-C gathers several analysis techniques in a single collaborative framework, based on analyzers (called "plug-ins") that can build upon the results computed by other analyzers in the framework. . Thanks to this approach, Frama-C provides sophisticated tools, including: * an analyzer based on abstract interpretation (Value plug-in); * a program proof framework based on weakest precondition calculus (WP plug-in); * a program slicer (Slicing plug-in); * a tool for verification of temporal (LTL) properties (Aoraï plug-in); * several tools for code base exploration and dependency analysis (plug-ins From, Impact, Metrics, Occurrence, Scope, etc.). . These plug-ins communicate between each other via the Frama-C API and via ACSL (ANSI/ISO C Specification Language) properties. . 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	20191204+calcium-0.1
SHA-1	1972D4ED7E475279046A5F56ED4B09FBD200BAB7
SHA-256	96022305DAEA22C0021B6BD08062952FA613A8C19F7B56AD1F417ACA9661F155