Result for 38C2F730DE7876B374DDD79DB69CA591768194D6

Query result

Key	Value
FileSize	60963104
MD5	B222F41BA3FFDB7EAC5AA5E241AA7B59
PackageDescription	Platform dedicated to the analysis of source code written in C 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, the command-line tools, and the graphical interface.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20201209+titanium-4.1
SHA-1	38C2F730DE7876B374DDD79DB69CA591768194D6
SHA-256	2C51F8B9DC769A82B93052415CA223FC91BA9003B710899BCF8220C26426A08B
hashlookup:children-total	1376
hashlookup:trust	50

Network graph view

Children (Total: 1376)

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

Key	Value
FileName	./usr/lib/frama-c/FCHashtbl.cmi
FileSize	10479
MD5	F66B72220F1FFF987410C1EFD609F86E
SHA-1	008A556E0A5240B46529BAE236F4C55A62895AF4
SHA-256	42F774C49E5D1D26E7100F203474D90928063A3DDCC8EF96BCD93E68C1DCC90A
SSDEEP	192:HChQWLK0cBgMAJqOn89B7kepgGO7/tvD/ivvh:HC3RcBgJ83OGc+vZ
TLSH	T1C822762E7ABF0324EDDB1EAEA6A892B3550017FCE5E64DFFD92407D4925000C57AA4D3

Key	Value
FileName	./usr/lib/frama-c/plugins/top/Obfuscator.cmxs
FileSize	101864
MD5	B38C11BDCEA78D1DA7E726EE046E23F5
SHA-1	00F345CFF5ABD3DB47885D951BC419FAD59A549E
SHA-256	A729331467DD94BC30F7D34E01C65A46D05F22DE767F5E91335D0EA8965B64EC
SSDEEP	3072:QkmR/h7csnkTgxG9geJdx38C54jDU5U8:Ucw7jDcU8
TLSH	T147A395A68F299F1FE46C7E30C5CE47E86379885376E6164FC688336638AE6319F1D404

Key	Value
FileName	./usr/lib/frama-c/clexer.cmo
FileSize	234794
MD5	5FA112D533D5398C244A61154FAF3EA3
SHA-1	00F93E9AE4BA62A1F8320D3ED3678AF115F75D7F
SHA-256	0BE32322718FED22F95BCD99DBAB8E38394105393C74EC91ACF56935A24FFFF1
SSDEEP	6144:Qlzh+sQ3WobRM1rDQlNgZHzp7OogG6HN4XPDZIMK8tp0IsL7LvhbVdPt4BBoDXKQ:Qlzh+/mobgn7Fc
TLSH	T12434510BDB5B9DA2C55C2CBBADF932B786837E25086A575BC4183BC4C032BD86F1B505

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/pretty_utils.o
FileSize	47280
MD5	5D2C40EE0F89C6F605AE29BBA05A509D
SHA-1	0123908A24C2382F8CA3513B6A8ED75E63C2D05B
SHA-256	41E5A4D5E78B26218C663C5F23B224806308F91B4A67403A4BCCC4F1CD820698
SSDEEP	384:iU7/5UJ6UEUIFUOY6fUsUdU95cKSzf2To5wEiPDy2FWT6qesFnvqfnvdsCCnKu8c:DP5crzZiby2FpaqvvdjEx1ikj77
TLSH	T1E9230DD56A896D4FC6A63F72D3C2235837B98C466FCF77A7D09534390A073C0E629982

Key	Value
FileName	./usr/lib/frama-c/special_hooks.cmx
FileSize	3851
MD5	EB7BB776AE346DA51689D76652C1F3A3
SHA-1	0152BCCE33FDCDBA215CB9D342D011682C41DC6B
SHA-256	93FCBC00F4DF571A88977CB25D044021F948D27604F24854ABC01E4B41D17A00
SSDEEP	96:wVXmHo07XyNXWef6KMbJtibo1HmWQ9J448S:SMXyNmU6KKTibo8WcJCS
TLSH	T15A81943373819A42B953A7B3FD9B815FEAB2D0A998E418F041DC23B014B4921B6E521F

Key	Value
FileName	./usr/lib/frama-c/asm_contracts.cmo
FileSize	120332
MD5	28710C59E94DECAA04C10CFCCD85B0D1
SHA-1	017584EF6CF3B2E92368582D38FB7801BE306E90
SHA-256	2BE0EB4E09A006EDFB4BED965F3EBF1DBF2816E1D613CCB775DA2C628BE7CF4C
SSDEEP	1536:pbwciLK8RlkUqT6wDvz1O0fpdiIJJBG2NdzOfF20Uniu6B3wX:QLXlkUqTbPdDiUvNdSsiu6S
TLSH	T1A5C3609F72A94FE6CD8B02BE1ADAA2FF55A0633F86D40DF3038213D5849274D1B59487

Key	Value
FileName	./usr/lib/frama-c/dominators.cmo
FileSize	45783
MD5	F00C2453C762598CC4A02F205E738221
SHA-1	019C31942218798C11928916EC98A4822B53F74C
SHA-256	2BCE6409D3CFE696EC9316117684CDCEB163D5C963D7AC2EABAAEE590428B0BA
SSDEEP	768:D9tB0+fKRAnB88eT/VZozhvUPx5CmPLm6GQJ3f0Ln:PB0+ZO8Q/VZBPx5C8G5
TLSH	T1B123930FF3501719CEA515BAAFE912EF52B00128C5D54CEF88ED82E9C58178D2F62C6B

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/lib/frama-c/wtext.cmi
FileSize	7638
MD5	4E59A51DAD1CDC9442AB074E87130CD5
SHA-1	01F3FD9517DC4ED7A55CE539207AFCDF45767CEF
SHA-256	95482160F595CE3B60270D54359523B6833166C209D7B4C1F2533845AAF119C2
SSDEEP	96:1hoj0HatV8c8l57Qfem1cEv/MqwlLuOxuT0CpOLGokn/lHBcLBiL55oau2Bp7yTY:QIHsiZXCexO/alLup9DdHBcKgkpkY
TLSH	T14BF1EB7EB29E2A11ECCF11FE91B542BB562022FFC1E59EBBC5374AD1591240C43A90D7