Parents (Total: 55)

The searched file hash is included in 55 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
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.6/packages//sparc64//frama-c-19.0p1.tgz
MD5	337043BA1B9EB0C5875CCC1D24DE39EB
SHA-1	075A9C546989EBF54C60F79D226A20B4F4AE18A7
SHA-256	AABA016376139E58896DB41B1853450F7B004FAF01B9AC6743E34C511A71C9A7
SSDEEP	3145728:gU6WIpPrGakx1SiLmg6DAd+Mkiy69zXfgQ:gYfx8MsDAwziffgQ
TLSH	T15E4833CD32856A27092D50F5E794E1BD3D7309A762B356D04F96EB95FC2C0B0BBD2A02

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.7/packages//mips64//frama-c-19.0p2.tgz
MD5	865D4BF79F40FA99DA7A76AB9F8BD742
SHA-1	0B8B46E78E0B77602CACB83FE8F83D09DC30B202
SHA-256	4848662D75536AC9C45968EDFB4DDC0E4E54DDECBC0B416822704984ED43757B
SSDEEP	3145728:2YGU5NVVTIU1fRMnS+GR8+wHlpm5mAzOwklawgOheuDbx0hwI:75zVTJfRCHtlpqmBwk1gOheuI
TLSH	T12C4833ACF6549EDA3C4F81A1F4B6F7DD17D2924F882D6560CB2A7365392C1BA0F41E02

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

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
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/6.7/packages//powerpc//frama-c-19.0p2.tgz
MD5	B3E29C2156C57DAC3E98E7DC4A2FF429
SHA-1	1D710E1FA0379B9D5CAE64B3D26AFB7D16D6D3C3
SHA-256	A6B7C8E73A86F054B1A7C758BA1FBB978549F137326FC9AA75433E7A5AB186D3
SSDEEP	3145728:ByjSUXhYsc8TmZoMZsEVeWdpUMkB69z6IgIw:seUXm8iZdZ5FXUzBIgIw
TLSH	T1B34833AC30612B763CAFC07A556CEDDC71F315ABD35EC6404A85E2963B1C87D9AE6C02

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