Parents (Total: 24)

The searched file hash is included in 24 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
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	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

Key	Value
FileSize	59402964
MD5	E18868FA2BF75E54021D2AD663879631
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	50EA250B722A509972E4C7246E3234E0CCDA499F
SHA-256	FF2E04ECA8B5BFC04D226D5A74343D2A49F0226D77F67DA88E97748511EFFCC7

Key	Value
FileSize	32497816
MD5	AC1CDCDEF844396E4F55B0C2243BE38F
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	58ACC81DFAE697DDA60C97125579D56DA6AD3FFA
SHA-256	2B343277ADC4AF653B75628FEFFA6D0B93393DE18887AC48454F954B11C36682

Key	Value
FileSize	52284496
MD5	AFCF9DC9EA1BC0B4CC291122A0D0C15B
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+b1
SHA-1	59BF8AC35C0E90F0A1EA1CDAFFB6BA948326EAEE
SHA-256	D4F1DA40EBEA67441589B15CC77CA65AFFB4A7BAC7FD192A2AFF4E0BC9ED4750