Result for C4EACE1036DE977ACD7D12DFE5B50F63B0A02407

Search result
Graph view
Children (900)

Query result

Key Value
FileSize38818348
MD5BD60BF6249AD87B15A6105DDBECAA0CD
PackageDescriptionPlatform 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNameframa-c-base
PackageSectiondevel
PackageVersion20201209+titanium-4.1
SHA-1C4EACE1036DE977ACD7D12DFE5B50F63B0A02407
SHA-25679595D8A979781FD148AB9D5D82046C2A0F908ABCA75890D5D4B77D5E944B2C0
hashlookup:children-total900
hashlookup:trust50

Network graph view

Children (Total: 900)

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

Key Value
FileName./usr/lib/frama-c/unroll_loops.cmo
FileSize307983
MD57C52087EB6EC610179FE094B46B179C1
SHA-1008468AC56E2EA5E1F4EE20FF47B9B99470236FD
SHA-25680924A25852DCCBA1ECCE8F6036630D0BF33D0E068274CD693F448DE6E2BFFA6
SSDEEP6144:T87ezo44SX5CTgBRBL9906qb96K/TJfszTBxeGVFaabX8be96t:T8q3/bKdEzTbxFqJ
TLSHT1B8646E0F7AA956D4CD93887FD99A56FF4AB8113F49D00EFB5A194BD4888730C2F49883
Key Value
FileName./usr/lib/frama-c/FCHashtbl.cmi
FileSize10479
MD5F66B72220F1FFF987410C1EFD609F86E
SHA-1008A556E0A5240B46529BAE236F4C55A62895AF4
SHA-25642F774C49E5D1D26E7100F203474D90928063A3DDCC8EF96BCD93E68C1DCC90A
SSDEEP192:HChQWLK0cBgMAJqOn89B7kepgGO7/tvD/ivvh:HC3RcBgJ83OGc+vZ
TLSHT1C822762E7ABF0324EDDB1EAEA6A892B3550017FCE5E64DFFD92407D4925000C57AA4D3
Key Value
FileName./usr/share/frama-c/libc/features.h
FileSize4458
MD596D9382111402C830DA32502EC4766C4
SHA-10115A42AD0D72863D8591F18780D6426BA014BCF
SHA-256811C486AFCD358F9AD69BD5387E1E091F1C1E89AC23784417E1D44474BEDA078
SSDEEP96:bC9sDi90/b9CbKw4U9Ml5a9V5VBfBYnOMWhNZb3/REMWee:bC9sDi90/b9CbKwh9Mlk9RBfBYOMKPFS
TLSHT18E91E0311AE9EF72091A1073A58DC5E6C01ADEBB524544E8F12EFD9E0B0F87422F918D
Key Value
FileName./usr/share/frama-c/libc/__fc_define_timer_t.h
FileSize1788
MD5DF0F9F6FDBCC779E1B5110BBD29B829F
SHA-101ADC263E87DC6543E9880B383EF725543E80A61
SHA-256F5CB8C2F188B8CFEEC6F472D1C53B6DBCC2B6FE30F756EAFF11FABB9F61F3F47
SSDEEP48:bC9sXTi9xW/b9CJVyEqHw4U9Ml5a9Nbjvo:bC9sDi90/b9CbKw4U9Ml5a9hk
TLSHT10A31561A06FC8F7B490004E52708D0DAC25B678B67595CAC303DB3BEA70DEE713A5798
Key Value
FileName./usr/lib/frama-c/wtext.cmi
FileSize7638
MD54E59A51DAD1CDC9442AB074E87130CD5
SHA-101F3FD9517DC4ED7A55CE539207AFCDF45767CEF
SHA-25695482160F595CE3B60270D54359523B6833166C209D7B4C1F2533845AAF119C2
SSDEEP96:1hoj0HatV8c8l57Qfem1cEv/MqwlLuOxuT0CpOLGokn/lHBcLBiL55oau2Bp7yTY:QIHsiZXCexO/alLup9DdHBcKgkpkY
TLSHT14BF1EB7EB29E2A11ECCF11FE91B542BB562022FFC1E59EBBC5374AD1591240C43A90D7
Key Value
FileName./usr/lib/frama-c/unicode.cmo
FileSize6449
MD5E4CB39A50B973DB2A5366B11EE5BDF2C
SHA-1022994B9F54757432B752B28E308F29AB5F9FA97
SHA-256A1BB20CA8436F9964FAF3BE1FC3F88E04DE6CA331A5966B07EE45A2F51637347
SSDEEP96:7jOYjOijOLjOBEj9gWoypzyLoM8WpU2g6qI34gGSmPVu0a+ZYN7MBX5LwPf6KMsd:Gn5WBPyyJ8WpUqqD/SruZBX5Lo6KH
TLSHT11ED1A48EE3110590EEA2707D3CCD910F96FC945A80B4C5B2C59D4AC189ECA3ACAF0BDD
Key Value
FileName./usr/lib/frama-c/bag.cmi
FileSize2701
MD529D93A71CDC225A1F6FF2A79A006C815
SHA-102D84E2D5DE2DBA8691F691262E14B47874240C6
SHA-256D5883506EBB5793C5557E6F2C766884A699DE931CAD35154316B49024FC20556
SSDEEP48:WcuIwFMQ+Iw/s8pdL8ziBiM0F1+n23IbC4butzThn4sAaAx9zc3QteH+nID+Onh:aIzsc0P+tbAtz91yxveHuINnh
TLSHT1D251556F5FC50B2DECC908AD738183AB1A18637DE5F99D7FAC190EC4A05111CA3A92C7
Key Value
FileName./usr/lib/frama-c/alpha.cmo
FileSize36495
MD53EC619734FC66C03D80B1528A205B612
SHA-102EA8C860137FB58B262C67CC42ECEF1165C47C1
SHA-256E7B7EE75FD493E744DED8E76BF43D186D837DD75DC6005F6D64C494AD7ECDFA6
SSDEEP384:IjhF2OYdZXp3prQ/RbJmy1NHgRTVaJkP4DOAeJLq31G/y15enTMaO369S5L1K0:ASemyLcTAJkPHg1knIaJ4LZ
TLSHT1B0F2F90EE7416921DFA8297E5CF6E2070AA9D73554904877C0DB07F9D0C2BCD2F91E6A
Key Value
FileName./usr/lib/frama-c/int_interval.cmo
FileSize184719
MD5B1A5FCBF085164F13022B9C9344179E7
SHA-10373DD314097BBD07F3BA22D13B45E2BB4730FF9
SHA-2566D8710644DE8BEE9CFA3AD0258F713BB15799F42716DCC39DD4D3B55B429FFA2
SSDEEP3072:i1NoWsU7JQS9UdVcLPN7mRHUxbQXX8pj9SnZUaX7:RWsUGS2XS7zx68pknZUar
TLSHT1A804924FDB931E65CC9849BC9AD6599B05A4553A40C30E6BE28626DC80C3F0CDF6DF8B
Key Value
FileName./usr/lib/frama-c/plugins/top/Security_slicing.cmo
FileSize190934
MD5F27DF4E3C4A3E3EEBD11F49830C0E9A2
SHA-103C8A64F05666BD5E512082B30244CADC33E6D68
SHA-256B20BC68B4BE3B2BA9B906C8B7E0D72363D91B665DD10448552F646CFE06AEF07
SSDEEP3072:eb5/3r6Ksk1JyqhS1KNCk8MY4X0X+5mVHB54+1GUxw:ebp9skUIyjW0XzV/4+1G4w
TLSHT155143F7E99671A04CCC00DBC8BB5B95F0BE95A7EC9D35EB3C11A02E0E71528D671A8C7





metalookup is a service from miwakeru.com