| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/cil_printer.o |
| FileSize | 700024 |
| MD5 | 114349245764A5E6C18DE287601658C0 |
| SHA-1 | 00BEED596988D0A2C608298ED99F38B2CAE596F1 |
| SHA-256 | 8F85D1C344AC40429E1B3E6BD424342BD7291AA2A5B558BD243D652058A56AD8 |
| SSDEEP | 12288:pkAbAyrIuatiqC5cSv8fnhluCqsc7A0iN9kIi/oe7dU1vXq:aoA0iN9kIi/oe7dUx |
| TLSH | T14BE4847C5F4F2DE8C25A0E38EBA613A47B7BCB9416E1A397820421191ED73E6CD1E711 |
| hashlookup:parent-total | 2 |
| hashlookup:trust | 60 |
The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 62657280 |
| MD5 | 8F5A87355EC6BEBF27F0ADF47087A0A9 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | frama-c-base |
| PackageSection | devel |
| PackageVersion | 20200625+scandium-2+b4 |
| SHA-1 | 1E43FF4BB9BF3528F3696D0061A9ACA950B40032 |
| SHA-256 | 74827B012F032EB1DB1A7E55DE933CC1020C906B0E03934BC89D654F3348F7FF |
| Key | Value |
|---|---|
| FileSize | 62684896 |
| MD5 | 20C9A3A19457693F4357A9796D737891 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | frama-c-base |
| PackageSection | devel |
| PackageVersion | 20200625+scandium-2+b3 |
| SHA-1 | CD7E703D0C4A0620F1D40A6CD66380BFB749C6A7 |
| SHA-256 | A2AF8C7B66DB56934EB110B82A3580F391B758A7B1277D7F2574CA254DB2F8AC |