Result for 124D339B51D96BA0D0DBE50A27AD5049B138C5AC

Query result

Key	Value
FileSize	13750480
MD5	E654E31A73F36748857ED18751B400D4
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	20170501+phosphorus+dfsg-2+b2
SHA-1	124D339B51D96BA0D0DBE50A27AD5049B138C5AC
SHA-256	B93FB44E86BEA681B90A10821F144B173FFF9B6F6880EFD1A8A290C9814FD4BF
hashlookup:children-total	669
hashlookup:trust	50

Network graph view

Children (Total: 669)

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

Key	Value
FileName	./usr/lib/frama-c/abstract_interp.cmo
FileSize	277191
MD5	CD31865C6278DB8C04739D11FC2A516F
SHA-1	00035AD0E0F92A0F030E949006CA5B9DE492EC9C
SHA-256	E3557D4EAB950DDA35B967C3BA326E9DDC0EB8E75665639AC22A8F0CCC31DA82
SSDEEP	3072:xclEPpbMMhUMWmwzV5npXV/BM4C7IiuA4W8Fb6tKGv9UzvGgdiN/Xsl6NuKuv:xclEPpiMbwzV53pM4C7RhNstzzig6NuJ
TLSH	T16E445D4DAA24E1B1C5885CBDD9F79AC7D2048A3FA8F34DF3104C0351A4EE68E5B1E667

Key	Value
FileName	./usr/lib/frama-c/pdgMarks.cmi
FileSize	6786
MD5	5A0C721106507724874B872796EAE641
SHA-1	00D3186A09EC73D2B5BB4B91AC01BB1B7A168B04
SHA-256	48A1F7641B73985677B471C70BB351674E669E3652F7BD050DE1EE5426C909A0
SSDEEP	192:IHFdAwqoxRJT6/9fnIt2SHX/cZhfjyKX/V1OtM1RAWIB:Fwq6RJT61fs+hnoM1xI
TLSH	T1AAE1A4CD9839A066268EA47DC03FFC7B5418463E467B8D3352481AD9C99C46FC34B29F

Key	Value
FileName	./usr/share/frama-c/libc/sys/stat.h
FileSize	2096
MD5	01F6F828EBCC09AA977483E8156F1153
SHA-1	012D3FB0FE5031D6B34D34830AA71449B006BDB4
SHA-256	41C6D5F4E1678E05985557E4C751F21A9E0F007A3C70543A6FE464C2060A13A4
SSDEEP	48:bC9z/yXTi9xW/b9CJVyEqHw4U9Ml5a9YuHcVTs:bC9uDi90/b9CbKw4U9Ml5a9YuH2Y
TLSH	T12F41980410B8EF7B899082D62349C0F9C027E5977A64AC94316EB37F574FDD222A8758

Key	Value
FileName	./usr/share/frama-c/wp/why3/Vset.v
FileSize	5182
MD5	F91819316715999F63FB12A38E7DC12B
SHA-1	01AEAE830AD465F071C54A66F32454B5A3F69C8B
SHA-256	DDBFB6AC5C2BBC1F44E80B4F512043239F31306285FFBBABCF84154932437193
SSDEEP	96:elYkZ9sF+8rOaHCizrgXrhJyvxekZLasTS8t/Hr86yGpM:Vkzin1i4rgXrhJNkoWyGpM
TLSH	T1CDB1B0052CBB1F852E0B57FE4DD248C2A11A895160B8B00CF78F765D4BAE3A17EBB580

Key	Value
FileName	./usr/lib/frama-c/plugins/top/Print_api.cmo
FileSize	82356
MD5	C77089B260802D7297D62CD72DAC12D4
SHA-1	0274875C0FC9653EE195C8D0B407E2E982FEB579
SHA-256	3F4C9D802123BEC0700F76B2453B0986652AFFB858132C7DF2CC2BA06041C56C
SSDEEP	1536:ln5hoaHeQuQ6M9PJ2f76AcDbnGqdLkWqn2ptReOmTKWu/zH7jGTDcfm:LhoaHEM9PJW5qVDfm
TLSH	T1D28373CB60926821C44504BDEAF7CDD5D1424CAF18F34F9B30643A1A4AF7A9DDB28B67

