Result for 063DEFB08B857BBC96ABA1A45060984ED955FB2F

Search result
Graph view
Children (1337)

Query result

Key Value
FileSize56813800
MD54FBFD30D2F9EF2090103B0A16A7AD741
PackageDescriptionPlatform 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.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNameframa-c-base
PackageSectiondevel
PackageVersion20200625+scandium-2+b2
SHA-1063DEFB08B857BBC96ABA1A45060984ED955FB2F
SHA-256EB6A55E470B0684B32957A993FFC3CD3D65496C969E263732B16DD78C7AC4EA4
hashlookup:children-total1337
hashlookup:trust50

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/rmtmps.cmi
FileSize1450
MD553B6C46A73BF3EF2F0243B9D63BA8DC1
SHA-100310999E8746F9D6435422E6844988D4DD38088
SHA-256D3360E4B21B5F2A9C8B4D9ABAA02ADB45CFF3C8BE5E0253BBA95E77C3A835C8B
SSDEEP24:DCM27sT1kRXNT8cS16+yVBzezOQPhMAAgIGW:MsJsgVE+yrYOQP1AgC
TLSHT16431034C73251C58FE19722EEEC101EF462003BD84E5CCBFD5645BF4956591E938B20B
Key Value
FileName./usr/lib/frama-c/widget.cmx
FileSize2273
MD5D8E29217BAB4CD5AC6697A0591D0D3D3
SHA-100F8BA39E8AC7C289F29F61B3D75F351D8AA8BA4
SHA-256665478EF5D6CC59ADD2F61CFC13F83E6592ECBF7FBFC1D11D587E75E156816F3
SSDEEP48:jR6tEi/ZWEAycwTNikFzGTaCODFWD5Gcazdd/kFLVp4kMAyIL6mEm1J4:j0H9AyXpFCTaCOxC5GcazddmJpeSL6Z
TLSHT1F941B821724A298273F6B5B3BDD6554B63739101CD54846D6EEFDB8042E0C5EE6D3207
Key Value
FileName./usr/share/frama-c/libc/features.h
FileSize4458
MD596D9382111402C830DA32502EC4766C4
SHA-10115A42AD0D72863D8591F18780D6426BA014BCF
SHA-256811C486AFCD358F9AD69BD5387E1E091F1C1E89AC23784417E1D44474BEDA078
SSDEEP96:bC9sDi90/b9CbKw4U9Ml5a9V5VBfBYnOMWhNZb3/REMWee:bC9sDi90/b9CbKwh9Mlk9RBfBYOMKPFS
TLSHT18E91E0311AE9EF72091A1073A58DC5E6C01ADEBB524544E8F12EFD9E0B0F87422F918D
Key Value
FileName./usr/lib/frama-c/plugins/top/Studia.cmx
FileSize3475
MD519A0787922DB477DEC9DB886F541BE0F
SHA-10141196BBD775EF0445DF5220158976F3D2EC342
SHA-256E3AF8F071698AB6575779D022025BB85B43BE3B6D65F0C467EC92880CCB96B69
SSDEEP96:mgVQ+aQZyseAeT+0rOzPJWZ+1KBIkffKQ8:mgraABe1TbrMy6KBIkF8
TLSHT1B361E80877427E52B2FA4343AE4E04DBC375958AC77ED5B991CD0B8048A6953C2F7B29
Key Value
FileName./usr/lib/frama-c/plugins/top/Instantiate.cmxs
FileSize318656
MD5BE54AFDED9F49C89140E25252AE5897A
SHA-10189A1B195765D6ADDC63F1D3AD57B3D8A73F8FD
SHA-2568409E1A6F3C02DAFF734F9DAC83B9C3973482D7430360075EA585B7006072A80
SSDEEP6144:gDMgJGRox6Ob+NmldzqFnr9TZusydQXS7+bZ8K:el+Fnr9TZusydQXS7+
TLSHT1A06462AAFECDDA6ECC4976314BF60B527974C8CD1741EA83115C673D36833CA4E2A582
Key Value
FileName./usr/lib/frama-c/hook.cmx
FileSize6661
MD5842B88FAC863FE3667EF93CBF21F1051
SHA-1019A74C4E9560F9F1426E64886903611426AEB6B
SHA-2562BDAEC5A89B549B06D801C137127B80C06AE2B8D461D344190D79213B5A59A00
SSDEEP192:4KsQYXAuomxV2FMWRJw3DbBwGnYBKsB5PCWQ10p9N/vlvnvVAvjtuO/TgPFLSicj:4XA+TI3d2mq4s
TLSHT193D16422E3ABDC43ACF299B45F1927C35519C8997F92CA3FE0BD9B26A049F011953325
Key Value
FileName./usr/share/frama-c/libc/__fc_define_timer_t.h
FileSize1788
MD5DF0F9F6FDBCC779E1B5110BBD29B829F
SHA-101ADC263E87DC6543E9880B383EF725543E80A61
SHA-256F5CB8C2F188B8CFEEC6F472D1C53B6DBCC2B6FE30F756EAFF11FABB9F61F3F47
SSDEEP48:bC9sXTi9xW/b9CJVyEqHw4U9Ml5a9Nbjvo:bC9sDi90/b9CbKw4U9Ml5a9hk
TLSHT10A31561A06FC8F7B490004E52708D0DAC25B678B67595CAC303DB3BEA70DEE713A5798
Key Value
FileName./usr/share/frama-c/e-acsl/e_acsl_floating_point.h
FileSize4238
MD5DFA4391EE405E7F903CBF7D746E4700A
SHA-101AEE7A0CE9C80824916837346F0DBFF659DF9FD
SHA-256C0F2EB222396B2486D2986D80664CE62C786B2EAFE33B3F351CCAB7BC4FACF68
SSDEEP96:bo9VEDi90/b9CbKw4U9Ml5a9wqLiyhEAyf43lL5NNIOEDC:bo9VEDi90/b9CbKwh9Mlk90yh9y4LnEW
TLSHT17991630D189A2F27460650E0718AD0C5C60B8DEB13955C1DB09D739D5F4ECB623B5FEE
Key Value
FileName./usr/lib/frama-c/parameter_builder.cmo
FileSize530998
MD59B64EDFF0D73C86107EB4BAAB4147886
SHA-101DD5C9B549431A77B3FEFFD4F35A9C43E22D4CD
SHA-256FC0F95B597BBA23EF0D181CAC2F51894BF7B600E13A94E2D089820D483399397
SSDEEP6144:8Ki4kMoadzb5fZSuGIXNyYOPSwkPuMreZllhKZXtwivs263T2mXAmNvOkcOabshD:8Kibr8ZfQuGCNOSwkGMreZloURNvYCF1
TLSHT188B45D9FB74A1312CC840BBDD98A11FF2660167D92E25DFB415D07E4A082B1C677A3EB
Key Value
FileName./usr/lib/frama-c/boot.cmi
FileSize3410
MD5C9CFE99E6F9FADB62CE4954003AF3F96
SHA-101E4AC71340AB214E0FADDC770F08CFF927B92CF
SHA-2567341C8E68D09128F9DFA07E369322D1306A816A7EDC9CBF914AD4DBE55428D47
SSDEEP96:4fVQ+sQ3yRAel+0rOzPJXZ+1ZfBPk0Vfu:orsWe1lbrMp6ZfBPkp
TLSHT1D661F8483B937E11F6B68353AD8D05D7C670514AC3BAC67698DE0BC084A7953C2F771A





metalookup is a service from miwakeru.com