Result for 59BF8AC35C0E90F0A1EA1CDAFFB6BA948326EAEE

Query result

Key	Value
FileSize	52284496
MD5	AFCF9DC9EA1BC0B4CC291122A0D0C15B
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	20200625+scandium-2+b1
SHA-1	59BF8AC35C0E90F0A1EA1CDAFFB6BA948326EAEE
SHA-256	D4F1DA40EBEA67441589B15CC77CA65AFFB4A7BAC7FD192A2AFF4E0BC9ED4750
hashlookup:children-total	1337
hashlookup:trust	50

Network graph view

Children (Total: 1337)

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

Key	Value
FileName	./usr/lib/frama-c/menu_manager.o
FileSize	38596
MD5	5BB50B255A7D60FCDC8C3FD6173D891E
SHA-1	001F58FD3E39000106AA0CAD3C8BA77BADE43989
SHA-256	A0FB197ECE3263DBAACA683211CCE3D7755047649A2216A1B74230D90FBC9F9A
SSDEEP	384:R3yDs9SXwj+uQ63fg2PiZw6WTAqsZM4vZ+wJoEWQoQSKa6wfOJw6476f5TET7aOJ:IDRX3ufPhL0doEdVadOw641uO/q
TLSH	T1330343075BDEAE3BC1AE133561D7061532B1C3473BCA6F4B59D926ACD8CB3802DE6684

Key	Value
FileName	./usr/lib/frama-c/rmtmps.cmi
FileSize	1450
MD5	53B6C46A73BF3EF2F0243B9D63BA8DC1
SHA-1	00310999E8746F9D6435422E6844988D4DD38088
SHA-256	D3360E4B21B5F2A9C8B4D9ABAA02ADB45CFF3C8BE5E0253BBA95E77C3A835C8B
SSDEEP	24:DCM27sT1kRXNT8cS16+yVBzezOQPhMAAgIGW:MsJsgVE+yrYOQP1AgC
TLSH	T16431034C73251C58FE19722EEEC101EF462003BD84E5CCBFD5645BF4956591E938B20B

Key	Value
FileName	./usr/share/frama-c/libc/features.h
FileSize	4458
MD5	96D9382111402C830DA32502EC4766C4
SHA-1	0115A42AD0D72863D8591F18780D6426BA014BCF
SHA-256	811C486AFCD358F9AD69BD5387E1E091F1C1E89AC23784417E1D44474BEDA078
SSDEEP	96:bC9sDi90/b9CbKw4U9Ml5a9V5VBfBYnOMWhNZb3/REMWee:bC9sDi90/b9CbKwh9Mlk9RBfBYOMKPFS
TLSH	T18E91E0311AE9EF72091A1073A58DC5E6C01ADEBB524544E8F12EFD9E0B0F87422F918D

Key	Value
FileName	./usr/lib/frama-c/ast.cmx
FileSize	8052
MD5	BA7228C23BB75B4069E8412DC3327142
SHA-1	012E640BE44C3BB463057125C86DF7F60AA655CF
SHA-256	3BD5CCFDBE9BCAA160E7E25DC01D1745001A3699E29D2CC9AD97F8E0BD9FD0F3
SSDEEP	192:Fwnt95EfUn25fKQTE8lB+FDsENTQQzsbC1BV7:myPdjdWA/8sm1BV7
TLSH	T155F1A820EF47A5A3BCD1F1E358DE6681CA32F0976BF4A73A206C5F5B9492F10416B314

Key	Value
FileName	./usr/share/frama-c/libc/__fc_define_timer_t.h
FileSize	1788
MD5	DF0F9F6FDBCC779E1B5110BBD29B829F
SHA-1	01ADC263E87DC6543E9880B383EF725543E80A61
SHA-256	F5CB8C2F188B8CFEEC6F472D1C53B6DBCC2B6FE30F756EAFF11FABB9F61F3F47
SSDEEP	48:bC9sXTi9xW/b9CJVyEqHw4U9Ml5a9Nbjvo:bC9sDi90/b9CbKw4U9Ml5a9hk
TLSH	T10A31561A06FC8F7B490004E52708D0DAC25B678B67595CAC303DB3BEA70DEE713A5798

