package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Semantic = Ast.Semantic
module Route : sig ... end

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

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

Print - structured pretty-printing

module Context : sig ... end

Context - Storage for flow-insensitive information

module Query : sig ... end

Generic query mechanism for extracting information from domains.

module Avalue : sig ... end

Abstract value representation

module Alarm : sig ... end

Alarms - issues found by the analyzer in a program

module Token : sig ... end

Tokens identifying control flows

module Effect : sig ... end

Effects are a journal of all statements executed by the domains when computing a post-condition.

module Lattice : sig ... end

Interface of lattice structures

module Flow : sig ... end

Abstraction of control flows.

module Cases : sig ... end

Cases - data structure for case-based transfer functions.

module Eval : sig ... end

Eval - abstract evaluations of expressions

module Post : sig ... end

Post - Post-states of statement execution.

module Id : sig ... end

Generators of identifiers for domains and values

module Manager : sig ... end

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

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 Cache : sig ... end

Cache of post-conditions and evaluations

module Utils : sig ... end

Utility functions

module All : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct