Result for BDE72914AB1AD1D8B23F73C26574982100B7B51F

Query result

Key	Value
FileSize	22261176
MD5	044911A33DC133D4A21B17D0C13F8200
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	20171101+sulfur+dfsg-2+b1
SHA-1	BDE72914AB1AD1D8B23F73C26574982100B7B51F
SHA-256	0D794E213CAFFB5F6C031636D1CDF380304A312A8E323FAE95EBF2C2C13963DB
hashlookup:children-total	1045
hashlookup:trust	50

Network graph view

Children (Total: 1045)

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

Key	Value
FileName	./usr/lib/frama-c/cil.cmo
FileSize	1882376
MD5	D8E67A3A3BE5448730F36177CE1C2EFF
SHA-1	004DD3DC8FE10464039B4F8C3248E3E52CF13075
SHA-256	C7733EC10CEEF7FBB8CCF781C2F3DAE7E17D61DBFAEECF010ED5B57DAF590BED
SSDEEP	24576:a7g00PYB4YMWeg+hqYnSIOTTX/asMBva9arg4xDQJlp0W:at4YMRYUJOT90FtW
TLSH	T1E695704D644910B2C875077ED8E7B96BD3A4B63C7B1B2EF7005813A485DE22CAB4DB4B

Key	Value
FileName	./usr/share/frama-c/libc/math.h
FileSize	13859
MD5	B370AEA2044AF49CA608319DD408F37D
SHA-1	006D224DA87C95898B0BC3EEA8F6486FF1F4DF25
SHA-256	3B8A5E05BBEC2EA2648AE17A6F7F37FFD0D2AB0D2B94B29539C04514928280F1
SSDEEP	192:bC9uDi90/b9CbKwh9Mlk9TFxAkdO8Fs2VzAnRuB21:rX3k5vB21
TLSH	T1D252288C14B5BE43AEABB0D90C99E2DAD100D5D23789E85E319FE7170B8B45A7520DF3

Key	Value
FileName	./usr/lib/frama-c/wto.cmx
FileSize	652
MD5	66AAB17D1A15E09C6BA644EEF919E358
SHA-1	01165E2FAE3560549301A06097F57C3090A8D112
SHA-256	5060A1D82FF4A703BD6C9849FCFF75DABD150EF434AF58960799704B1FEFDAC8
SSDEEP	12:eMjtcov4bzHVMSOm/h6SLfuXWkU2GWa6f4G3wwQxtHQpj4WJnG:ecv4bZrHRW9Bxf4G3wwQx1Q/G
TLSH	T191F023A2475DE70881D5F0703F671E1385859C623C7F10A3C3A40A56B89AEC53957349

Key	Value
FileName	./usr/lib/frama-c/plugins/top/Studia.cmo
FileSize	186243
MD5	7845E4BF7065AFB9CDCD87B5E84E70C9
SHA-1	01A7C9F18A27A4D21354061568DD1DBEDA1B7305
SHA-256	6072EFDE7E5C993E06916B58205FB7D29F30C1FDA45DE7E3D72FB19F01214CE1
SSDEEP	3072:1LaV8ItwX2wz/EyfNCUxXVDDWhKj+mLlnStTjuR2DvQmHbP+Iu3kaTQlGDUU18VB:paV8Itmfnf4UxX5DW06mBGTjuR2DvQmR
TLSH	T1C504944D4499F4F1C18A1A7CE4E2DA77E690873F8C779C37401842B9A1AD1CE871EB9B

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/boot.o
FileSize	7496
MD5	B1475DF18582051943E03DD673104B67
SHA-1	01C4EAA371CCB076D105D7170CC89822B11C5A82
SHA-256	4C84DC44F7A42B11C5D2900CD613024A684EEB486931C01CE6043D3C4343E1AC
SSDEEP	96:l4oiOpbWjk/kMG3/dXY/ciHX5KoYFkoCN0bs+VTjIkhJmUIqcvMeI+2u9:/iOBWjkcxRYEIUmh6skTmUCvPt
TLSH	T177F1446653CECC6FC415027A80D70705737AE8427BC2EB5F958A7A396C4B389BDA5F01

Key	Value
FileName	./usr/lib/frama-c/oneret.cmx
FileSize	1947
MD5	BC7020C468CF1C47F4F55BC7787B1AE7
SHA-1	02BF2AE11775ECF5C72B29A4F866FD71E7A62840
SHA-256	15B2CAD44619C5E558092A86CB2EE87DEBB3B5944CDF41D4C1DAD5E61A30AF47
SSDEEP	48:cr1Glapqvb7+/sfEoUGAwvgvERDqBTFgGNx:cISObksMTGAwvgvERehFt/
TLSH	T11A41E81C170CF9B0B7EFF0A3159B0F23E8809479153EC5BAC218169A55FDE45A27921F

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/lib/frama-c/descr.cmx
FileSize	2596
MD5	16594AD28BC706E5B940D0F14559E0F5
SHA-1	02FBEA69216B2F97B9130508EAECC9D81B33B3CF
SHA-256	618FAAECDA78916F616153D0E9FF495BBBE677556E7AF972B997BC38C2A4830A
SSDEEP	48:eoW6Vb5ujfdfBxX+TBTv1KYpzb1yn33oC0GwVDp4ONM7M+auWILypKoa90/l25KP:eUb5ujlfnapvM2zRy33T0GoDp4ONWM++
TLSH	T195510FB2BF5BD06B46D4E3771D9449188D04CF0B2E2C6933917C075B6C9DA817A3390E

Key	Value
FileName	./usr/lib/frama-c/integer.cmo
FileSize	33188
MD5	AE04C14F9F0E76762403265D6896461D
SHA-1	0322E63FC254319210ED6F8FC081AFA25ABB8FCE
SHA-256	84EEE05C5AF579068389323C63550AA81EECABC421223DAFF84544467CF5AB41
SSDEEP	384:jtrUEp9xAXS3rAgtkObaUQATpvloS9i4ySxranp6lPN6wy1B8S1WEZ3Jt1kKsueB:nAcdhVvlHiH6lwwyz8e31kZuex0xsl
TLSH	T1C5E2820DFA28F5B1C9990CBDDCFACE9B12014C7F7113AD672589472D9890B1E6B49B0B