Parents (Total: 15)

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

Key	Value
FileSize	21176970
MD5	9C42AC1FD029D9C91537D0A05F23579A
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	20140301+neon+dfsg-3
SHA-1	F7D4D890E697697487F42090FC7B13F8025CCAA6
SHA-256	2B8407FCDEF590CFA37E6E1279D6F35D948B0D8C1749B735413252BA2951FF08

Key	Value
FileSize	19068272
MD5	3AA027814CB8E7A9F3416DE8B740BF58
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20140301+neon+dfsg-3
SHA-1	B3F4EB2D6BD0C96B7F08C5B932DD885542A70067
SHA-256	7363149B3E668CB204DC4D2B8BB92F2D5C851ACC0B671B3B7D9D5424F7817E80

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/5.6/packages//i386//frama-c-1.10p0.tgz
MD5	657B1106CE50AE8213C80F3A55F47696
SHA-1	100BD90EBCABE436441DE1DEDC2E54BEBF6C0F3E
SHA-256	D7A89D04AF9AA0CB1FA00831D85FF941625F87F22E3962F66A1914D4EB3CC65F
SSDEEP	1572864:BacfPAojB7cyVdLwJuGLya315JBGLYSmKP/fbZ+7luEXyp63vrL8i:7AgwGJ9W3315JBum0/FolXXd8i
TLSH	T115F733C95EA1898925EBA5394F3DDEC9F7A02BCB0021ECFD4C3D8F92087E46B8934545

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/5.6/packages//sparc64//frama-c-1.10p0.tgz
MD5	CE11EBF58BD6A7AE9E53532C9825AFA8
SHA-1	51BE4B7D12E8BEB7AB9EFECB09AEFDD98CEB993C
SHA-256	45E24784951B993E2E7F1E8D1073DE6E075616F5839C612F0A0D8CAA5F47BA35
SSDEEP	1572864:I9punASjIcgfX9BmQ/adZN2xZX0XF72kFRJeuTSv38gq8XGyEPSO1mvsMkq:IpctjITfX1/aRiZX0oARJeuTJjdu
TLSH	T19628337E3038CAEFA81D52E9FAAF25A5D8B7B9F34C16304441D511423731CEF4AAE895

Key	Value
FileSize	12198284
MD5	D88FA35467AA24E60FA04640E3BB0CE1
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	20140301+neon+dfsg-3
SHA-1	64AA3060358727008048D0BB24C7BD0F3DC291DD
SHA-256	A0C2F2419D0BEF0169EFCD2CF8E70D95D9492280FC2C113D71CE018C60A9EDD2

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/5.6/packages//mips64el//frama-c-1.10p0.tgz
MD5	DA3D5A4E0C5F83E8D271FB8691BDD65C
SHA-1	4E6DF6ABA2CD0C6D012C409B6C983A3B0BB66407
SHA-256	F613108766399BF1920B452B3ED9D3C0A3825932A71BA55554C85200CDFEC053
SSDEEP	1572864:k81/uKhdP7Ag2hsOqFx5EM2h1gliCC0LU+qirVqRiF/GCYBr/ZzFG/u1OiX:k8wiR7W6OqFk5zlC7LFqYGiF/VYbpGG5
TLSH	T1E72833CE979E732914CAB2DA1911DC2450356BA8527C404E89F533DB373EF62AFE2D14

Key	Value
FileSize	18487522
MD5	7CC68E4370DB0326A1BD7FF9E5268FAB
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	20140301+neon+dfsg-3
SHA-1	517F3528518B4A4D19E71E558470B0A46771B388
SHA-256	777A630A23F710D9CA5108B56F3FE0A650FA73B35A2B70E332C2FC6A699CBA8C

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/5.6/packages//amd64//frama-c-1.10p0.tgz
MD5	E36C5FF77F583C0439C50D9AEA3AD33A
SHA-1	F445B7C705FA11D4666288362D99542B943108DF
SHA-256	B7B874614A9A3F3C11FD1C317F7542898B07DC87BFC5CAEA62C429A6170110F6
SSDEEP	1572864:vjewysVLNThMQ8h4aPCUY8MgdNRrI3MAAhtLrWHNpKhVMfg+92Wbjpdj44lITKNT:7ewysVLXv8h4tU1M2NRrwMLtLrWj33r1
TLSH	T190F73384A0881FEA14DEDB05E5E6AD44FC0F31814F86C49D948B5ADC9EAB5ECD938D3C

Key	Value
FileSize	12086912
MD5	104A500735E13A8E61EC4AAC568D79A8
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	20140301+neon+dfsg-3
SHA-1	31DF4EA587938E4288764F443DA9544E4D069801
SHA-256	5AD239FCBB9800A5B372CFB469DC9C18734A75CCC0F41BF953AEC1B6545F73D8

Key	Value
FileSize	21439922
MD5	479DF923D01F9C5A7043EB5E98F43575
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20140301+neon+dfsg-3
SHA-1	72F22040D7BE202BF9C39FD9C4CF6164FB2E7144
SHA-256	C27D6FA11430DBA72BD0CAF15BB49F27871C77D8CF4B0DAE8932F8F2BD3C3E83

Key	Value
FileSize	21326182
MD5	CF7D951F5CABE0E24582506DC0091112
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	20140301+neon+dfsg-3
SHA-1	F0322344E1DA9CCDC61F14E6994962FB5BAAC4FD
SHA-256	4CDE8A6CD49C6CBC20A388BE9A04C7B23BC7DF53143B63B8282C1A22907C3405

Key	Value
FileSize	19484424
MD5	E09522388269DD983093CF86BC5405AD
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20140301+neon+dfsg-3
SHA-1	481960924FBC103D6DF219B84E1973E69F08B18D
SHA-256	890F56774FFBE68AEB5F6312F0A65C5C3F2B42B51A979589BF5C9EE2EF0FE479

Key	Value
FileSize	20504924
MD5	1B01E41F0E4DF87781DBEC4D95BA9214
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	20140301+neon+dfsg-3
SHA-1	D291039C91EEA0F5ADCBBE984F1749B11BB9074D
SHA-256	6610B6A3095212E2E4C23D9A5BF4B0B8AD42658104FEC3962E7E84CC69E37F3A

Key	Value
FileName	https://ftp.lysator.liu.se/pub/OpenBSD/5.6/packages//alpha//frama-c-1.10p0.tgz
MD5	1F8D8B3D0170A655C9570EC7CB6A7A8C
SHA-1	69E2EE79CA064FDB9A3FB36F98AC58F421A08AB8
SHA-256	D8708104D0FAD8221C40E8B9A73B26B2712BD54D23C5D201DEA89BD6D1E29548
SSDEEP	1572864:7LT9KtgY00C4YuVoJ2J6Cot3JM5E3prxTKn1DeE44rAQJB1IRnljfsCTLmeIgN:7LTKaus2Jsrru1DekAyaRlj0CGgN
TLSH	T1D82833CC9796B4F93087F2B59BB2748041E46FACC46580D7A56908E03DBEB5E8DB7708

Key	Value
FileSize	18356240
MD5	F5CE08B8F611D0148C24FE7CDF621550
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	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20140301+neon+dfsg-3
SHA-1	E4712E27C515758F9E4D36AB07C7537D9A9E5446
SHA-256	4E9A1D0E1346963E3E950B2775C0A1D5D31D4ACA1C0D83F305DB22EA6A5F3136