Result for 8DD9B6BBAFD96F93FF7D0F1723CA43F6FDA897BE

Search result
Graph view
Children (1337)

Query result

Key Value
FileSize57801212
MD5F73146AC9C75992DE3A144DCD67A5233
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-18DD9B6BBAFD96F93FF7D0F1723CA43F6FDA897BE
SHA-25665191656780F41143C65DFCC56B45EA2FA173D2AFB6FD94E88DBE749EA2DBAC0
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/source_viewer.cmx
FileSize2882
MD5EB59880499A038F010106F97B0A3CCCC
SHA-1002A72F82240DE6E72797E7AB998EFBF3ED039CD
SHA-2564F343C4070E97CDE36235D52248E7AD3B8ECD57D3F424EE7E3165487D0922975
SSDEEP48:GU2Oko85MNfOejT9UOX72nKI6ubaA4C9e2xTpNVq9SUK:IdXMP7X7BI6e93TpN091K
TLSHT16151C61A3A817C4E76F6E3133EA0415AD375E247C2E8897981ADB69004BBC29E1D074D
Key Value
FileName./usr/lib/frama-c/property.cmx
FileSize12102
MD5B7D644FE69C3A40DD76D5B8E1DB31FAA
SHA-100B8C4AE57906E65D0899ECC4D04A359572EEDF6
SHA-256BCE452FD153C26398950A171B1D90272E79F5422DB25DE88D987C946919B41FC
SSDEEP192:qFXf10Hol65pttC9ZuQB9/LlA/FpXeSnr10ioA4clFq9dfyOX1pg0qXd:IuHDFtCHuQBpkpXeSnBOA4cPq9gW1pgL
TLSHT11E424150EF4EED62B7C2D1BF2D893460D99DD859DB70D5B333BE432A66E0601205632B
Key Value
FileName./usr/lib64/frama-c/machdeps.cmi
FileSize1122
MD535AE1ED5449A355B88526E08257433D4
SHA-100FC424D65C2709ED23E7FA362B1D3D6C54BE00D
SHA-25680D8FD50A91364A2671BF1910C4352D037F0548BF7EEDFAE82B5ECC6A64EF171
SSDEEP12:aDhCDjfOIMWyhhKPXHVcYqn9p9K91lNpKElRJ/NgHSQz0f7ZnW91qJ78J6hQlB0s:aDKMtHGHq/61l7/+HS5A9c+hoHVLtPv8
TLSHT1832120DC6F7D4812F9A7732AAFD346EF5A7092AA43B1053AA81D56B0011056DD1C4A3F
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/asm_contracts.cmo
FileSize120312
MD51A346919150904619C69BAED19F7F3BC
SHA-101265FD2DD287294FDDD1997179F8A61BC521EC3
SHA-256C8898681AEB6D86E0BC4D0F35AB323FCFF72FD2A8185844A57F18B1163C0DC16
SSDEEP1536:4b51S1gRrrlVgqDfkAx5MUlvq9BksjzHyamVtczivA3Y7OsSR2tr3Bynn6afM:Z1GlVgqD8alC9DHNmV9v37OTsqn6D
TLSHT13FC3515F72A94FE6CD8B02BE2AD6A1FF51A0623F46E40DF3070223D5558278D2B5A4C7
Key Value
FileName./usr/lib64/frama-c/parameter_sig.cmi
FileSize151414
MD5DF7DC97D72EF61C1994D9E3C12CE4B93
SHA-1013687936AE2B72D2235B547AE1C1755553C4390
SHA-256E6CE5476C229C1EF341127E047F0261834549471BBB8A23C8E581C49A1664EF7
SSDEEP3072:W7eF/mLOllp5vVCJU1/jNwfRmU8wD6Rdwm:W8/mYFvKUtNwJmAmp
TLSHT108E36D6C28BF0745EDE50E9C8296B23B8A54173ED2E24CFBC81617F5920910D679F1EB
Key Value
FileName./usr/lib/frama-c/dataflows.cmo
FileSize84867
MD51BFFCD508C4298B4E3C6EEB7116354B1
SHA-101369453B8B59806B7ABB84BC60317BE0855C6F4
SHA-256B74B0241A7B02CD18797320D248CE7340FD8819924DF9F410A82B598E1632480
SSDEEP1536:XRmRqGce/KjCP6VeM8E/J1XqzFF9tSWn7F3t0ClbMAW4o8SZKYJPN32IrE5t:BWqGV/PqeM8g2zkgWKt
TLSHT12383B62FDE654023CDD905BA7EE6C6178AE09F1A24D70E67A42F43E4C1D1B0E7F11896
Key Value
FileName./usr/lib/frama-c/history.cmx
FileSize6485
MD58BD7762E88A8DF336BF4EC278EDA8E8A
SHA-1013BC3005ECC51333695C9FA40022163B68F060D
SHA-25685694B99AF53280E3B8F9B6165CA5EE6A025C6F3B7FF89AFC39CB01594D43D6A
SSDEEP96:edXMP7X7G3b68gZjTpNGfjE3lvJddGBlYuKGWAjkRVD+1Nv+Vk2Lye:vXy3b68eefjoBZGHYuKQkRVMNikoye
TLSHT1D7D1E827F349AC21FAE3E2B72CA56706E6B6D1058EA5D73500CC367C04F2512CB9A357
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