7 search results for "tag:"analysis""

Showing 1 - 7
  1. binsec

    No documentation

    Semantic analysis of binary executables
    binary code analysis symbolic execution deductive program verification formal specification automated theorem prover plugins abstract interpretation dataflow analysis linking disassembly
    Adel Djoudi Benoit Boero Benjamin Farinier Chakib Foulani Dorian Lesbre et al.
    0.11.2
    LGPL-2.1-or-later
    Used by 0 other packages
    01 Jul 2026
  2. calipso
    Documentation
    Rewrites C programs to remove non-structured control-flow
    FrontC C analysis
    Hugues Cassé <casse@irit.fr> et al
    4.1.0
    LGPL-2.0-only
    Used by 0 other packages
    26 May 2021
  3. frama-c

    No documentation

    Platform dedicated to the analysis of source code written in C
    ACSL C abstract interpretation code transformation dataflow analysis deductive verification formal specification program verification runtime annotation checking static analysis
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    33.0~beta
    LGPL-2.1-only
    Used by 1 other packages
    10 Jul 2026
  4. goblint

    No documentation

    Static analysis framework for C
    program analysis program verification static analysis abstract interpretation C data race analysis concurrency
    Simmo Saan Michael Schwarz Julian Erhard Sarah Tilscher Karoliine Holter et al.
    2.8.0
    MIT
    Used by 0 other packages
    15 Jun 2026
  5. ppx_enforce

    No documentation

    PPX that enforces required function calls at compile time
    ppx lint static-analysis
    Mathias Bourgoin <mathias.bourgoin@atacama.tech>
    0.1.0
    GPL-3.0-or-later
    Used by 1 other packages
    06 May 2026
  6. ppx_forbid

    No documentation

    PPX that forbids specific function calls or modules at compile time
    ppx lint static-analysis
    Mathias Bourgoin <mathias.bourgoin@atacama.tech>
    0.1.0
    GPL-3.0-or-later
    Used by 1 other packages
    06 May 2026
  7. rescriptdep

    No documentation

    A dependency analyzer for ReScript modules
    dependency-analysis rescript ocaml
    Woonki Moon
    0.1.2
    MIT
    Used by 0 other packages
    23 Apr 2026