Key	Value
FileName	./usr/share/frama-c/wp/why3/Cfloat.v
FileSize	5698
MD5	7A95B01D44D555F79FD5383ADFE9352B
SHA-1	02FAB039F7B2946FDF41A791C64BCFFF9DBCA084
SHA-256	B6BD1539A2706FE0D0A8ECFB8D8D578F1A047AC5DEFE6A50C2E68425A7CEFE55
SSDEEP	96:elYkZ9sF+8SG/MvngFJsDYQiLCv5JPr7dZkcSK:VkziOG/0ngFCcf+5V7cK
TLSH	T1CEC1BE0C09A25E6F14CF6FF95ED7A1CAA425CAD12A293805F25DFB5C0F9E2359B630C4

Key	Value
FileName	./usr/share/frama-c/libc/stddef.h
FileSize	2022
MD5	72CE2FB10E8A5A7EC37BFF0F0038A135
SHA-1	03255E7A571A9C04C487EA25A0CC90FEA78778A8
SHA-256	C62CD5450A71026EFB7B7C5FDE35009410AEA1DD106ACC8DCA57FB6E26A6C523
SSDEEP	48:bC9z/yXTi9xW/b9CJVyEqHw4U9Ml5a90rk:bC9uDi90/b9CbKw4U9Ml5a9z
TLSH	T11041771989BC9F37890100E22749C1D6C21BA657634848A8313DB7BE670EDE726D7798

Key	Value
FileName	./usr/lib/frama-c/plugins/top/Nonterm.cmo
FileSize	197089
MD5	C7368221DA78F0CD5827EABFB7A740A5
SHA-1	03B2B11BF71E81AD3E43DD1E51FCC49FDBF9E69E
SHA-256	FC4736A2F3408E6B9EF61456DE50FAAFE84806364EA186AC6E8FE875AE1D719A
SSDEEP	6144:bWtfP/kdxnmIfRVfJt5dPxMigd3Qb07Pu:bWtfPSnmIfHJTdPlg5Q2u
TLSH	T15514D65C11C609F1C1A6077C89A68A37F351977CBDA3AFB7680C86E894CE51D9708F8B

Key	Value
FileName	./usr/lib/frama-c/lattice_type.cmi
FileSize	34656
MD5	E581B251153C64F31029901FF68D784D
SHA-1	03CFFC3841AEECF82FE69ABAB3819C3A3722ED74
SHA-256	2DABF3C0C5E3347460837D41F11412A5ACBC7AF4BCED36AD8C5D24F35C3C8054
SSDEEP	768:HOb81EcBzn0+SdJ7oAt4WkZxRN+5f25x6H:HOb8hBAbdloASfu25xo
TLSH	T1AFF2884DE864F4E406CDD92EC40B64CBA6C80B7F64334D73955C82E1A9EEA0F8B1E657

Key	Value
FileName	./usr/lib/frama-c/statuses_by_call.cmi
FileSize	2311
MD5	4B3E1C5F8E019CB7EDB8F7E3CAA9AD81
SHA-1	0401B11AF0C00E4B2EE0AB6CE6EB2A709AB83B1E
SHA-256	32C4D6CF2E79AEEE299343E3A17B9985AE0BF9A87559088E863AB8F134304CFA
SSDEEP	48:i42bNjgBmhIC23l01vF0fl7i2GGmn1bOyCtfEoUGAKgZZYO:PUNjg0IC23atufl7iaWbNkMTGAKgIO
TLSH	T1B741767E6608A975A1DFF16A00879517AC14A67C4A7B8C73121C46F0DC5905DF31B88F