Result for 9826F9FA7F010AECD061980FC9076A69AB479241

Search result
Graph view
Children (998)

Query result

Key Value
FileSize20799232
MD5F87EE2028631E8081E435417E24DB6A6
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-19826F9FA7F010AECD061980FC9076A69AB479241
SHA-256E28C8A5A49639CB799AFDF80E3D69D26C13F8F2F7F3B71717270F1B77DEA2FAB
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/rgmap.cmo
FileSize18216
MD5132505F8C755B5CA554A01A96CE48BD2
SHA-1007E4E34B4C0A824FDCA2B629F145246D3900FDC
SHA-2564D69D6C5DF6B811BC231681A4F55217573FD502821060EA6F986A5B9F4AE3ABC
SSDEEP192:+elYDmRN5a9QykaKEvd8MuK5xSWZGe5przFPDus/rpVGq7ViYy+3+krj4/r8vyGp:XVY973DxrgeLRKGVGq72Y+E4DzLP0yZ2
TLSHT11682711CAEA8F431CDEA5ABFEAD4CE871326593F60036D370059275561D320E3B692E7
Key Value
FileName./usr/lib/frama-c/int_Base.cmo
FileSize10612
MD519C86578FF92C5CCB3370129311268B4
SHA-1009A9399A91F7A8E629CC3C0A953843FFC1009D3
SHA-25635E4A0D0512EAFAFB9A765A6CBC36B7822FFA98A9A137F7371F10CC64B18FC8E
SSDEEP192:b1q+VYF6un883B4zlMAn87fOheywisVhcezQAZl0LiBw6:bzuL4iAnKETsVhcezQAPB3
TLSHT1F822B56EA3B1E932D8D014BDD4C686564B209B7F0B4B9E3B00090B61D4E624F7B0B7DB
Key Value
FileName./usr/lib/frama-c/datatype.cmx
FileSize15151
MD5A2A5FB1732564DB200658F59FEA5F087
SHA-100D2C61C2A9BD3A04E7C252C7000D33D1FFE2A38
SHA-25628FCC82AB16740B3CF9E48260D1B00971A1F5CCCAE7167A88F805B7AE9FA6D99
SSDEEP192:enyLi+2Jnz1d3Qv6+42JFteo/k5I/0o6kLzfuRj:O+QLgv6+4+k5w0o6kPfuB
TLSHT17E62F601FB2A12E18C8AE7BD36C6D580C904EDCE1F91E87444A846B6D6ED57123FE35E
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/rmtmps.o
FileSize64564
MD504195B3A05C19E4D980AFD9C803BC883
SHA-101CBFCABCF1B2FEDA1616FBADB35944B1557BF03
SHA-256AB9CD7C494849329AB98CEC28BA250C7A1885A177A957001593A563DE3F9874B
SSDEEP768:cF+cv5rFvP1mt0bUpodgqY1i0u40oMAabGlwlRpLSqpSyJDbYhdLtqnJjqwv:bgjX1mtyoMAaKcSZh4
TLSHT14F539321D5CD9FAFC4DC83B1A49B1D497534E1487B82BB97E08A31F0A4CA3593FB9285
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/lib/frama-c/state.o
FileSize13404
MD5FAD1511B284933AE5B0111BB962318EA
SHA-1021502568A99313009EEE5C03440E19E8145E0C2
SHA-25645162E855530CB3976C46A1941F32156B5C0D6D2C5E50F3E69BED25DD55BCD43
SSDEEP192:an3Xg97lW4RAuaijN8tzGGJy9XwQb9l0LZqPfZjMMWK6Wd/Eg:ag97lWMAjijN8tzGGJydzPfBMovd9
TLSHT15D520E09EECCCF1FECA5E5B0028F0AD07AE4C9057BAAAF97550DB419AC463485F5E681
Key Value
FileName./usr/lib/frama-c/visitor.cmo
FileSize1084368
MD5903B6CA25FA8EE9543AA5C0B78E9D6F6
SHA-1022336965EEF3EB1BB9FB065F7517E55E79E7034
SHA-2563E4E0563EC6F7493F9B0EDAA1EA98C0F9F72B19F08ABBA920FB95D0FCBE8C878
SSDEEP12288:TpdozQw8DE9XcOp86oIOst5za5ivWnkKXXVENHQbS6FZbYtdzLy0cf3Ceyj9yyeQ:TpdxQ9XKs3z2xMWkJdA8KFm
TLSHT18535FC0C14A6B0B0D456127DE5B0CE67E220E53DABCB3EFF120E669031CE99D9B45AD7
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/globals.cmx
FileSize11977
MD5297D6E7378355FFFC13AB5AC1C06B522
SHA-102AC4BC6EA72A7B23AB60A5B190257D5AC7D1C2A
SHA-256F00547A879A8939A3FD97C5E4132B34037BA613F526325DB6F4A20BA8FD64B01
SSDEEP192:OLNNLilQnoK+0KhxBCcAW2pVZjoOtJKkFu6LJfbKGuJ5N2IwADSQYiy:9lQp+732p1tJVLJfbeT2IwfX
TLSHT1E4328664EB5DC413C88DF2FEE42E0B91CC91D4511ABCCE71952C12265BE9A0993FF29E





metalookup is a service from miwakeru.com