Result for 4BC057F3A1C6A1074012AA4C1F22091F802664E5

Query result

Key	Value
FileSize	24026076
MD5	CA13B1143F9C687BFA6ADD39A49326C2
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	4BC057F3A1C6A1074012AA4C1F22091F802664E5
SHA-256	86834910937F63C198D3B404C93E30BF24343BDC2AAE257217EEACAE4DF2F7F8
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/lib/frama-c/wto_statement.cmx
FileSize	4586
MD5	E2DFB6E70260301AF661DD08F0AE08A2
SHA-1	005881147CA696650FAC8BC2A6AB7FF6E0AFB582
SHA-256	61EC0F436357D640DC7136E4BAF29A552869D64265F1452B7AACFC15BC7FCE7B
SSDEEP	96:zSPPbc+MTGAKgmNw3yb1e6flXMXNV9UdiISJhM/zmMu+:t+rA7m+af+X7Si93M/zmM9
TLSH	T13B913013CF089637DDCDF1E718AF0FD4886294981AF58A3557086751EDA7E80523B71A

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/Inout.cmo
FileSize	852621
MD5	26C7F4783A81D0C45F7682CC767BC515
SHA-1	0175678EEAAB642D06A44776177A035FDA59F73C
SHA-256	6B9E66A421608545DF9593DBF68E8F772D08459848F7329B0EBF1F67647C8038
SSDEEP	24576:iaV8ItmRnm6sbMxDP/z//MNg5ZMg2xOSv7dDSV3TAnAPLZ/rUdMfaX1yO+zZe:iaV8ItmRnZxL/7/MkMgGOSvtSVcnM1rY
TLSH	T1C005D54D5498A4F1C446053D94F29A77FB10963E9CE36DF3102E82A8A19C6CE971EFCB

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/description.o
FileSize	120552
MD5	C97484EAC092A82BA8C691DCBB7502AB
SHA-1	01E177051A87A2A1044A76F38FA8FD21D750F383
SHA-256	9B8B6010586CAB4A8449B1850D5607471A56D347343DEB6A5EE3403A4ADBDFE9
SSDEEP	768:PLS7Qs0gLvjJ0bnivtjymFt6Frsb6h8rBXKj4slsGtnA1E/Lf9afb6DxZD:PLiZLvjQnivFV36FEWEXbbu/5afb6HD
TLSH	T118C30D6DAF5EBE28C1DF4E364E75976C6738CB083682D34709ACB2160EC63D1AD27950

Key	Value
FileName	./usr/lib/frama-c/ordered_stmt.o
FileSize	17888
MD5	F5C3E7B2FBCF1B7AF58760A8C26B46DC
SHA-1	01EF13AFE691CD26D04FF686FF3B272B9545E70D
SHA-256	4E21050FF55D9E40F8576B697EFE2BF021AE45CD1B5D111B3964508FB834E255
SSDEEP	96:1NgjrNv3YpK3IlLTD+6WFTWyFwyXsuz0CeBiKXAsYguNm9/O+CGdn1Sg6IEeA5:0fNtgrIdfX4CeBiKPI9+nhgp
TLSH	T1BE826E6AEFCDFEBDC2C54DB847A60738B339C069728A431B171C51352E833E44E46655

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