Result for F3A7B90AD0150A8042EEE270C6B55C1F8CAE3E04

Query result

Key	Value
FileSize	57795296
MD5	C3BDCE822CF14F9CA42494B1AAA1A5BD
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	20200625+scandium-2+b4
SHA-1	F3A7B90AD0150A8042EEE270C6B55C1F8CAE3E04
SHA-256	5F74B4EC49E6F2A392023BD0FEF13EA2901DCE90456A434E382118947D01723E
hashlookup:children-total	1337
hashlookup:trust	50

Network graph view

Children (Total: 1337)

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

Key	Value
FileName	./usr/lib/frama-c/cabs.cmx
FileSize	1017
MD5	D48C5612DDA71C3FD010D16396ADA72B
SHA-1	0047B1247FD20DDC31D19F2DF731D6231BA29529
SHA-256	3BF1515713369CE55D7D168A1CA364E1AC6A36C2351C84730B4AE2DBED69C09D
SSDEEP	24:ZCuQHAN8T85SC3UoAl2pc+a+hBeFyUhXxLtPXqy:8bHL85M2TX6ht
TLSH	T109113208B3550C453776A6077E06D18F6732A285C8A9407486DC7C9400798AFE1E0B4D

Key	Value
FileName	./usr/lib/frama-c/fval.cmo
FileSize	38798
MD5	F7255E15D6B57530B942B11CF4772ECC
SHA-1	00AB9556CC4E0E4EFEFAD0F7D208B23D94E3D6FC
SHA-256	5C090F19439AE0500ED1F01C6266540EEC86D96D96117B6F07146DB96C1974B4
SSDEEP	384:8/WZu4zult2P4xRvdwIgqe8rb6YDOxrkP6/0816VKxB+xEiEtoLJsQKynKkbONGD:dBzwt2SOIg3EP6MTExCHjFK1kbONGttT
TLSH	T15403A3AEE29B6615CDD901BD9DEA02E342A80A7D80E54E33F00E43D8C051E5D3F55EDB

Key	Value
FileName	./usr/share/frama-c/libc/features.h
FileSize	4458
MD5	96D9382111402C830DA32502EC4766C4
SHA-1	0115A42AD0D72863D8591F18780D6426BA014BCF
SHA-256	811C486AFCD358F9AD69BD5387E1E091F1C1E89AC23784417E1D44474BEDA078
SSDEEP	96:bC9sDi90/b9CbKw4U9Ml5a9V5VBfBYnOMWhNZb3/REMWee:bC9sDi90/b9CbKwh9Mlk9RBfBYOMKPFS
TLSH	T18E91E0311AE9EF72091A1073A58DC5E6C01ADEBB524544E8F12EFD9E0B0F87422F918D

Key	Value
FileName	./usr/lib/frama-c/json_compilation_database.cmo
FileSize	54608
MD5	D5A806FE4AE20E3C1B7C10763A70FC2D
SHA-1	01600577FCE4DF6FBE22DE35305F34E3606A6FDF
SHA-256	4E4D83FF0F6C6D9BFB03A5951CCB48D28BA570FCDE390D3CD98AA33AA0E66D34
SSDEEP	768:pFqogFwdkbmURKjmvGhdbj4D1ciCllYhEmPKoJfet7+uWQq01wpTIICPvOm+bwLJ:/gFwqyIx5JiB3MhTAntLSMrDZ
TLSH	T1493373CEB73C6E44D9DE237F69E505EBC2A1B5284A86086B450493F49022B09FF6357F

Key	Value
FileName	./usr/share/frama-c/libc/__fc_define_timer_t.h
FileSize	1788
MD5	DF0F9F6FDBCC779E1B5110BBD29B829F
SHA-1	01ADC263E87DC6543E9880B383EF725543E80A61
SHA-256	F5CB8C2F188B8CFEEC6F472D1C53B6DBCC2B6FE30F756EAFF11FABB9F61F3F47
SSDEEP	48:bC9sXTi9xW/b9CJVyEqHw4U9Ml5a9Nbjvo:bC9sDi90/b9CbKw4U9Ml5a9hk
TLSH	T10A31561A06FC8F7B490004E52708D0DAC25B678B67595CAC303DB3BEA70DEE713A5798

