Result for 54AA8361A19E4B6F76D1F9A64590F0E7BC44D622

Search result
Graph view
Children (679)

Query result

Key Value
FileSize13952352
MD547308725B30B73E27D67031D72676107
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
PackageVersion20171101+sulfur+dfsg-2
SHA-154AA8361A19E4B6F76D1F9A64590F0E7BC44D622
SHA-2569A41EEFE0DFB746E949B50602E962FF3BB8E22BD9C82827C1E2CED8D1EAC0F03
hashlookup:children-total679
hashlookup:trust50

Network graph view

Children (Total: 679)

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

Key Value
FileName./usr/lib/frama-c/translate_lightweight.cmo
FileSize76406
MD5E30DCC68DAE2AE10174656D4E44AC4FE
SHA-1006953F0D12DC2DC381DC03A01ACB13C5F26ADF1
SHA-256FFBD9802358669AB82FB7B641103F4120D8DB7972D27F38DB24A763FFBC66D86
SSDEEP1536:0KWjun/3xJ+AxEiBdwQoR+4Pz7kcL1mwBmcJjbh4czc2:jWyn/hAAxEowR+4PzYnwBmcJx4ex
TLSHT18273E98C219454F1C54A04BD98EA8A37F310873C9C27ADBB450D86B9A4CE5CDDB2DBDB
Key Value
FileName./usr/share/frama-c/libc/math.h
FileSize13859
MD5B370AEA2044AF49CA608319DD408F37D
SHA-1006D224DA87C95898B0BC3EEA8F6486FF1F4DF25
SHA-2563B8A5E05BBEC2EA2648AE17A6F7F37FFD0D2AB0D2B94B29539C04514928280F1
SSDEEP192:bC9uDi90/b9CbKwh9Mlk9TFxAkdO8Fs2VzAnRuB21:rX3k5vB21
TLSHT1D252288C14B5BE43AEABB0D90C99E2DAD100D5D23789E85E319FE7170B8B45A7520DF3
Key Value
FileName./usr/lib/frama-c/frontc.cmo
FileSize8593
MD58FEFA35EE6F916F7192D0D040FC4B53A
SHA-101784901BA3AFFC07329430FC74D9351B18ECB56
SHA-2569C614335B3DD1FE739153C0A46B127A3F568752C0B06E2796EAA17D4C12EBAC5
SSDEEP192:NEP2BfbFHahSz27ryWYjn8//lwBb/4p0a/LwS/uuCoKnKvrAvV/m:NEIbFCSgrHwn83WBb/4p0QcS/zC+vO0
TLSHT19902D50EEA20F431C99B60BFDCD9895A2304587E54678E7B00480B6654DA7BDFB31A9E
Key Value
FileName./usr/share/frama-c/wp/why3/Vset.v
FileSize5182
MD5F91819316715999F63FB12A38E7DC12B
SHA-101AEAE830AD465F071C54A66F32454B5A3F69C8B
SHA-256DDBFB6AC5C2BBC1F44E80B4F512043239F31306285FFBBABCF84154932437193
SSDEEP96:elYkZ9sF+8rOaHCizrgXrhJyvxekZLasTS8t/Hr86yGpM:Vkzin1i4rgXrhJNkoWyGpM
TLSHT1CDB1B0052CBB1F852E0B57FE4DD248C2A11A895160B8B00CF78F765D4BAE3A17EBB580
Key Value
FileName./usr/lib/frama-c/plugins/top/Slicing.cmo
FileSize1003515
MD5EEBBB5A1001C6AD18BA6D8226B029FEA
SHA-101B17A3F9854DC71D6A315F9E1FBF7CD9DACE6F1
SHA-256D3982676AD11BAF191B8795B917FB9349C9408C5F9E9B4985FE521DEAC18CB33
SSDEEP24576:FG8ZENIaV8ItmWS2HnKZ1duiRYUk6uxrDnGokG4CJ2LLEwKJyaHx:/mNIaV8ItmWS2HnKbdui2Uk6c3n9kG4S
TLSHT12B25B70E7465FC71C88819BDD8F99A4F9231893F59A34DF3102C06654DFE31EAB09A9B
Key Value
FileName./usr/lib/frama-c/property.cmo
FileSize187023
MD59A58DF5AB18888B0B36395E56BAD7523
SHA-10244791B30EF0478BAE2DC054693A9C9E1CAA437
SHA-256070219EFFAC4B947BAC39A78E8DD47272638E9C06C9218C87377FDBA4FF94DBA
SSDEEP3072:K0PxLAU7AL/ZyMrADxYCT5BYaxErKVwZFMtDEv7h5A9irLi89LNCF:K0PxLlENyMrm3eaxErdMtIThS9qLiF
TLSHT14304B60E6B2588B1C9D81FFC89F9AD8BC750497E36236F772088132855CF61E6F19A47
Key Value
FileName./usr/lib/frama-c/lmap.cmi
FileSize35156
MD5025F58F33ADB9303FB7381EFB496C9F9
SHA-10290A253B0D72D713BB42691CB9B8DCC871BB816
SHA-256EC2420259897D20C05EA5B6E78EFDC72A1A7E04F594E71B657C652DB7339CE60
SSDEEP768:gPadgQBg/1RCZVV17KyEV7zECxJG7D9gJwkwPq8jdT0LCpQdC0:SadbS/nsf1O/PVJG7wwk+njCupQj
TLSHT138F2F05DBC68F0A502CED86FD00F848B569856BF24371C33991886E16DEFA4E8B1F593
Key Value
FileName./usr/share/frama-c/wp/why3/Cfloat.v
FileSize5698
MD57A95B01D44D555F79FD5383ADFE9352B
SHA-102FAB039F7B2946FDF41A791C64BCFFF9DBCA084
SHA-256B6BD1539A2706FE0D0A8ECFB8D8D578F1A047AC5DEFE6A50C2E68425A7CEFE55
SSDEEP96:elYkZ9sF+8SG/MvngFJsDYQiLCv5JPr7dZkcSK:VkziOG/0ngFCcf+5V7cK
TLSHT1CEC1BE0C09A25E6F14CF6FF95ED7A1CAA425CAD12A293805F25DFB5C0F9E2359B630C4
Key Value
FileName./usr/share/frama-c/libc/stddef.h
FileSize2022
MD572CE2FB10E8A5A7EC37BFF0F0038A135
SHA-103255E7A571A9C04C487EA25A0CC90FEA78778A8
SHA-256C62CD5450A71026EFB7B7C5FDE35009410AEA1DD106ACC8DCA57FB6E26A6C523
SSDEEP48:bC9z/yXTi9xW/b9CJVyEqHw4U9Ml5a90rk:bC9uDi90/b9CbKw4U9Ml5a9z
TLSHT11041771989BC9F37890100E22749C1D6C21BA657634848A8313DB7BE670EDE726D7798
Key Value
FileName./usr/lib/frama-c/rangemap.cmi
FileSize13340
MD5D4591524CE84ADD1A75869F53ECD0D86
SHA-10364774D68D025444BAEF39CD2F22C615BE1E892
SHA-2566EE1571A95F7A3CDD5359912042C23F9274E6E7AC6D969429221B775078CBABE
SSDEEP384:4geX0vk1gL6lw+bqngDYhU9c4g1/5UvtPi:4gnvQg2ulnDhz4sxUvQ
TLSHT1865247AD9466F4B416DEA8AFD10F888F17084B3F84371C77122907A162AF45E8F1E667





metalookup is a service from miwakeru.com