Result for F224291240DBB8E1EB44DF5690A0DC93A69A3A1E

Query result

Key	Value
FileSize	60485316
MD5	602891B8833B73182F44CF7C07303763
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20201209+titanium-4.1
SHA-1	F224291240DBB8E1EB44DF5690A0DC93A69A3A1E
SHA-256	408A56DB4506E38D15C5C1FA7BC642DBD586DFE68804340D722915611C1FB7B3
hashlookup:children-total	1375
hashlookup:trust	50

Network graph view

Children (Total: 1375)

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

Key	Value
FileName	./usr/lib/frama-c/unroll_loops.cmx
FileSize	4048
MD5	214F34B7B57F6319CCC627011EFC7F36
SHA-1	001270918AD0891D29C8D626F9D72ED8A3FEB301
SHA-256	FBB0021C06291EBE8EB965BA06D349305F074DF233B046BCC522FCCA22567A4F
SSDEEP	96:S8m7oMFX5LPRQpef6KMAG700RW2Cy5PG9Idi3Ws6RNu:bEX5LZmU6KQ700YPy9GSM3Wnu
TLSH	T1E981A62923837484FDE75177F8CA87C68EB2D5178844857A6E6C3EAC08BEC25A6D1317

Key	Value
FileName	./usr/lib/frama-c/ast_info.cmx
FileSize	8032
MD5	F25B7397235220A476F9B020A267474B
SHA-1	0052A949734F7D0E699AB7988CD09BB6955C475E
SHA-256	C128FB8EDBB7F71CBFED922301AF500C7D0FACB53AF3B5A990966A43137EB2B3
SSDEEP	192:phUX5LX6Ko2QeXXOP3TD3tThN2v+KqJ1soVXxR:7Y5LqKfQAXOPDDdTho+r1VXxR
TLSH	T1C1F150D52629A443A04E20F96FDB7285EB70C0591B48F8B1706C9BAD2873909F24FB77

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/logic_utils.cmx
FileSize	20619
MD5	1AAB16A3C12130BC72E9CF6E11C64E40
SHA-1	00BEAC93AA4498F29D55477F57E99B68A1E152AA
SHA-256	5D998DF4533593F265B92B81018449501EF5B5CA9682256CD311EE1AA4DDB232
SSDEEP	384:ZY5xcmKo+NWjzbUPFBpbV4VJdbRZvlFsbVO50iren6pZZoPR3LMpMhCP8J:QxcekWjzI9zbV4VJdbR5lFeVO50irgyC
TLSH	T18F92C9652F186C039ED3287C6F85B118A9D8E4B42E45D9F21168072EB8E1FDDB717327

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/lattice_messages.cmx
FileSize	2285
MD5	6DE683C2B20164C0AEE80050E091E74D
SHA-1	012F68A871C0FBF93C5902751ACE429EF8E4BE71
SHA-256	A4D95A2B376603ADB0DA95E0D6065CB27FB3D91FFA581BEB5B8A17C4453C688C
SSDEEP	48:SHe85MNTXX5sU+H1f6KMGpwTM0QZITcAZvM:SxMBX5Lw1f6KMUwTnQyTpZE
TLSH	T13541631827775E293976F1B3BC96519B8E30C18485A4483242DC7661296DC1EB2F070E

Key	Value
FileName	./usr/lib/frama-c/filepath.o
FileSize	33024
MD5	81E0D511A26215CE03E2D92B56D1BEA1
SHA-1	0145901176EE2B272B848B704D63294A000D19E0
SHA-256	67F2D6EB4911B98FDB47B8106DB5D844D50DAE4724321C65DE26178D06490E79
SSDEEP	384:GbIvtY8sxQmtqu8heOjiNFcU50VKT5+U7SEjsSjFzy:/s0vjIFRGx6pj
TLSH	T160E2F10BBB57492ED694973000B7F620B37AFC94BE523B07B254721E3F32A564EA45A4

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/dynamic.o
FileSize	95400
MD5	0780D216E0FBCE8C349C28423BC193B2
SHA-1	01F3E9D6A0EF8652A2C903F498FA98FAE812A880
SHA-256	D237ED2BCDED0A1E4FE95FF9E1F9153354248E653188BA773B5A816E1862A715
SSDEEP	768:m9omXGhE0PYMCFzosbbM3pnyYjdKJ1nYiVx+yR5/vQhDGHtXwC7xWOWV:5m8Vios0pnTIvnnXRWhSNXbtTWV
TLSH	T1BB93232B76DB5D3EE1688A3000766330FA29FC5CBE95774332A2362E1E32F994F55158

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