Parents (Total: 10)

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

Key	Value
FileSize	18921076
MD5	FDC02F02A081E8EF170550791DC1A0F6
PackageDescription	Framework for C source code analysis (without gui) Frama-C is a framework 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. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . 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	20151002+magnesium+dfsg-1build2
SHA-1	1C02DEA408D5351E88FCE26406204456AD6C0BB3
SHA-256	CDC14B24F0D0F260B68AE359915BD56F8FF782D4AF85B97AA7BE2CCE4DE18A85

Key	Value
FileSize	18969176
MD5	E1DF67135444E970D6A088E4EEA176BE
PackageDescription	Framework for C source code analysis (without gui) Frama-C is a framework 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. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . 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	20151002+magnesium+dfsg-1build2
SHA-1	7094B49096F5D49980EB9F9525AF5ACAFF609BBC
SHA-256	5F75EC675531FE27D1E85330609D1F7ACAEDD650ADC63D10E0D01462B0463873

Key	Value
MD5	29D6B00C02D403A8AA1515881A954F18
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	4.fc24
PackageVersion	1.12
SHA-1	A1556CDAADFAB6ABDDFD7710441F11B49509314D
SHA-256	BB1223E3FF23ABB89B5E0EA82C17D6530ACFBB31563E38C69D3A93121B8B20B3

Key	Value
FileSize	18203290
MD5	D91A1ABBB07614B8ECDCE11B92D635D5
PackageDescription	Framework for C source code analysis (without gui) Frama-C is a framework 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. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . 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	20151002+magnesium+dfsg-1build1
SHA-1	FBCB4681459A628BF860F284F48EC465D2E5FC3B
SHA-256	E81E98F3D5A335F304F94A11B6FE0567341F02C279FB1D0DDFC89569E43FEA71

Key	Value
FileSize	18095038
MD5	C46B546F86BF313E9F61D93572BA9F92
PackageDescription	Framework for C source code analysis (without gui) Frama-C is a framework 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. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . 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	20151002+magnesium+dfsg-1build2
SHA-1	D2429328690A6A01D928AD5760B7DB62BFC66A20
SHA-256	6CDE071B8197091752D16B58CFFA529F46E03BDBFD627A6200524A09D4A871E9

Key	Value
FileSize	17944488
MD5	84838D9D278B3140D56211E3C993E541
PackageDescription	Framework for C source code analysis (without gui) Frama-C is a framework 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. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . 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	20151002+magnesium+dfsg-1build2
SHA-1	B51AB6326C01EE8F67795B16BFA1A568A1729CBE
SHA-256	A1FB497437154F3CC76FFEA6EAC47B77DDB8AD388B169EF96B382326C32B1717

Key	Value
FileSize	11450374
MD5	547E2A116F292A6E7BA741444C33E344
PackageDescription	Framework for C source code analysis (without gui) Frama-C is a framework 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. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . 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	20151002+magnesium+dfsg-1build2
SHA-1	64A5D9EA80257EB5EE30D79511E8D90DBAA05049
SHA-256	43D3D79DE9195B323994D559EBEE8604F48F0A90DA6F411021617DAA8CD856D8

Key	Value
FileSize	18887732
MD5	4034B78790E838EAA948D338D9832115
PackageDescription	Framework for C source code analysis (without gui) Frama-C is a framework 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. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . 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	20151002+magnesium+dfsg-1build2
SHA-1	BA694929B968B040EFDC5C76654AA2476707EE94
SHA-256	38319E3087CC739E1A367580E779A9C3DB8BA6C654A35370195157C01E7D3337

Key	Value
FileSize	11460372
MD5	E447D22527F57F916900A1D135C396CB
PackageDescription	Framework for C source code analysis (without gui) Frama-C is a framework 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. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . 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	20151002+magnesium+dfsg-1build2
SHA-1	49D1DA9B2C605C1FAF3B152930BE51E6362E7CB7
SHA-256	A64553751BAED087847B3825F245C96C1D7857EE635CFE50D3256E88ADA56FEC

Key	Value
FileSize	18763660
MD5	C842143E895DCE23C3C5E257A585E897
PackageDescription	Framework for C source code analysis (without gui) Frama-C is a framework 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. . It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation . 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	20151002+magnesium+dfsg-1build1
SHA-1	9B9B98C8FD3E0A44E3BABB5D9754831993261178
SHA-256	56A0A4C3AB90E6807C212EED9D0BFDA8F4DC0AEE98C2E710F81489A04A309337