Result for 06B4638D3E0AE32FC3E7E1E155B31437434C56CF

Query result

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
hashlookup:children-total	679
hashlookup:trust	50

Network graph view

Children (Total: 679)

The searched file hash includes 679 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/escape.cmo
FileSize	11356
MD5	9B1A909DEFD1FAD140237ACCBDDAA95E
SHA-1	0125852FE0144ABA6870DD75BCE3BC51F3DDDFE4
SHA-256	D8DBE006B3ECECCFE987748CBFD4A196921C28E53F19B79AD86EDFDC1086FC63
SSDEEP	192:C+LrgdvPH9FeQxZo4g/9zLwMARFr2qYsUjJvr4FOKbfqxDShLwQUbHbcUvUX0DUS:TLu9Flxu7/9Xir2qajJvkOcq5ShMQUbH
TLSH	T14132FA09BB14D931CD46287B9CE5CA8E6264F4BBA9134A1F01060321B8F772DFF67789

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/rmtmps.cmo
FileSize	211820
MD5	225105452879EDCE9224D58DDB38D0E1
SHA-1	020B042DF0457FD4D5A9B3659D44570E54A242E4
SHA-256	FC285A5C372C60930E5F8DD139B4E5A01D95ECA135FFCC5DF162F5451EE0BC13
SSDEEP	3072:xFogB4++OJpoCOMzEU9lDmYcfWrpn6NPMPV0QDL64AFlTGub57wHvSeoT:xFogB4++OfOWDmYbOMjL64kl7ZeoT
TLSH	T18124F84D4AA494F1D816103C89EA8A7BF740877D9DA76EB3141C92B8948D2CDDB0CFDB

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/lib/frama-c/parameter_category.cmo
FileSize	11660
MD5	2AE518D4D1DA7D26646E7A2B85D43CA6
SHA-1	02A74E4634912FA221A48FAE06B6F8D556C23799
SHA-256	FFF12D3471B6439FD8BD62AA4AE274DC54DA9172AF050229FA9E669A5F3415AD
SSDEEP	192:OPG5wdAcdCwFEEjQ/dnfBYagVrD9uUr3y6zAxDDuHDHQR1Q+Op7HcGjinHDvwek/:wZdCwFDc/BBGtuUrC6rHDwTQ+Op78GjL
TLSH	T1DD32C60EF634F670CADA28BDDCD4C96A83509C7F75674C3B120407A964C929E5F0BA9B

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/rangemap.cmi
FileSize	13340
MD5	D4591524CE84ADD1A75869F53ECD0D86
SHA-1	0364774D68D025444BAEF39CD2F22C615BE1E892
SHA-256	6EE1571A95F7A3CDD5359912042C23F9274E6E7AC6D969429221B775078CBABE
SSDEEP	384:4geX0vk1gL6lw+bqngDYhU9c4g1/5UvtPi:4gnvQg2ulnDhz4sxUvQ
TLSH	T1865247AD9466F4B416DEA8AFD10F888F17084B3F84371C77122907A162AF45E8F1E667

Key	Value
FileName	./usr/lib/frama-c/dataflow.cmo
FileSize	76295
MD5	303C89966BEB1D4F76450568DBDED22D
SHA-1	038DFBC489C89401B900A8A4045A9B2451A34E1A
SHA-256	8A6C10DFC5CCB38F4585B0658D31262880934861BB461150781589ECA39FDB33
SSDEEP	1536:LYRTFPqu222V9C9cYsbLdiRl2Z/g8BD/Szur+W0S6ejl3:LYpEimE9cYsndKmV/e9eV
TLSH	T12873B40EBAA90970C445487D88F5DA4BD318AD7C75F31EF75048032459CE72EAB26FA7