Result for 351CAC76F1474493D9E3746C401C0331E9D521E5

Search result
Graph view
Children (998)

Query result

Key Value
FileSize19988976
MD54D5445B2B4E1CBDCE65BAD1E64C5C04D
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
PackageVersion20161101+silicon+dfsg-5+b1
SHA-1351CAC76F1474493D9E3746C401C0331E9D521E5
SHA-25658E3BF2DC608E8A4B034894A01AA874FF9A01475CDBD74751D24F9D297206FAB
hashlookup:children-total998
hashlookup:trust50

Network graph view

Children (Total: 998)

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

Key Value
FileName./usr/lib/frama-c/dominators.o
FileSize32280
MD536012D24BBD05B7BB5A9E6B5CD0ED15F
SHA-100220E1C7E71A595544312A325C42C605C4E0C26
SHA-256EC96778576CC10D0284A01B828D80CE621ACCA03FBD820A0B753AE98F381FC91
SSDEEP768:EBjog4TXRZFJRCK81PE9r1LC5eiq+IYF+sf:EB0geXRZFTCV1PY5Geid
TLSHT1C6E21217B58B8E3FD6A8963446B63620B139FC58FF527B036698731E1F32E844E35524
Key Value
FileName./usr/lib/frama-c/cabs_debug.cmo
FileSize86423
MD555952930884E07AF9BB5A4410211DD09
SHA-100715919A181AE73860A9E2D87C9790AD7FFB298
SHA-256E607CB72BB4CC806FCD4807C7B99EF881E5C17D807A26172EF7D57189EC7782F
SSDEEP1536:WvmuTwkPq6jDoT9XhzPLCjBE1Nsqkp2cabx6ElwJBgagsEBXW:gjk9XBmjBEIqk1k5lEBrgsEBXW
TLSHT1CC83A40FD758E874C56458FFECF5CA9643055A6AA823FB27001A563DA8C33367F23A06
Key Value
FileName./usr/lib/frama-c/value_types.cmo
FileSize41476
MD50A6521890049CE03A508B50F7005D01C
SHA-100C4102E74BEB4A3FEB370DF57C0A1F410701D17
SHA-256ADBD13558D6A0D8EB4D3631818EF56EB024D044C367091814FFC4A3993AA3B24
SSDEEP768:Ivz7u5itc50gPJ/1Fx4592aHBBb7oZMuOAUJFUXNLZE8djoL7mlG5l:Ivnu5itc5xPS/7oZMGUJqdLZdamlk
TLSHT10E13304E47BAF2D0C0DC9D7CE0578463AA129B3F54FB1D3B0428A4A1676F92E535229F
Key Value
FileName./usr/lib/frama-c/logic_utils.cmi
FileSize39377
MD571EA225405774BBE372D9F652C59A195
SHA-100EA2556EB592A839A5B4FAD120ADEF3BF210693
SHA-256933D7D9AA277AE1DC2D782E4E55A858F80FA442DA896D9E7A1D49188BDF839B7
SSDEEP768:Y5QOIO3ttVJesC6D2XTlJRcik7wDIMYO1z50uCh7Cn5:Y5QOf3ttusfUhJRct7wDIqp3CG5
TLSHT14B03A24C68A9F4E0059AA45ED04A892BB791833FAC762D77811E91F03BE660CDB15FD3
Key Value
FileName./usr/lib/frama-c/map_Lattice.o
FileSize68960
MD55C0CECB2B40C8AF740C96B1CE4C054C1
SHA-10181519EEA20578D0B9F0E0A3CD310776DE12AD9
SHA-256959D0C4BB91BFB5CAD46005644525CF15A718E55615D3EFF00866982E44C7CEF
SSDEEP768:Odu1WK5qTrTnErhGa2JNqWtku1z2w3+m3icqjhUCwU:Os1WK5YrTnErhV2JNqWtku1zPicqjhz
TLSHT1F263FF0BBD876E3EC165AB3885F62670F635FC555E223B235211B21D0F37E9A4EA8314
Key Value
FileName./usr/lib/frama-c/frontc.cmx
FileSize2556
MD53B175D7137A51332E4D6189B7F245E73
SHA-102023D5504597C1D7548F233E01C8291924A6445
SHA-256D8B5BB5386A8B00EA17F625FA1C0A06014282C16E275AD0EFB615AFFD1142532
SSDEEP48:Kwppjq/kx7SnjOWY0LPGFykaVTTTugt+eII6CRj+:KwppDx7SnjVY0LgalTTubeI9CRj+
TLSHT115513A200305E437D98FF42B0C4984DDED03D5C677B2C87625B95862EDEAD01AB23B78
Key Value
FileName./usr/lib/frama-c/cabs2cil.cmi
FileSize6505
MD533B68FAAEC1FAE0A2716DD0757455B8C
SHA-10213EC8E737E06AAC57EC1FC10AF846080AF7BA2
SHA-256D482A17866DF88BEED51D88C2CBC43C21212B008E30C3B201239B95D450E3F6B
SSDEEP192:Jh/20T6CywXgf1nB8xs8kef8Z8V/u8T8ZdAOr2ZAZ+uBQzVLBh:fhyEg1GxVkhuRThuBQTh
TLSHT1F0D1AA8D4004F2BF05DCB85DD45DC86B19A12BBE8ABB1DB7A32904F45E2840FC723A97
Key Value
FileName./usr/share/frama-c/libc/__fc_machdep.h
FileSize8367
MD577E2D9713DBBC4AF5F2EFA69BA48BE8D
SHA-1026B5ED10FD8210A6DA3AF570B830F6855588314
SHA-256773EB4AA828BD47636084A4220D4A25B800294A1614893DA72936294760E1169
SSDEEP96:bC9nDi90/b9CbKw4U9Ml5a9muVsKpuwUNuOo6VsK9wkbRFue6rgu:bC9nDi90/b9CbKwh9Mlk9VN0izgu
TLSHT16402CE990CD8CAA424335066151E86F99209ECFB628024EAF01F6DBD5F5F4718BFC9DE
Key Value
FileName./usr/lib/frama-c/offsetmap.cmo
FileSize646128
MD5F7856B509F74E58B678CBB3773D0876F
SHA-10271A828025E28C8F6DF4C13A58951E4FFEF5FD4
SHA-256E028808A7B355FDAADB335ECCB662B51414BEAF3163837596DA5B15D175DC1E0
SSDEEP12288:ARhKxgPV32/17Rzz78ibRDiGdmL+SJlKJvqTbJDXB86cnRW3ksYq:E2/VRzzY21iGYOJiTbJD7iRFsYq
TLSHT11DD42B4CAA188572C4D84ABDD8F68E8BD210497CA7D76EFF005D166494CEB0D7F08B9B
Key Value
FileName./usr/lib/frama-c/printer.cmo
FileSize197714
MD5D8E8374F28E4510D3BB0E11D7B41D6E6
SHA-1029E54881F9CF3B7C0C5294F1B98ADC95C3DE0BE
SHA-256E429FC68A3F13B2D870B27658E4D3E72E8C4C66E590EED3C47ABC4B0192ED47B
SSDEEP3072:eWUA9q1IyE/asidBjfkMDyeeQkZlZz0otq7gJz2L6c9RX1:tH9q1In/aXDfTDyeeQkZl50dgJz2+8l
TLSHT1C414F75DA5A0A4F8D416057D89F48A63EB1093BE8D9B2DB3001D06F087CE9DEE749BC7





metalookup is a service from miwakeru.com