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.2.tar.gz
md5=37966e98ffeebcedc09bd6e9b2b81f69
sha512=40d4d826c25f680766c07eccbabdf5e8a4fa023016e8a164e4e4f6b3781c8484dc4df437055721dfd19b9db8fb7fe3b61236c4833186d346fc7204a68d01eaaa

doc/mopsa.mopsa_analyzer/Mopsa_analyzer/Framework/Core/index.html

Module Framework.Core

module Alarm : sig ... end

Alarms - issues found by the analyzer in a program

module All : sig ... end
module Ast : sig ... end
module Avalue : sig ... end

Abstract value representation

module Cache : sig ... end

Cache of post-conditions and evaluations

module Cases : sig ... end

Cases - data structure for case-based transfer functions.

module Change : sig ... end

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

module Context : sig ... end

Context - Storage for flow-insensitive information

module Eval : sig ... end

Eval - abstract evaluations of expressions

module Flow : sig ... end

Abstraction of control flows.

module 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.

module Id : sig ... end

Generators of identifiers for domains and values

module Lattice : sig ... end

Interface of lattice structures

module Manager : sig ... end

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

module Marker : sig ... end

Trace markers

module Path : sig ... end

Path of domains inside the abstraction DAG

module Post : sig ... end

Post - Post-states of statement execution.

module Print : sig ... end

Print - structured pretty-printing

module Query : sig ... end

Generic query mechanism for extracting information from domains.

module Route : sig ... end

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

module Token : sig ... end

Tokens identifying control flows

module Utils : sig ... end

Utility functions