Result for F24F1F9AC1154E1A07F1A69BC704135C49ACED2D

Query result

Key	Value
FileSize	19506924
MD5	E91680BC46D35E19C04ADF00923F4B6C
PackageDescription	Platform 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.
PackageMaintainer	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20161101+silicon+dfsg-5+b1
SHA-1	F24F1F9AC1154E1A07F1A69BC704135C49ACED2D
SHA-256	CAB8140B372FE35C923ADB8E6958656AB15ED850193034C5848F894C346DC4F5
hashlookup:children-total	998
hashlookup:trust	50

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/logic_utils.cmi
FileSize	39377
MD5	71EA225405774BBE372D9F652C59A195
SHA-1	00EA2556EB592A839A5B4FAD120ADEF3BF210693
SHA-256	933D7D9AA277AE1DC2D782E4E55A858F80FA442DA896D9E7A1D49188BDF839B7
SSDEEP	768:Y5QOIO3ttVJesC6D2XTlJRcik7wDIMYO1z50uCh7Cn5:Y5QOf3ttusfUhJRct7wDIqp3CG5
TLSH	T14B03A24C68A9F4E0059AA45ED04A892BB791833FAC762D77811E91F03BE660CDB15FD3

Key	Value
FileName	./usr/lib/frama-c/cabs2cil.cmi
FileSize	6505
MD5	33B68FAAEC1FAE0A2716DD0757455B8C
SHA-1	0213EC8E737E06AAC57EC1FC10AF846080AF7BA2
SHA-256	D482A17866DF88BEED51D88C2CBC43C21212B008E30C3B201239B95D450E3F6B
SSDEEP	192:Jh/20T6CywXgf1nB8xs8kef8Z8V/u8T8ZdAOr2ZAZ+uBQzVLBh:fhyEg1GxVkhuRThuBQTh
TLSH	T1F0D1AA8D4004F2BF05DCB85DD45DC86B19A12BBE8ABB1DB7A32904F45E2840FC723A97

Key	Value
FileName	./usr/share/frama-c/libc/__fc_machdep.h
FileSize	8367
MD5	77E2D9713DBBC4AF5F2EFA69BA48BE8D
SHA-1	026B5ED10FD8210A6DA3AF570B830F6855588314
SHA-256	773EB4AA828BD47636084A4220D4A25B800294A1614893DA72936294760E1169
SSDEEP	96:bC9nDi90/b9CbKw4U9Ml5a9muVsKpuwUNuOo6VsK9wkbRFue6rgu:bC9nDi90/b9CbKwh9Mlk9VN0izgu
TLSH	T16402CE990CD8CAA424335066151E86F99209ECFB628024EAF01F6DBD5F5F4718BFC9DE

Key	Value
FileName	./usr/lib/frama-c/alpha.cmo
FileSize	21239
MD5	8402CE56B2AD62E27C32A741E1E00E9F
SHA-1	0341F746D3B60F80134E03A836D7262C9F919A4D
SHA-256	6854B425A54B548DEF232BCF685B62BC11C77B232C42EBDDDAEE4E609BC188C8
SSDEEP	384:0DB5oW02nWdNRd9s0yVKAeEGX0+LAVDvWqJ3sqTFne9uw1Y4eG543:0UqnWvRQAbV6WU3LFne9uwiEu
TLSH	T16292940EEB25EE72C56519FACCF5CA8A1720A97E6D537E6B4044031898C331ABF20F55

Key	Value
FileName	./usr/lib/frama-c/integer.cmi
FileSize	6218
MD5	E6FFD6CCEBCEA8B703E39AD81EB95FB3
SHA-1	03785273D8715D32B682569DDABCE39AF2B9401E
SHA-256	D0ED28D1678212A06713A52CBBD30250E47C22555FE541FA6086CA2179A7E2A9
SSDEEP	192:NgI+P69gfbDRv9x8o6HTQPE4RWA+zeW2egys1:eIp9gfvRvgHEPE4RWj6negys1
TLSH	T189D1B7EC9024F89C54DEBDBCC2ADE9870382927F80771D7B4327585697BE01EA72240B

Key	Value
FileName	./usr/share/frama-c/libc/netinet/in.h
FileSize	11609
MD5	53A20D3ED6F455F7DC0BDD2D89F253DB
SHA-1	03B00D85E2B377F9E3E05871DF0963D80D2EB487
SHA-256	3E8C00286D0C397E714BF4964AA8D643F2E9012BE2A2ACAB008D23D1FF3A155A
SSDEEP	192:bC9nDi90/b9CbKwh9Mlk91nSElNlbhSQfuLF0B702PPVIgIGGiba2UQ0s:qX3sl+p2T
TLSH	T14C32E9001DF5199A407259893709D9CEC149DE33A56A06FC38BCBE2D4F4E9A98EF41FE

Key	Value
FileName	./usr/share/frama-c/libc/sys/param.h
FileSize	1788
MD5	2133811EE100BF531FFCF55E9C738110
SHA-1	03CF5700DDE9CD3C8FE511DA8DF4412BCA90E647
SHA-256	CF8BCFEF17502B043CEDD32FE3B82F0026BF83FA83FED881337828735FB2A824
SSDEEP	48:bC9nXTi9xW/b9CJVyEqHw4U9Ml5a9ol4G:bC9nDi90/b9CbKw4U9Ml5a9olb
TLSH	T11831561515FCCF7B490000E52B08D1DAC25BAA8BA7590C59717DB3BF674EEE607E07A8

Key	Value
FileName	./usr/lib/frama-c/globals.cmi
FileSize	6228
MD5	787B449F47A493802F21EEF09D3F3208
SHA-1	03E763A9E873554BAA352B71D89FC75DE3066772
SHA-256	3C8C38D88CBD1FA68CB78156FEFC3C8DFA3171D98D0D533800D4AFCB1727AAC5
SSDEEP	192:sZG0jw/ugRYDMsLzgSN7TInyY1FsqrSdZYFLE1:s3w/ugRYQs3gig1OqrSdR1
TLSH	T183D1C3CC4424F9E8469DB9AEC59CE847151297BF8C7B2D3B472C14F066A911DE322ECB

Key	Value
FileName	./usr/lib/frama-c/ival.cmx
FileSize	13404
MD5	E762A1B3A3897DB7B5A948C3B622E63B
SHA-1	03F52284ECABF7A040AC3934C01DCAC2C8A7E3D0
SHA-256	8B3903D05ED348C40EF793D1BABCDFA8BB95CD074E87B89192503BA1533F9D87
SSDEEP	384:/ylEjoGlRxJI2JhOjzDbmYcYsaQ4FZarzURu4DIH0TZy:/yM1JQPFQrcuZqy
TLSH	T12E522B21C607945A828AD27E89EA45E0CF34DC067E6BEDF71CB94B4B75D3C00A31B54B

Key	Value
FileName	./usr/share/frama-c/libc/libintl.h
FileSize	1675
MD5	49CEBC4DB64C21751CA96C7806AF0E85
SHA-1	03FB546FBBDE44C47818F08F8324011B187CAA64
SHA-256	3C082BC3AC793602121514BC68BBDC9B80609609071A08E5EC66966993A04144
SSDEEP	24:bC9nXTi9z9WQ2i/09+RJVyEaOkHwvgU9Ml7Fa9CS:bC9nXTi9xW/b9CJVyEqHw4U9Ml5a9n
TLSH	T1D131551925FCCFBB094000D51B48D1DAC24BAA8B67685C59743DB3BE670EEE713E0798