Result for CD7E703D0C4A0620F1D40A6CD66380BFB749C6A7

Search result
Graph view
Children (1337)

Query result

Key Value
FileSize62684896
MD520C9A3A19457693F4357A9796D737891
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-1CD7E703D0C4A0620F1D40A6CD66380BFB749C6A7
SHA-256A2AF8C7B66DB56934EB110B82A3580F391B758A7B1277D7F2574CA254DB2F8AC
hashlookup:children-total1337
hashlookup:trust50

Network graph view

Children (Total: 1337)

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

Key Value
FileName./usr/lib/frama-c/kernel.cmx
FileSize22752
MD57748C72551D29282A28DA17A57CE74C2
SHA-10050D7AC4A9FA85827C4BFC04D8BDC255843E79E
SHA-256A3E5E1EC83312905FA9165606803DED1A81257816BE4AA115462213BCD2BBA60
SSDEEP384:7nad7VLr8ww6Kp6obXEtfIokbRsymG5VLr8wwsBhPaMvFir:bk7VLr8wc0jkbRsyJ5VLr8wxPaz
TLSHT166A2D711770B9A43D982A3BF2D759961A07AC9A4BED94DF0C14E071E64DBC24F3BE306
Key Value
FileName./usr/lib/frama-c/cil_printer.o
FileSize700024
MD5114349245764A5E6C18DE287601658C0
SHA-100BEED596988D0A2C608298ED99F38B2CAE596F1
SHA-2568F85D1C344AC40429E1B3E6BD424342BD7291AA2A5B558BD243D652058A56AD8
SSDEEP12288:pkAbAyrIuatiqC5cSv8fnhluCqsc7A0iN9kIi/oe7dU1vXq:aoA0iN9kIi/oe7dUx
TLSHT14BE4847C5F4F2DE8C25A0E38EBA613A47B7BCB9416E1A397820421191ED73E6CD1E711
Key Value
FileName./usr/share/frama-c/theme/default/fold.png
FileSize252
MD55A04AC91C0CD0C3315BEEB02A76D3C29
SHA-10112B1A2C160F78E6EC86ADA9258B10E3547A1B8
SHA-25683CBBB8B93F22F37DD0BD03EE2033F0E554ADB64E939A1787C56E904BDD1F249
SSDEEP6:6v/lhPv19s/6TvyNEi330LvDRG7K3QJQarPyVp:6v/7js/6TEEinMs7KsvrK7
TLSHT120D095DD365012B1464C5B234E91D5400D570F494B991C851543F43D74601A814511F9
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/asm_contracts.o
FileSize50848
MD53BA8EC7965855FD4AD7901ABA531D7E3
SHA-101613792CEFED0DA17CD985438A1301C9E73B09F
SHA-256B9ADD401D859C1613E1BA6AA29C586F33700A99853141B4DDB535D5F57CF5D72
SSDEEP384:gO0rOo12/mOOBHwDZmp6ZEHxAV78ZThFOU4GAil6myvjKacOxVcRmq3sBvspf1p8:hGXumOYHwZmgZEH6Yyu9+vj84VcFmYA
TLSHT1623372BEAFAEAB7EC2D90E38AB9593703734C65574869307031C322C19C33D54E4B666
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/cvalue.cmx
FileSize27518
MD5C9DEB07799B9E00EBF0B2669FA379988
SHA-101974B8BD061D3E1BE32537B89641ADD903A8DDF
SHA-256DBA0E75155DCBEA7FF46AB8C22637C60FC161EC699610C65D955524B0D70810A
SSDEEP768:joTHBgs/VjwEm4heAAc3o6ImnbMfJjsJsq9bt:cjWHA0pfJIHFt
TLSHT118C28521FF1BAD9384A1E5FDAE9A75E0DE71C4452F90F9B24458872E64E0E48D73B302
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





metalookup is a service from miwakeru.com