Parents (Total: 37)

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

Key	Value
FileSize	56813800
MD5	4FBFD30D2F9EF2090103B0A16A7AD741
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20200625+scandium-2+b2
SHA-1	063DEFB08B857BBC96ABA1A45060984ED955FB2F
SHA-256	EB6A55E470B0684B32957A993FFC3CD3D65496C969E263732B16DD78C7AC4EA4

Key	Value
MD5	77967E0C1C3E3784224398018729A1D1
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	6.fc33
PackageVersion	21.1
SHA-1	0C0B2AE3949C1DAD753E2F5D5804D89B4AAF5742
SHA-256	AC1838700AB34D3D290E33CCF9710E5E052213D6AFAE69EE59C2DE484E44F917

Key	Value
MD5	199F2F4C133EF5655B5F4FC290B51E14
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	8.fc34
PackageVersion	22.0
SHA-1	0D9A26996BCDC88F33A59F8D042E9F0EBFD674DB
SHA-256	58734654001BA2A29F04BD7B0908A102F567C2D2F2C7AF20055F294220ADF3E2

Key	Value
MD5	8790BD7B83AB9063FC3FE667BA29B58F
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	8.fc34
PackageVersion	22.0
SHA-1	175EF8855F672177BCA179C8F9BD61259505DDF2
SHA-256	C78105208276061CB15653AA171D7836F3D72A6E20249F784E5D81FB129F7B4E

Key	Value
FileSize	62657280
MD5	8F5A87355EC6BEBF27F0ADF47087A0A9
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20200625+scandium-2+b4
SHA-1	1E43FF4BB9BF3528F3696D0061A9ACA950B40032
SHA-256	74827B012F032EB1DB1A7E55DE933CC1020C906B0E03934BC89D654F3348F7FF

Key	Value
FileSize	59406204
MD5	CC3B26DDF2F709AB2395FB0F7E9F910E
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20200625+scandium-2+b3
SHA-1	1ED2C8680C3B5979FA5B6A50DFE0E21176656966
SHA-256	31327585BFB7B1B7A0E793FA87E22F4CEA5FCF4EC23638F10E9FC627E0792F93

Key	Value
FileSize	52331340
MD5	235C754D89E2ABB2214A79341488EFB9
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	20200625+scandium-2build1
SHA-1	271ADBE4D48C0310374B5FC91158447C7B36E155
SHA-256	4D7EDAF66A10A643EC56EF3725911C71CA72A59FB487430EEB7CAFE3563E8EE9

Key	Value
MD5	30CF40E0870CC1A32F1673F8D8661D6B
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	6.fc33
PackageVersion	21.1
SHA-1	2B8319D9E5A5E6A8EDAFE771382119E63A7C450B
SHA-256	2397E9A121C864A03673A55861418740A5EE9040F99B71BB4FE48D5EBA247150

Key	Value
FileSize	38831788
MD5	EE8FD8E09BE96DED89E3129845C19DE1
PackageDescription	Platform dedicated to the analysis of source code written in C 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, the command-line tools, and the graphical interface.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20201209+titanium-4.1
SHA-1	2D719336CD18E688CF37FE3F2AA563AA5802DCA0
SHA-256	249B2ECA33D33EF321B951EB605E58AFEE1D7990AD57DB7A3C5E016CC60763E0

Key	Value
FileSize	38077420
MD5	EEB05F23D941750D3D8CF5ED2FDFE375
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20200625+scandium-2+b3
SHA-1	346AD2ED6DCDB0DEC2E64262382DCDBEEFA56626
SHA-256	07CBB88A385CB516A9D5C5AE536E0DCBC4FBF0EEB10606E0D8A2985F3C4A78FC