Result for EEA656806B43C87500BB69A89D8ECB65A3E37DD4

Query result

Key	Value
FileSize	58916308
MD5	D63F2BC997490ECEED63E4166B532886
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+b3
SHA-1	EEA656806B43C87500BB69A89D8ECB65A3E37DD4
SHA-256	0288471EFB61C9B77912BE2A18D8FE0741B6586A4B7C7F72CB13E2DAD7CA7C60
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/plugins/top/Constant_Propagation.cmxs
FileSize	47100
MD5	84E2805FE7F6947258C283A2FC585712
SHA-1	008956BCD692871949814F81578ACA1D5416C8EC
SHA-256	C4D881978A6E09560858D2E5F84FB29B3D501F171053BE10DAF207CE6DD711B2
SSDEEP	768:sS5UlOY53DXMhKf40T1zWPForqeELubiss/vz52tGN6:D5UFX+ST6Caubissvz52tGN
TLSH	T172232986B75DCCA7E115E47E74BA47416375D08C3BEFAF412198A2881F4250A8F73B87

Key	Value
FileName	./usr/lib/frama-c/frama_c_init.o
FileSize	2752
MD5	396D218FC2C0C7DB6B837E044B7974E3
SHA-1	00D75940BE13AE621B1EFF902781A25063D26069
SHA-256	1F38CE0688AD0C35E127D8DBEFE4DD9CBE12C8B725BE855060959F788E23029D
SSDEEP	48:Wn7SI8aLrk8Wxkxt+yMWNEbkw+auIDHZ:WlB4xkxIyvNEb/+au
TLSH	T14551CD136B995C6BD915233890CB47A03B61F991E682CB473A4CF1382C576CC7E65B8D

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/logic_typing.o
FileSize	413664
MD5	9D0B2DD54190D763E8FED8D8360512ED
SHA-1	0131BDC4A94DC4C6D6F4C36EE4832323713B164C
SHA-256	C3065E8AAAEB99F1C59FE2E6FE8B87FD5A9D6357038E82FABEC2BE39D3B013C5
SSDEEP	6144:31Np7j43k9qcEn+HeSHWMx2ZvLhbtSKAHPW5FaEkqJmvanfz0v:X9qgeSHSZjFFaBmYv
TLSH	T1C394E7114AECFC2BC8ED133840A711055238D1553767FBE744A52588F8DAB9A3FF72AA

Key	Value
FileName	./usr/lib/frama-c/logic_typing.cmi
FileSize	20939
MD5	6DBD12B4CF200A017AF3D4C7BF9796DE
SHA-1	0156BF80C97BA78D6A917074907FBFF34DB898E4
SHA-256	21E9F99381EB4A3C9E25293080C029B84DEE39CB32B22F101FAA4B775F7A62D1
SSDEEP	384:vnefu24USk9iM8bBv5YjBfxpxuAaIUSdpf:Gf4Ub9D8FBGhxpxjz3Z
TLSH	T1279250AE753F1725EEEE5A2D19AA42734A2807FED2E54D77C16403F4410961E338E2E3

Key	Value
FileName	./usr/lib/frama-c/inline.cmi
FileSize	1236
MD5	38A9A5C5894A2BBAA195F2DF7012C73B
SHA-1	016C10B4E05E62941A199B733CCFAA28D88C916C
SHA-256	419A4CB1A9425F6872695F7EEF3CE3DB6B73568954AB17A39A72C8401D337AD8
SSDEEP	24:a6nDB8qBTyKpcqiI+gsDKkxD3hES5A9c+hoHVLtPv8:NB8ayKydjDKkFhEaAAVe
TLSH	T19C211E5C63740930FC6A671DA686136F5638637E80E40D7FC4988AE9400185CB3D628B

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/exn_flow.cmo
FileSize	356576
MD5	29A0771A02CDBE8C14507FEDF8EDB393
SHA-1	01C8547ABBEC8962EB249789919D0C8A74EE43B6
SHA-256	639380E3AEB8FF9D7856653777B0F76FB2156231716ABDEE365C98A86D2B26AB
SSDEEP	6144:YAHaUsMfuTC67NQIoflTEPiRxU8lmcVh2nITBr6H:FC5ogW3lmo8IT8
TLSH	T1FF74C60F76648641CEA7417D89D881FF42A2A67FA6E30DFB044647DCDA83B0D2B895D3

Key	Value
FileName	./usr/lib/frama-c/wtext.cmi
FileSize	7638
MD5	4E59A51DAD1CDC9442AB074E87130CD5
SHA-1	01F3FD9517DC4ED7A55CE539207AFCDF45767CEF
SHA-256	95482160F595CE3B60270D54359523B6833166C209D7B4C1F2533845AAF119C2
SSDEEP	96:1hoj0HatV8c8l57Qfem1cEv/MqwlLuOxuT0CpOLGokn/lHBcLBiL55oau2Bp7yTY:QIHsiZXCexO/alLup9DdHBcKgkpkY
TLSH	T14BF1EB7EB29E2A11ECCF11FE91B542BB562022FFC1E59EBBC5374AD1591240C43A90D7