Key	Value
FileName	./usr/share/frama-c/e-acsl/e_acsl_floating_point.h
FileSize	4238
MD5	DFA4391EE405E7F903CBF7D746E4700A
SHA-1	01AEE7A0CE9C80824916837346F0DBFF659DF9FD
SHA-256	C0F2EB222396B2486D2986D80664CE62C786B2EAFE33B3F351CCAB7BC4FACF68
SSDEEP	96:bo9VEDi90/b9CbKw4U9Ml5a9wqLiyhEAyf43lL5NNIOEDC:bo9VEDi90/b9CbKwh9Mlk90yh9y4LnEW
TLSH	T17991630D189A2F27460650E0718AD0C5C60B8DEB13955C1DB09D739D5F4ECB623B5FEE

Key	Value
FileName	./usr/lib/frama-c/fc_config.cmo
FileSize	24199
MD5	3944B0A395CFD0E512AEC72B6D533E0B
SHA-1	01BCA8C6D4ECB2611003BDED672165E7E0F9D318
SHA-256	7433FEAC4150774095CA7E079A13776B1FF325681B979A8C771C4C94632A5E0E
SSDEEP	384:xt3dxXbVEgBgb/Uc58DTNGozPVNFGeJJ7W6q1XWNlXQFqaQR77/xKTb:agWb/Ul8wdNFGej7WHWvXMq77dKP
TLSH	T1AAB2D70FDB16CE92C49515BFACC29231FEB06BE045C4D0A6B78676E8B0F465D7B92348

Key	Value
FileName	./usr/lib/frama-c/wtext.cmi
FileSize	7638
MD5	4E59A51DAD1CDC9442AB074E87130CD5
SHA-1	01F3FD9517DC4ED7A55CE539207AFCDF45767CEF
SHA-256	95482160F595CE3B60270D54359523B6833166C209D7B4C1F2533845AAF119C2
SSDEEP	96:1hoj0HatV8c8l57Qfem1cEv/MqwlLuOxuT0CpOLGokn/lHBcLBiL55oau2Bp7yTY:QIHsiZXCexO/alLup9DdHBcKgkpkY
TLSH	T14BF1EB7EB29E2A11ECCF11FE91B542BB562022FFC1E59EBBC5374AD1591240C43A90D7

Key	Value
FileName	./usr/lib/frama-c/json_compilation_database.cmx
FileSize	7126
MD5	581D86AA2481D3DFA9C6C46BF5947748
SHA-1	025628F748AD57634272582C4A28BC2A0DC725FA
SHA-256	6C5ACE2791731153F162105FCDB4985D1D0F29528C758A564041DE99EDC1FDEC
SSDEEP	192:oNXHU6Cg+V10ioA4clFq9dfyOX1pglBqjqeaqxqN3qFxqJ4q+q79KPBKs+vXomUK:odHBOzOA4cPq9gW1pglBqjqeaqxqN3qA
TLSH	T11FE17480BB4FEAA1FA9BB3B73DCD26A1E5B1E0544BE11931001C9B795172F00667772A

Key	Value
FileName	./usr/lib/frama-c/kernel.o
FileSize	113140
MD5	C54A25B2C43DF08C3A033C53B376939B
SHA-1	02CFF6674CE04EB73C91591D5490EB0B3DF948F3
SHA-256	04091937E6DA0BA7F5387E244154E9AF5D12B69A46300C96D6773D77E1BDE3A4
SSDEEP	3072:obarKgdyYVmHX6rgeYwFdwYLIfPsj8bYV5nmrTd5MvVSrcUfXdkmNtSelZ9rPP6T:DiwcY9MFSIiALM6
TLSH	T187B3620673C8CF7EF55B497008598F23F178C9097B71A72B4A14B23A3A87AD0F792599