Result for 271ADBE4D48C0310374B5FC91158447C7B36E155

Query result

Key	Value
FileSize	52331340
MD5	235C754D89E2ABB2214A79341488EFB9
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	frama-c-base
PackageSection	devel
PackageVersion	20200625+scandium-2build1
SHA-1	271ADBE4D48C0310374B5FC91158447C7B36E155
SHA-256	4D7EDAF66A10A643EC56EF3725911C71CA72A59FB487430EEB7CAFE3563E8EE9
hashlookup:children-total	1335
hashlookup:trust	50

Network graph view

Children (Total: 1335)

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

Key	Value
FileName	./usr/lib/frama-c/plugins/gui/Qed.cmo
FileSize	2515192
MD5	C986E0AAEA75D0CBC6B6CF7E37FC30BF
SHA-1	003217822464FA7B3853D07735DF2A393632A772
SHA-256	0EC75B61A3D016194660571B1E3FE0540D49AED2023CCECD564EB03B9596C097
SSDEEP	24576:QSIg7uS/SsUJwK4SZlZmVbpm5Rfg7RRvyxomZclNHDYHFBEitFq5KuJJF4sLvd5E:qWjfI5Rf8BlES4+E
TLSH	T18CC5D40E7A4607E1DD9A07BEE9D542EF1230097DA2D78DFBC14A07C5968270C2B997CB

Key	Value
FileName	./usr/lib/frama-c/machdeps.o
FileSize	8448
MD5	5720F9F1D7CD5ACEA9E39431AAB37727
SHA-1	00BD6413037445612AD72B1400EB3E1524D72DFB
SHA-256	A40F4EC8FDB6A0AC93E75353B44756FB9BC3998BD6ABAA87DEEE4D63184F4786
SSDEEP	96:bMPrVyVN5OTWH4MV52XV9ostFNMJTpJ2+C338l:br5QV9PHcpJ2+L
TLSH	T16602DF296BCAEF38E89554330861475833B0F9466D98DF07390E3728DD231FF2E95AA4

Key	Value
FileName	./usr/lib/frama-c/book_manager.cmo
FileSize	34866
MD5	4247E52DEA2C860E9EB3117DD3038D9C
SHA-1	00CBDB3B9A7FD218BD049D4CF70CB6C7195CC1E1
SHA-256	117A88745C13AD8F1F9F89721434155BA2953B0D70C0D9FC622836CF2C98A57C
SSDEEP	768:0GluYYCAVqh1fLC8t/FpSzV/SJFGsm4Tq2Lt9ybfOIs5v:0GcIhxp1FpSziFm4Tp2rOj5v
TLSH	T12BF2B42E77027930EFF901BEEDE985CF42614569B1E38D6F809A06D850D2B4DEF41AC6

Key	Value
FileName	./usr/lib/frama-c/widget.cmx
FileSize	2273
MD5	D8E29217BAB4CD5AC6697A0591D0D3D3
SHA-1	00F8BA39E8AC7C289F29F61B3D75F351D8AA8BA4
SHA-256	665478EF5D6CC59ADD2F61CFC13F83E6592ECBF7FBFC1D11D587E75E156816F3
SSDEEP	48:jR6tEi/ZWEAycwTNikFzGTaCODFWD5Gcazdd/kFLVp4kMAyIL6mEm1J4:j0H9AyXpFCTaCOxC5GcazddmJpeSL6Z
TLSH	T1F941B821724A298273F6B5B3BDD6554B63739101CD54846D6EEFDB8042E0C5EE6D3207

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/cabs_debug.cmx
FileSize	3063
MD5	D6639F9E61D2546137DFD39BB0D74667
SHA-1	015085CD176699FC33F9204898305D0CEBCAE2AE
SHA-256	1F04E19842E698CE4FF08A808A33C9C90B91319629D6239D63AEFD9F18DF128E
SSDEEP	48:BGFKJ9bRsbVwDjatAmuziM5FsnGb/i0SvYhlWTdiV:ECy7ANzpsGb/8vYhQTdiV
TLSH	T1F751AA0C726674E963C1B2BED845E1358A32C447CA88CE7693DDDB1F6778E02D093127

Key	Value
FileName	./usr/lib/frama-c/integer.cmx
FileSize	5828
MD5	F53061DFBA4D3739FC4219BE85B84A59
SHA-1	01A98E4D5FAEFD2E5E8485859CD61C08857B03EF
SHA-256	4B38F554265CED624DA245EDFFD4F85CBA00D68E0D67C33EDA9A89636D7C083E
SSDEEP	96:nN+AVpJzP3qXNycCZ7S2qGavQ5zABaCyee6SihsWikcpG8:I0pJzS9jCZS2qNvQ6B1yQzsWiDG8
TLSH	T18DC131606707098F680D9EF19AF6F1E14E38A3871ED4A9F244648FF5A8E0F62E647446

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/logic_env.cmo
FileSize	83954
MD5	A1561FE3C856AEB8732678B77CFEF6D4
SHA-1	01E920DEF4F65B25785A44A21249B313C936EE84
SHA-256	A4894D59A280702E18D8B3008FE7E0B6B9773DC64C2E68283449D06DBB3828E8
SSDEEP	1536:P0/XuFxhQIYfO6tlCNmeIAKPtinGmmbTHi3XBkY/4b1vTdZaNzjjr67:P0/4QIYflbCN6PtSGmmPHQBkTbgzjjG7
TLSH	T11C83804F77040BD1CC990ABDC9DA65EF5D220A3D50E34DFB025A07E4858170E6BAB6E7