Result for 004B7B76B0B1B4E111CA4CE518012ABB88A269AA

Query result

Key Value
FileName./usr/lib/frama-c/cil.cmo
FileSize1882376
MD5002F40F990E9FFD6C4D2566C2DFE16FC
SHA-1004B7B76B0B1B4E111CA4CE518012ABB88A269AA
SHA-256A147A13D63AFB621160A4F7EE410EFD7A556D63708574AD53F861B200C8B0A7D
SSDEEP24576:aAg00PYB44N/bbaO5cwTQaij5MdtCtxX8HeQxrQJlp4N:ai4441kVijLtWPN
TLSHT1CF95714C644910B2C475177ED8E7BA6BD3A0B63C7B1B2EF7005813A485DE62CAB4DB4B
hashlookup:parent-total1
hashlookup:trust55

Network graph view

Parents (Total: 1)

The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
FileSize22256760
MD584F6A2D53528AEFD3A3E02016D0EBB07
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-1B370CAAA269B50D0EA969327426C7810B8844D58
SHA-256E08EDB1EE824611203675D419C16000D57A78ABAF69B900BBE27DCB6E0C11443