Result for 9E1C7F24916EB58F42C124F45A04AA9983B0625A

Search result
Graph view
Children (1376)

Query result

Key Value
FileSize60634612
MD5EE412F62710536A586FC875B9E98F2B9
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-19E1C7F24916EB58F42C124F45A04AA9983B0625A
SHA-256F4CC375824F57DD59A94F513E6A0EBDAC3904F696D90AD5AE1BEEBEC37C770E6
hashlookup:children-total1376
hashlookup:trust50

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
FileSize10479
MD5F66B72220F1FFF987410C1EFD609F86E
SHA-1008A556E0A5240B46529BAE236F4C55A62895AF4
SHA-25642F774C49E5D1D26E7100F203474D90928063A3DDCC8EF96BCD93E68C1DCC90A
SSDEEP192:HChQWLK0cBgMAJqOn89B7kepgGO7/tvD/ivvh:HC3RcBgJ83OGc+vZ
TLSHT1C822762E7ABF0324EDDB1EAEA6A892B3550017FCE5E64DFFD92407D4925000C57AA4D3
Key Value
FileName./usr/lib/frama-c/plugins/gui/Slicing.cmxs
FileSize610480
MD5ED9C8BF7C6A8A04E1A29C110B7B8F75A
SHA-100CC97C075EBC1B96F2218242F9BE7728D6EC0AF
SHA-2569294A7FE799B5A36F2D27011DF48AFB1988F4441EC5FD36214203CF689FC104E
SSDEEP6144:Jn2N86d8E3PwpujULRmRzv8G/AiUQioWZS5OVlUO4:s5dbPwkjLt/AiUrUO
TLSHT15ED4E71AEEA99F7DC9B98236C4A707387771F9D85691671321A4F2382E231490F2F3D4
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/lib/frama-c/plugins/top/Constant_Propagation.cmxs
FileSize72528
MD592F736D52DC46D03652FBAA20DA9DC8A
SHA-101A8AB7EDD63CDDA95E8FF213A9854D53B92F9BB
SHA-25654FCE3A7CBBB68FAF2179EBE98038C3830B0E7FB5BE847A5A511D979888AF00C
SSDEEP768:nLmUcUapOSBG8Sj79xypq4MdP2IzXfOxP0kxgppW6LX8ifSH/ACLTyCq8GN6:niNUoOS2n9xypqGSXwxgrMX/FDq8GN
TLSHT1C5634A9FB954AABDE07DC57A82CB8670B771F4107E50A70301D4B3290F236469F5EAE4
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/lmap_sig.cmi
FileSize35080
MD51E2FAA3C8C9B93ECC7C0784933992D98
SHA-102A049A052B8021F385C89F9766BFDB8723879CB
SHA-256318EAD4FFFB4AD6D5DF7273963B3BD3EBE35A4D3880018A46A3A57DC8198D358
SSDEEP768:CCVYdh71ezQ1ugz81BUZUEFbsFvblc2Wmc:tIvezQYd1BkUCYFJsr
TLSHT102F21D6E29BF0318DCEA0E9D92A652B7992B07BCE7E15CB7C81607D0D14E00D536E1D7
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/parameter_state.cmi
FileSize7439
MD551E89717A820921DDC129555613A40B2
SHA-10354DD27C10E06A82F49291C7FDA5A09100B0969
SHA-256B296CB34A6799ED389A8CF70A971175FF4E388D1E91BB4A8813FF7F8C702F674
SSDEEP192:UquulPh0POsbh19oHJP3aDIw3jX5ev6KQ:vJ7slHu/yH5eSKQ
TLSHT1A6E1626D63229A58FDED555CAEF543BB9A20073CD2F48C77E4500BD4602440EE7EB28B
Key Value
FileName./usr/lib/frama-c/allocates.o
FileSize22000
MD52B08DEFB4BF22E03D23857D801A06153
SHA-10365987CDFDAB412E23AE024136BA4EF6EB92621
SHA-256A2565E017DF441CE423C24B35A9B6003A87B1249C18B790B1CA78779EA76EA05
SSDEEP192:bSW8ZJrZmYDVG2pctTPmqHBzcXZz4W3ATkLXfUHW2KOXKOr4p/:WW8nZmSetTPmqHBzcXZz4W3AkO6Or4R
TLSHT1C2A2376EABC96D69D85445B0C8A703303372DE667F21AB03D506B22B2E333EC5EDD464





metalookup is a service from miwakeru.com