package mopsa

  1. Overview
  2. Docs
MOPSA: A Modular and Open Platform for Static Analysis using Abstract Interpretation

Install 

dune-project
 Dependency

mopsa.lip6.fr Readme Changelog Edit opam file Versions (3)

Authors

  1. A
    Antoine Miné
  2. A
    Abdelraouf Ouadjaout
  3. M
    Matthieu Journault
  4. A
    Aymeric Fromherz
  5. R
    Raphaël Monat
  6. F
    Francesco Parolini
  7. M
    Marco Milanese
  8. J
    Jérôme Boillot

Maintainers

  1. A
    Antoine Miné <antoine.mine@lip6.fr>
  2. A
    Abdelraouf Ouadjaout <ouadjaout@gmail.com>
  3. R
    Raphaël Monat <raphael.monat@inria.fr>

Sources

mopsa-analyzer-v1.1.tar.gz
md5=fdee20e988343751de440b4f6b67c0f4
sha512=f5cbf1328785d3f5ce40155dada2d95e5de5cce4f084ea30cfb04d1ab10cc9403a26cfb3fa55d0f9da72244482130fdb89c286a9aed0d640bba46b7c00e09500

doc/core/Core/index.html

Module CoreSource

module Semantic = Ast.Semantic
Sourcemodule Route : sig ... end

Routes to select sub-trees of the abstraction when interpreting commands

module Ast = Ast
Sourcemodule Print : sig ... end

Print - structured pretty-printing

Sourcemodule Context : sig ... end

Context - Storage for flow-insensitive information

Sourcemodule Query : sig ... end

Generic query mechanism for extracting information from domains.

Sourcemodule Avalue : sig ... end

Abstract value representation

Sourcemodule Alarm : sig ... end

Alarms - issues found by the analyzer in a program

Sourcemodule Token : sig ... end

Tokens identifying control flows

Sourcemodule Change : sig ... end

Changes are used to log the statements executed during the computation of a post-state

Sourcemodule Lattice : sig ... end

Interface of lattice structures

Sourcemodule Flow : sig ... end

Abstraction of control flows.

Sourcemodule Cases : sig ... end

Cases - data structure for case-based transfer functions.

Sourcemodule Eval : sig ... end

Eval - abstract evaluations of expressions

Sourcemodule Post : sig ... end

Post - Post-states of statement execution.

Sourcemodule Id : sig ... end

Generators of identifiers for domains and values

Sourcemodule Manager : sig ... end

Manager - access to the top-level lattice and transfer functions

Sourcemodule Hook : sig ... end

Hooks are modules that can observe the execution of the transfer functions without modifying their output. They can be used however to enrich the analysis by adding information to the context.

Sourcemodule Cache : sig ... end

Cache of post-conditions and evaluations

Sourcemodule Utils : sig ... end

Utility functions

Sourcemodule Marker : sig ... end

Trace markers

Sourcemodule Path : sig ... end

Path of domains inside the abstraction DAG

Sourcemodule All : sig ... end