Result for 346AD2ED6DCDB0DEC2E64262382DCDBEEFA56626

Search result
Graph view
Children (865)

Query result

Key Value
FileSize38077420
MD5EEB05F23D941750D3D8CF5ED2FDFE375
PackageDescriptionPlatform 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNameframa-c-base
PackageSectiondevel
PackageVersion20200625+scandium-2+b3
SHA-1346AD2ED6DCDB0DEC2E64262382DCDBEEFA56626
SHA-25607CBB88A385CB516A9D5C5AE536E0DCBC4FBF0EEB10606E0D8A2985F3C4A78FC
hashlookup:children-total865
hashlookup:trust50

Network graph view

Children (Total: 865)

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

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/logic_typing.cmi
FileSize20939
MD56DBD12B4CF200A017AF3D4C7BF9796DE
SHA-10156BF80C97BA78D6A917074907FBFF34DB898E4
SHA-25621E9F99381EB4A3C9E25293080C029B84DEE39CB32B22F101FAA4B775F7A62D1
SSDEEP384:vnefu24USk9iM8bBv5YjBfxpxuAaIUSdpf:Gf4Ub9D8FBGhxpxjz3Z
TLSHT1279250AE753F1725EEEE5A2D19AA42734A2807FED2E54D77C16403F4410961E338E2E3
Key Value
FileName./usr/lib/frama-c/inline.cmi
FileSize1236
MD538A9A5C5894A2BBAA195F2DF7012C73B
SHA-1016C10B4E05E62941A199B733CCFAA28D88C916C
SHA-256419A4CB1A9425F6872695F7EEF3CE3DB6B73568954AB17A39A72C8401D337AD8
SSDEEP24:a6nDB8qBTyKpcqiI+gsDKkxD3hES5A9c+hoHVLtPv8:NB8ayKydjDKkFhEaAAVe
TLSHT19C211E5C63740930FC6A671DA686136F5638637E80E40D7FC4988AE9400185CB3D628B
Key Value
FileName./usr/lib/frama-c/project.cmo
FileSize198443
MD5A0FE10B8220689CC4D1B3E00443EEEF4
SHA-1019E3AF2DFC66F640BB48CA93532248FFDF558ED
SHA-256FB3A81C549E4CC1415420A0E899D986780FF72F93C5E6AB67A924BC69516B73D
SSDEEP6144:Y4akmqUw475g+YIiSaFNcmnXDMWz1zlrguBEyo54h:Y4LmqUL5gv85M
TLSHT1D714F80FEB52CA55EED80DBE4CE92A9BB5A3163D41E12E77D05982C4C08235F6F49D83
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/share/frama-c/e-acsl/e_acsl_floating_point.h
FileSize4238
MD5DFA4391EE405E7F903CBF7D746E4700A
SHA-101AEE7A0CE9C80824916837346F0DBFF659DF9FD
SHA-256C0F2EB222396B2486D2986D80664CE62C786B2EAFE33B3F351CCAB7BC4FACF68
SSDEEP96:bo9VEDi90/b9CbKw4U9Ml5a9wqLiyhEAyf43lL5NNIOEDC:bo9VEDi90/b9CbKwh9Mlk90yh9y4LnEW
TLSHT17991630D189A2F27460650E0718AD0C5C60B8DEB13955C1DB09D739D5F4ECB623B5FEE
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/project_skeleton.cmo
FileSize15413
MD5DCE312D10EA96A6B7E6C5640A0B2339D
SHA-102438A0F7EE8467AF58449A37E853F0D52594A85
SHA-2564ECD640982745443FE5538271AE7D09666FB49C713F02384B73A4B7D0B01AB55
SSDEEP192:KlHryy4HtD+a2EXtc0WUEJzSeGbFc0LOC8lEyldeobU1KO2HetxEmfOBxdZil9:F+2+0URcsrvBetxKjdW
TLSHT10262B4ADC6178255FED6C5BDA9EA81879AD4263DC0E0CC7BC1EC3BC450E150E63A2357
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/plugins/META.frama-c-from
FileSize420
MD5903FD0BB4735B68E5D626AB6F6F1EDE9
SHA-102D875059F01F239B91C374CD06C9392D2321B72
SHA-256C718A025C8656A487CAD914A7CE7613FEE8CC5974337C51B2EA597CC21B72E8A
SSDEEP12:ddDVpQswZXlrYpePA5zxpDJmuxpUyCYpePAlKvPA5zJPsJmuJPTyrvPH:LDVWn1CeSzxpVPxp1euKvSzJPoPJPSvP
TLSHT1EBE0652A275D440629BEC3356F21498B19BBD1E6D44CB1C415EDD010AE5C85A11FE0FD





metalookup is a service from miwakeru.com