Result for 7186801E1230A2133BD83675970087CB2FB147F1

Query result

Key	Value
FileSize	50422316
MD5	4C10A1BE66B5D23E8FAC80A97A92B91A
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+b2
SHA-1	7186801E1230A2133BD83675970087CB2FB147F1
SHA-256	CC7B094A2D11713D37766BF92116F7679D83576E4D3CF8150A8ED19FBFE38F3F
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/pdgIndex.cmx
FileSize	10237
MD5	AD89C524F0E7C8BA29C1ABBB1A3C4C70
SHA-1	005EA908D00C7C7C55A3873ABA0FEB1878CAD825
SHA-256	5DC0101AC789AA26461D2E631BD589D97327C502810BD38AE707754F20588BE8
SSDEEP	192:Rk2wrkVj+suw6nlnjbJjIaXzhCVGtmJxKFr+jaN5:KkV/uw6lpjIszhCVGtmnKp+jaN5
TLSH	T1CB22B621AB162CA3AC15D3736C9125438E90DA04CD57B6333CA70D4E9CF1A71BEAF239

Key	Value
FileName	./usr/lib/frama-c/pretty_utils.o
FileSize	37164
MD5	57F32AE0FDC644D93CE6E54FFF0DB538
SHA-1	0067A9B4EDDB3BDF2E3C7B7FAE1AC3B7A8A38770
SHA-256	039956A61F424E85CA67A46F81FA6C36992D6FA547EA94F3C986FD76F6AE4F49
SSDEEP	768:ARrdFotXei2Kqecyo0uwSXydl/oLXNBt:crduJxqPt0uynoLXN
TLSH	T104F2BD6697C96E6EE2767CB34597271D23E2C9053EE093F3642A74146A032C4A731FCE

Key	Value
FileName	./usr/lib/frama-c/int_Base.cmi
FileSize	3511
MD5	C9993807FE79852DA756740DDFC47BF9
SHA-1	006BCD5F96F0E7AF0570A1124A2ABE66DF0A8121
SHA-256	C41B3DA50DA259D5A8D4BDBF6A9EB5025B17E390E4F6EF934ECD10B0246E6424
SSDEEP	48:1knvLzhPEA87glrnJc8fmXytqO9I+KbrdKE8isSN+K7sbqbVwDRAv+iMe:1knvLzh187mJcYmX+9DKdKzihiqEAWQ
TLSH	T1F4711D9DA7441B19FE28009DEFC447EB9A360BBC85E08CBBB0494FC1412665DA39B7C7

Key	Value
FileName	./usr/lib/frama-c/exn_flow.cmx
FileSize	8061
MD5	743BFA8C1AA6E2D33D73318ED3D64F57
SHA-1	00890BF0DB15674B7CDF2B77C4B70D10532FC479
SHA-256	22FFD5EFB572C432D08C5AA40DF3F7D0D88E7DA94C48DCBBDB8A568F453551C6
SSDEEP	192:Frube1zBV29AD8+Y2ATI04PMshxY/AvCjc0OGUX3:Fwh44AKjGGUX3
TLSH	T1A5F18320AF46ADA3BCD3E1F36DAD1382C772E0DF17F49239406C5B5A95E2F2181A6314

Key	Value
FileName	./usr/lib/frama-c/plugins/top/Server.cmxs
FileSize	268312
MD5	E70CBC3DE7E870A9DF65E3E472F8B76E
SHA-1	00A7D52873840088946559CA6EFF0E50865E9118
SHA-256	A6A0B7886D62A0D0FB274C3366B00A0B199B43F702D498251AFBFF5B824DBFCD
SSDEEP	6144:BT0S70gX+wA0LhM07DiXAPzSPCo6rk5z:Cm0qz7
TLSH	T1CB44E402B5490EBEC27F4E710CDB4B26BA70C61A3F67E79165646B7E2E637840F212C5

Key	Value
FileName	./usr/lib/frama-c/mergecil.cmx
FileSize	8031
MD5	688CCC75A96D735788DC7B567A8D8519
SHA-1	00AA9419DA77D1D19384E773B97801BE6133517B
SHA-256	62E6DFB473554D2D2D95AC9CAD408D5802B600F906DFA006E0CF1CB459169ECD
SSDEEP	192:run20e1amEUn2r90OZWNW3fh/PEuYxMvqM0Wtu/oQrGAxMuIgrQ5romnVijTLD:SrHXmYEuYxMvUWtjQr8uIgrQ5romnVmT
TLSH	T196F14F912BC23F42F8B64336A6C60062CA71D057BF988576A45D3E6724DFF11F38729A

Key	Value
FileName	./usr/lib/frama-c/plugins/top/Obfuscator.cmxs
FileSize	66672
MD5	E8DCAC0034AA559F213B741165BA6B33
SHA-1	00B4227946D3FE9DF99EE570F862D78BE5FA3A8B
SHA-256	7F3F78F370A1A90982B6A34A1874E03AA27EF64ED09B84AA77C94C627322CC29
SSDEEP	1536:+fUBl+tDJBCCUWZpBC/laK/Jjw6iQCN3dE3eq9oLrP4A5V8:+8Bl+tDyCDmlxhjw6y3d2eq9oPP4A5V8
TLSH	T13653291A7B498D3FD9B9EE7108AFCBF93278C15661D76B02A510332C1E9D1400F1D6EA

Key	Value
FileName	./usr/lib/frama-c/launcher.o
FileSize	37568
MD5	AB4FA562703C82866A879F028128EA75
SHA-1	00D09758B88E188F1FEFE022F3560EB375AF596C
SHA-256	4A944E3A702787E44239169CFC181C3E4260D47439A3E5E2E85C8BDCE7A381FD
SSDEEP	768:OhUjXRmgnhJuyf5/tBNASgYMlpNavPcIuTus:0UlmghJu45/tjOlpNav+r
TLSH	T1DAF26456D7C94EBFD0AA4F70A9EF53297235C4496B71AB2BCC2435243F0AB4D0B2661C

Key	Value
FileName	./usr/lib/frama-c/plugins/top/Metrics.cmo
FileSize	1005192
MD5	306DD6979156A88EA67695CA135B32F2
SHA-1	00EC3AD6515283D74859D1313483887B32AD830E
SHA-256	15F2CA47B1E17B0DA7EA03BF74E00E43013883BE62AE8824EEFEC8E5D957542B
SSDEEP	12288:PDktdtXRYQJFAMLr9FNploKPrV88A7LxXdgWBeEWwuyJZET1qLsSrc/BzpGnP:7kgQbLrnx5AnBeEWfRJqIMCBzpGP
TLSH	T1D925C28F759403E8CC9709BDADD945FF06644E3F90D68DFB428A4BD5858278C2F0A1AB

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