Result for 7D441D2A8BE0E8D248F463182701E7DCDEADF18C

Search result
Graph view
Children (1337)

Query result

Key Value
FileSize52350236
MD5944F83DC5A9FFAF93893F8A864308F81
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-17D441D2A8BE0E8D248F463182701E7DCDEADF18C
SHA-25661FB053C100D3FE17FAFCFC4A8FB15FF95B664FC39E3F95864E027A9BEFA7099
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/plugins/gui/Slicing.cmxs
FileSize428724
MD5DE18837AB9872E9DE133CFEC069DB65A
SHA-1006E2530B87421EB4BB0F80138B5D0B1A7FD7D33
SHA-256B3BF84719FD272207744E989F17F8A4F28B877DA9E8E5C4607F77952447CA992
SSDEEP6144:KCqTE13CeFPiEO8qJj6msdlyqYaYCw1NpJ1Pc3Ap0ybP1FidXjv1fOgm:KONCele4mElyq4Cw1nJ1yAp0yjvk
TLSHT1C4942B51E74DEF1AC46A9136F07B0B1DA279E1CD13E7AB027429FE383F23184465A786
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/ast.cmx
FileSize8052
MD5BA7228C23BB75B4069E8412DC3327142
SHA-1012E640BE44C3BB463057125C86DF7F60AA655CF
SHA-2563BD5CCFDBE9BCAA160E7E25DC01D1745001A3699E29D2CC9AD97F8E0BD9FD0F3
SSDEEP192:Fwnt95EfUn25fKQTE8lB+FDsENTQQzsbC1BV7:myPdjdWA/8sm1BV7
TLSHT155F1A820EF47A5A3BCD1F1E358DE6681CA32F0976BF4A73A206C5F5B9492F10416B314
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/boot.cmi
FileSize3410
MD5C9CFE99E6F9FADB62CE4954003AF3F96
SHA-101E4AC71340AB214E0FADDC770F08CFF927B92CF
SHA-2567341C8E68D09128F9DFA07E369322D1306A816A7EDC9CBF914AD4DBE55428D47
SSDEEP96:4fVQ+sQ3yRAel+0rOzPJXZ+1ZfBPk0Vfu:orsWe1lbrMp6ZfBPkp
TLSHT1D661F8483B937E11F6B68353AD8D05D7C670514AC3BAC67698DE0BC084A7953C2F771A
Key Value
FileName./usr/lib/frama-c/plugins/top/Scope.cmx
FileSize4761
MD5FE2A0799E6BD5F771F78C515AA027BAD
SHA-1021A5CECEFD3180C638AC5C056E12DF6EBF429A9
SHA-25630EE90791A856525C666B72507217DB7FBDC525C4AADCA00C4DB9F7BA1D3A5DB
SSDEEP96:sgVQ+aQZyseAeHh+02QzVzPJIiZ+1KL+qhpnkffEgwqw5UAGNDVsV5++KbqPLxQ:rraABe1Hhb2Qrx6KLXkUg5UUA+DVUkum
TLSHT103A11A4837467F21B1EE82135E4D0496C5B0264A87BFC66586DD0BC058A2DA7E3F7719
Key Value
FileName./usr/lib/frama-c/wutil.cmo
FileSize109350
MD5B0ED10511E9953F6ECA2A85E28D26C15
SHA-1023989929266F93F75961991C1622B60638B76FF
SHA-256C20A03DCEB3F7136A703DCFB55ED5E4EBAD69565049CDACBBB297BC577152D87
SSDEEP1536:Rio4/QwploKNgpEkr9yG5Z4NmEe3S1Hvom7mObyEMGGs3ZQzv4TQLbaNND6296oG:Rr2QwxgpEOceS1HQGGs36r4kow2JNM
TLSHT1DCB31CAF315A8AD1CD8704BD6A9558FF41310C7FDAEA4DF7C10212E6485334EAB9E983
Key Value
FileName./usr/lib/frama-c/lmap_bitwise.cmi
FileSize25083
MD56DD7FE5035BFDEAEAA51BF8268FE0459
SHA-102559837B245A73C57CED5AF4E2344D5B59A17F1
SHA-256FEA2B565B4CD898B52566B344CBA0A74CBBE39F6D71EFE9DDED9916EC64055BA
SSDEEP384:dsN+4TDkIaA28DrgPwdIt0wxbjkJ9X1ROsKrZaNekVC:ds4sDk2HQ0w1GB1R6rHkVC
TLSHT176B2956D762F5354DE994A9DC8A352B7E93803FEA3EA8CB7C0250BE4815D50D931A3C3





metalookup is a service from miwakeru.com