Key	Value
FileName	./usr/share/frama-c/e-acsl/e_acsl_floating_point.h
FileSize	4238
MD5	DFA4391EE405E7F903CBF7D746E4700A
SHA-1	01AEE7A0CE9C80824916837346F0DBFF659DF9FD
SHA-256	C0F2EB222396B2486D2986D80664CE62C786B2EAFE33B3F351CCAB7BC4FACF68
SSDEEP	96:bo9VEDi90/b9CbKw4U9Ml5a9wqLiyhEAyf43lL5NNIOEDC:bo9VEDi90/b9CbKwh9Mlk90yh9y4LnEW
TLSH	T17991630D189A2F27460650E0718AD0C5C60B8DEB13955C1DB09D739D5F4ECB623B5FEE

Key	Value
FileName	./usr/lib/frama-c/boot.cmi
FileSize	3410
MD5	C9CFE99E6F9FADB62CE4954003AF3F96
SHA-1	01E4AC71340AB214E0FADDC770F08CFF927B92CF
SHA-256	7341C8E68D09128F9DFA07E369322D1306A816A7EDC9CBF914AD4DBE55428D47
SSDEEP	96:4fVQ+sQ3yRAel+0rOzPJXZ+1ZfBPk0Vfu:orsWe1lbrMp6ZfBPkp
TLSH	T1D661F8483B937E11F6B68353AD8D05D7C670514AC3BAC67698DE0BC084A7953C2F771A

Key	Value
FileName	./usr/lib/frama-c/plugins/top/Scope.cmx
FileSize	4761
MD5	FE2A0799E6BD5F771F78C515AA027BAD
SHA-1	021A5CECEFD3180C638AC5C056E12DF6EBF429A9
SHA-256	30EE90791A856525C666B72507217DB7FBDC525C4AADCA00C4DB9F7BA1D3A5DB
SSDEEP	96:sgVQ+aQZyseAeHh+02QzVzPJIiZ+1KL+qhpnkffEgwqw5UAGNDVsV5++KbqPLxQ:rraABe1Hhb2Qrx6KLXkUg5UUA+DVUkum
TLSH	T103A11A4837467F21B1EE82135E4D0496C5B0264A87BFC66586DD0BC058A2DA7E3F7719

Key	Value
FileName	./usr/lib/frama-c/lmap_bitwise.cmi
FileSize	25083
MD5	6DD7FE5035BFDEAEAA51BF8268FE0459
SHA-1	02559837B245A73C57CED5AF4E2344D5B59A17F1
SHA-256	FEA2B565B4CD898B52566B344CBA0A74CBBE39F6D71EFE9DDED9916EC64055BA
SSDEEP	384:dsN+4TDkIaA28DrgPwdIt0wxbjkJ9X1ROsKrZaNekVC:ds4sDk2HQ0w1GB1R6rHkVC
TLSH	T176B2956D762F5354DE994A9DC8A352B7E93803FEA3EA8CB7C0250BE4815D50D931A3C3

Key	Value
FileName	./usr/lib/frama-c/oneret.cmo
FileSize	101221
MD5	9CFD7C256711B7080D221F29D42DBA6A
SHA-1	02618F385CD6A133DD7768E518B3C3B3F0356625
SHA-256	729897891A8F925B6A1689B6FBB3E394C90F7BAF74F77EB965DD7E5ACB465E44
SSDEEP	1536:OYJJnIVruHFceUabGURZzjQ4J7KPy9R75/xzJvR05rYwJ7dbJ7llnaMg0R9EZNx+:8MFceUabhzjQdS0R9EZNx0RodVBeO8
TLSH	T134A3C54EB7A609E1DC8B08BCDAD981FF1669197D94D70D37C24A02C980E370E6F4B697