Result for 3735AFA8CD9994A72E7D5946752F4F548385C6D4

Query result

Key	Value
FileSize	23100588
MD5	9704AC2A5F1677089AEB49E3E524767F
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	3735AFA8CD9994A72E7D5946752F4F548385C6D4
SHA-256	F1D67525961404E419BE10880FC5FF23ED41B17549613281BFFB2FEE98A974A8
hashlookup:children-total	1044
hashlookup:trust	50

Network graph view

Children (Total: 1044)

The searched file hash includes 1044 children files known and seen by metalookup. A sample is included below:

Key	Value
FileName	./usr/share/frama-c/libc/math.h
FileSize	13859
MD5	B370AEA2044AF49CA608319DD408F37D
SHA-1	006D224DA87C95898B0BC3EEA8F6486FF1F4DF25
SHA-256	3B8A5E05BBEC2EA2648AE17A6F7F37FFD0D2AB0D2B94B29539C04514928280F1
SSDEEP	192:bC9uDi90/b9CbKwh9Mlk9TFxAkdO8Fs2VzAnRuB21:rX3k5vB21
TLSH	T1D252288C14B5BE43AEABB0D90C99E2DAD100D5D23789E85E319FE7170B8B45A7520DF3

Key	Value
FileName	./usr/lib/frama-c/plugins/top/Value.cmx
FileSize	8203
MD5	907AD0C392338333CF02A080E84A1F1B
SHA-1	007477AB9E9FDC1FA20776D6165F6D9741800A40
SHA-256	45DCDCB9B31A2830485290DA08049D1522344D6EE7F94F5976417FE847BC8800
SSDEEP	192:kMWotezmvBZHgWhVZ2ugeO4wT3NNhpm3wdpOESwyrMBw:kMWotKmvB5VVZ2uWtNNrm3gp4nrcw
TLSH	T115023A1857D5F65E64EFD0D26A8F802AC370E464263AC659430245A418B7EAEF3F7B0B

Key	Value
FileName	./usr/lib/frama-c/property.o
FileSize	166240
MD5	C41EC629D37781C7CF25D2EE3C272AC0
SHA-1	0090B3E6CBDA62C2B4E59509E820ACD9414A73A1
SHA-256	1085831DFEE33BD5A3FC6C0FAFFAF16F9296BD7BFE5A891C429F6CDB6FBC1772
SSDEEP	1536:m+lzDKosomoQvnUf9w1XaQMdVpREKfr+ZnhAJJGdp3xwuIQMzqMK4t:dN2osomoQvnUf9wNkdVpXfr+fkx5
TLSH	T18AF3431ADA89BECBC385C73156D60F11F7B9C4892A374373EF1E92212AD23846F4B915

Key	Value
FileName	./usr/share/frama-c/wp/why3/Vset.v
FileSize	5182
MD5	F91819316715999F63FB12A38E7DC12B
SHA-1	01AEAE830AD465F071C54A66F32454B5A3F69C8B
SHA-256	DDBFB6AC5C2BBC1F44E80B4F512043239F31306285FFBBABCF84154932437193
SSDEEP	96:elYkZ9sF+8rOaHCizrgXrhJyvxekZLasTS8t/Hr86yGpM:Vkzin1i4rgXrhJNkoWyGpM
TLSH	T1CDB1B0052CBB1F852E0B57FE4DD248C2A11A895160B8B00CF78F765D4BAE3A17EBB580

Key	Value
FileName	./usr/lib/frama-c/filter.cmx
FileSize	2524
MD5	7A342F84E95556A70D1F694B2AB591BD
SHA-1	0200D8FD7D2B1B94D6DE17D6F27786804A4282D5
SHA-256	6497A08B4B4FB53E0A5C10C00BF4AA9AA16851275FE881DEBD8B28142BFBE19E
SSDEEP	48:jOR21037qvbsKWEJfEoU3NwbAgWEgMcL9qlA+22k/YXfIj4:jWrrObZWKMT3NwUgWEFc0lA+bkgXQj4
TLSH	T1E55108085209EC5472DFF0E3E54B0942E8B1B4F6093DC122912D15A168AAE47E36521F

