Result for 84BD547B5405279A68B48DBD6A063528FC227B5F

Search result
Graph view
Children (1337)

Query result

Key Value
FileSize52495636
MD5F655670F0B9C2262546D35052B68B21A
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+b2
SHA-184BD547B5405279A68B48DBD6A063528FC227B5F
SHA-256A7764F3F031432364926B7C54637E816F73B0C06ED172F5322DA69F37E9D0454
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/project.cmx
FileSize12793
MD57DB2EA55DAD5605841532342AEECE9D9
SHA-1001D753D238539C602BCE1E47C6561C41527F11F
SHA-256ABF29D0BAC62BBCF1611442885A942D0845041D8E8CDC42B4B386FE036450B11
SSDEEP192:0ONe5f5qiWIOvu3Q8ZRbhFVs1grJ9eWmJnqpzIcdWX2EplRDULhs5nUx5Eq:0w45fTguAkdsWrveWmlqpzMG24henq1
TLSHT1F3428501EB06D9E2F7D696BF1CA5EC00F623F407CEA8C57360AF8B5A90D160062D724B
Key Value
FileName./usr/lib/frama-c/int_Base.cmi
FileSize3511
MD5C9993807FE79852DA756740DDFC47BF9
SHA-1006BCD5F96F0E7AF0570A1124A2ABE66DF0A8121
SHA-256C41B3DA50DA259D5A8D4BDBF6A9EB5025B17E390E4F6EF934ECD10B0246E6424
SSDEEP48:1knvLzhPEA87glrnJc8fmXytqO9I+KbrdKE8isSN+K7sbqbVwDRAv+iMe:1knvLzh187mJcYmX+9DKdKzihiqEAWQ
TLSHT1F4711D9DA7441B19FE28009DEFC447EB9A360BBC85E08CBBB0494FC1412665DA39B7C7
Key Value
FileName./usr/lib/frama-c/gui_parameters.cmx
FileSize13125
MD5400A34B261E873E2CD31C0412FAD917A
SHA-10077DBA6D14C50D3021279A7CCBC74CD0478AEA5
SHA-256D364CBA959822E290E395C8EA0C2B3A0DE4D152CEBAA365F3D4E35D6C4619655
SSDEEP192:kZF1OG232zvnzgaan5IcnLfxnjkmqrdnLqu8q54Pxj7GVfCkz/SE6+FE27LOF4P:kWmXOdcRmSu7KdDYQEt2
TLSHT193427411E71666939CC1A3FF19775E72503F98A47B84C9B0E09D0B1A6887C31F3AB31A
Key Value
FileName./usr/lib/frama-c/machdeps.o
FileSize8448
MD55720F9F1D7CD5ACEA9E39431AAB37727
SHA-100BD6413037445612AD72B1400EB3E1524D72DFB
SHA-256A40F4EC8FDB6A0AC93E75353B44756FB9BC3998BD6ABAA87DEEE4D63184F4786
SSDEEP96:bMPrVyVN5OTWH4MV52XV9ostFNMJTpJ2+C338l:br5QV9PHcpJ2+L
TLSHT16602DF296BCAEF38E89554330861475833B0F9466D98DF07390E3728DD231FF2E95AA4
Key Value
FileName./usr/lib/frama-c/widget.cmx
FileSize2273
MD5D8E29217BAB4CD5AC6697A0591D0D3D3
SHA-100F8BA39E8AC7C289F29F61B3D75F351D8AA8BA4
SHA-256665478EF5D6CC59ADD2F61CFC13F83E6592ECBF7FBFC1D11D587E75E156816F3
SSDEEP48:jR6tEi/ZWEAycwTNikFzGTaCODFWD5Gcazdd/kFLVp4kMAyIL6mEm1J4:j0H9AyXpFCTaCOxC5GcazddmJpeSL6Z
TLSHT1F941B821724A298273F6B5B3BDD6554B63739101CD54846D6EEFDB8042E0C5EE6D3207
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/Users.cmi
FileSize1581
MD5731A309F1662D2ED307397CC759CBB01
SHA-10129A633100060442E6D7232665552E460E57F95
SHA-25628D102B2EAF5812B9E68C7E7E57F23704AF6E1F534E8E66A8B797AB0E2E99093
SSDEEP48:oJ+8SQSxLk1K7sbqbVwDiAe9uz502CMA9:og8SxojqFAekz502e
TLSHT1F731B508765AA8A5F2B95387BD93498F43B0160AC3E4C563B4AD5EA1983293FC0D355E
Key Value
FileName./usr/lib/frama-c/plugins/gui/Scope.cmo
FileSize511506
MD5C93AEF42F11154F9AA85E2BAC22F925A
SHA-10170C2D2DC98695C80B502DAF46D207AD81055C2
SHA-256BD30A8DFAA27809B43A2B1125F8CB42E42DBC7C7B60C5DBE2B27BFB9A068E2FA
SSDEEP6144:QiyrseGph92U2eK/nqFxCEtFY3WKrmtTsZDcI39cDFEQ2kDU5CLrDzBgYeCLUpD:QiyrseG4nqFQpWwCkp39i2a/XLUpD
TLSHT1D7B4D74E76400651CC8A4BFED5DA81FF6B30563EA4D38DBB1A0D0BD96491B0C274E6EB
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