| Key | Value |
|---|---|
| FileName | ./usr/lib/frama-c/tr_offset.cmi |
| FileSize | 2381 |
| MD5 | 3971B8CFB0AF413A5F0D2750DDFF0587 |
| SHA-1 | 032597A998D008E4508CEEC0E72C1D6404705442 |
| SHA-256 | 9A62EC32026A8E36FFA4A5BE99B648D4953F74145F9DA16C780522AC1C20954B |
| SSDEEP | 48:+1ylWuWry0Ql1Rzh8K7sbqbVwDiAxL/szSwVjJyfBb:ycgUl/KqFAxjszSwVj0fF |
| TLSH | T16E4198CDB35A3591F990539E69C404C78734858DC3EFCCB7905E0DE055B255EC2EA587 |
| hashlookup:parent-total | 6 |
| hashlookup:trust | 80 |
The searched file hash is included in 6 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 32492416 |
| MD5 | 43D4784B3F569115BC107225433D7231 |
| 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+b1 |
| SHA-1 | 7AA66A8D865F312A63A9A876343CEC39B51C5FFC |
| SHA-256 | 62FB90A38C973BCE08566F161813F7138A459751B5C2ADB56B2895D5094AF51C |
| Key | Value |
|---|---|
| FileSize | 32497816 |
| MD5 | AC1CDCDEF844396E4F55B0C2243BE38F |
| 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+b2 |
| SHA-1 | 58ACC81DFAE697DDA60C97125579D56DA6AD3FFA |
| SHA-256 | 2B343277ADC4AF653B75628FEFFA6D0B93393DE18887AC48454F954B11C36682 |
| Key | Value |
|---|---|
| FileSize | 56813800 |
| MD5 | 4FBFD30D2F9EF2090103B0A16A7AD741 |
| 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+b2 |
| SHA-1 | 063DEFB08B857BBC96ABA1A45060984ED955FB2F |
| SHA-256 | EB6A55E470B0684B32957A993FFC3CD3D65496C969E263732B16DD78C7AC4EA4 |
| Key | Value |
|---|---|
| FileSize | 52350236 |
| MD5 | 944F83DC5A9FFAF93893F8A864308F81 |
| 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+b2 |
| SHA-1 | 7D441D2A8BE0E8D248F463182701E7DCDEADF18C |
| SHA-256 | 61FB053C100D3FE17FAFCFC4A8FB15FF95B664FC39E3F95864E027A9BEFA7099 |
| Key | Value |
|---|---|
| FileSize | 52284496 |
| MD5 | AFCF9DC9EA1BC0B4CC291122A0D0C15B |
| 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+b1 |
| SHA-1 | 59BF8AC35C0E90F0A1EA1CDAFFB6BA948326EAEE |
| SHA-256 | D4F1DA40EBEA67441589B15CC77CA65AFFB4A7BAC7FD192A2AFF4E0BC9ED4750 |
| Key | Value |
|---|---|
| FileSize | 56821236 |
| MD5 | D866944746D30540A93F6DED250C67E9 |
| 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+b1 |
| SHA-1 | D6D9CE9F2BDC1BA1A8FEE235553D2467B610ABEB |
| SHA-256 | D1536F4D59587D4052A5B5AD021A0EF132C250880EE5E44D4E207114E0B9AF5C |