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
MD5	21FB644B88F510DF0627BFE0A0512EA8
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	daviddavid <daviddavid>
PackageName	frama-c
PackageRelease	0.20171101Sulfur.4.mga7
PackageVersion	16.0
SHA-1	05FBACB44206B3F613947C0713B253E6ACCF75FE
SHA-256	2CE89BD90DBDD4D183F2C93738DD7DE3943ACCC5A2A0486257E6B2AFAF0C23F1

Key	Value
FileSize	13941620
MD5	26F84E00F30FCC4BC21DBB8C4FF11700
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	20171101+sulfur+dfsg-2
SHA-1	06B4638D3E0AE32FC3E7E1E155B31437434C56CF
SHA-256	1C595E0E5A2CC41E2C8AD6F77C6518E0C10AA4EA588700A96CF2A8B1E34201BE

Key	Value
FileSize	22191504
MD5	7DC29A9A1D7D1B36F20D48657954D3C2
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	20171101+sulfur+dfsg-1
SHA-1	0C15507C349B044250A61E3861BC7ECE0C85F93C
SHA-256	397863BC4555021243FB338DFBE426B90B031AE5A5057592D0D78DCB3430C36F

Key	Value
FileSize	24111648
MD5	84AD00E99998DC4DC7227A9B6A67305D
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	20171101+sulfur+dfsg-1
SHA-1	0C45E0F153D8B99F84330D4825D6E35A92DB889F
SHA-256	E1D8A4FB7C5B93D1F9D6F88F00A10ED0F190DBE0E7E4754558BC9B8A5B50A3B5

Key	Value
FileSize	22223452
MD5	57B85EC3BE878B4524185AFF4189E3EF
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	20171101+sulfur+dfsg-1
SHA-1	1276D59B14EB79A3DCCC4569F4942EF1E175A225
SHA-256	0565F9685F7B21F7A3BB92898C2114BF68DE02F2D0636A8E05C850F30C5227C0

Key	Value
FileSize	22156392
MD5	8BB9CD20697BB38A6BDA76608E8FFEDE
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	20171101+sulfur+dfsg-2
SHA-1	12DE308087D830E281FB990A7D134E44CD3CFD7C
SHA-256	3CA3B9722DA55A5FB2BC80C8581BADD734F6BC284B08A5159D1280210A436A02

Key	Value
FileSize	13965616
MD5	8CB0B0F8D81F9347813704D8F76E5D8C
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	20171101+sulfur+dfsg-2
SHA-1	14AAED74D9D85AAFF97A11BA7961714412DF93FD
SHA-256	4A9D045864135036B297261EBD376FB6C19F0DE9D8FE45E131BE85FA1E0B6417

Key	Value
FileSize	21421832
MD5	7C7A4DE4564BBE170857402933AD5005
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	20171101+sulfur+dfsg-2+b1
SHA-1	19124777F01B090C99AF8F23D413D9533A3E9CF9
SHA-256	5CEFBD1B233F01F88190D6C95BC295E9B6D19AA4F56B706234889425B4CBAB84

Key	Value
FileSize	22613128
MD5	EBC9E69F48A8545832977DB7E392A9A7
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	20171101+sulfur+dfsg-2build2
SHA-1	2CF2C4AB95EEF121D5EDC19AB30B61BD9EC8AE1C
SHA-256	E234F0B8C8971212D41CDFA0D54C3C06AFCBB62029EE0C6CABE3C12D9C1BA1A4

Key	Value
FileSize	22197096
MD5	E7A40EB0DEE7A14F7CF88617228E647E
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	20171101+sulfur+dfsg-2build2
SHA-1	30BF7DD1388C86D0C3A6BF362A0DABD555AC5B72
SHA-256	91FBDFD1E1AABA538FEF91518D5D0F2FF15A5762C3EB8FCDB8B19684F1004434