Key	Value
FileName	./usr/lib/frama-c/plugins/top/Impact.cmo
FileSize	333268
MD5	00DB7995113A7B128B506D849F2EBA87
SHA-1	0209B30564F07303EAEAD97713F2EAD84AA24DB9
SHA-256	CA94143326845F91F35C2AD124A5C25D82AEE117D92E4C1FBE1D42E55498CD78
SSDEEP	6144:vcQaV8ItmfnfkDFJq1Lhj19vU2quOgb2n43pmtoQP88kTtOOhfPxo6zGuS9+egc:vaV8ItmiFJqJhjLUVuOgbk43pmzPEtj2
TLSH	T12C64B54E5864F070C58C4ABDD9E7C8A3C3105B7F79F34DB3008C46A595DD68EAB0AA9B

Key	Value
FileName	./usr/lib/frama-c/lmap.cmi
FileSize	35156
MD5	025F58F33ADB9303FB7381EFB496C9F9
SHA-1	0290A253B0D72D713BB42691CB9B8DCC871BB816
SHA-256	EC2420259897D20C05EA5B6E78EFDC72A1A7E04F594E71B657C652DB7339CE60
SSDEEP	768:gPadgQBg/1RCZVV17KyEV7zECxJG7D9gJwkwPq8jdT0LCpQdC0:SadbS/nsf1O/PVJG7wwk+njCupQj
TLSH	T138F2F05DBC68F0A502CED86FD00F848B569856BF24371C33991886E16DEFA4E8B1F593

Key	Value
FileName	./usr/share/frama-c/wp/why3/Cfloat.v
FileSize	5698
MD5	7A95B01D44D555F79FD5383ADFE9352B
SHA-1	02FAB039F7B2946FDF41A791C64BCFFF9DBCA084
SHA-256	B6BD1539A2706FE0D0A8ECFB8D8D578F1A047AC5DEFE6A50C2E68425A7CEFE55
SSDEEP	96:elYkZ9sF+8SG/MvngFJsDYQiLCv5JPr7dZkcSK:VkziOG/0ngFCcf+5V7cK
TLSH	T1CEC1BE0C09A25E6F14CF6FF95ED7A1CAA425CAD12A293805F25DFB5C0F9E2359B630C4

Key	Value
FileName	./usr/share/frama-c/libc/stddef.h
FileSize	2022
MD5	72CE2FB10E8A5A7EC37BFF0F0038A135
SHA-1	03255E7A571A9C04C487EA25A0CC90FEA78778A8
SHA-256	C62CD5450A71026EFB7B7C5FDE35009410AEA1DD106ACC8DCA57FB6E26A6C523
SSDEEP	48:bC9z/yXTi9xW/b9CJVyEqHw4U9Ml5a90rk:bC9uDi90/b9CbKw4U9Ml5a9z
TLSH	T11041771989BC9F37890100E22749C1D6C21BA657634848A8313DB7BE670EDE726D7798

Key	Value
FileName	./usr/lib/frama-c/Qed.cmx
FileSize	60979
MD5	69B7358F77E1181CB1E86660E0B5D685
SHA-1	034075BB1B7AECBFA2E6E9144E1D1E6101F4BEBC
SHA-256	1AC06DABB4128C491CCD72ECE5A2CF7A323E4E8BB2856B14BC2C03FE279CE74C
SSDEEP	768:MGMZJJro4JCVOzJWBfTJFFUKAJX7InSFrgnsJnNNcnPxnPkC:b4JdUJczJ0ngwpcC
TLSH	T16A53EF53CE02AC139CEDE77EDF8658908939C6213C7348369D705BCBA969A0DBF87146