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/lang/Lang/Frontend/index.html

Module Lang.FrontendSource

Universal frontend translates the parser's AST into Framework's AST.

Sourcemodule NameG : sig ... end
Sourcemodule T = Ast
module Float = Mopsa.ItvUtils.Float
Sourcetype var_context = (int * Mopsa.typ) MS.t
Sourcetype fun_context = T.fundec MS.t
Sourceval builtin_functions : Ast.fun_builtin list
Sourcetype uvar = {
  1. uvar_range : Mopsa.range;
  2. uvar_uid : int;
  3. uvar_orig_name : string;
  4. uvar_uniq_name : string;
}
Sourcetype Mopsa.var_kind +=
  1. | V_uvar of uvar
Sourceval from_var : string -> U.extent -> var_context -> Mopsa.var
Sourceval unify_typ : Mopsa.typ -> Mopsa.typ -> Mopsa.typ
Sourceval from_expr : U.expr -> U.extent -> var_context -> fun_context option -> Mopsa.expr
Sourceval from_stmt : U.stat -> U.extent -> var_context -> fun_context option -> Mopsa.stmt
Sourceval check_declaration_list : U.declaration U.ext list -> unit
Sourceval aux : U.declaration U.ext -> U.declaration U.ext list -> unit
Sourceval var_ctx_of_declaration : Mopsa_universal_parser.U_ast.declaration U.ext list -> var_context -> (int * Mopsa.typ) MS.t * Mopsa.var list
Sourceval var_ctx_init_of_declaration : Mopsa_universal_parser.U_ast.declaration U.ext list -> var_context -> fun_context option -> (int * Mopsa.typ) MS.t option -> (int * Mopsa.typ) MS.t * Mopsa.stmt list * Mopsa.var list
Sourceval var_ctx_of_function : var_context -> U.fundec -> (int * Mopsa.typ) MS.t
Sourceval var_init_of_function : var_context -> (int * Mopsa.typ) MS.t MS.t -> fun_context -> U.fundec -> (int * Mopsa.typ) MS.t * Mopsa.stmt list
Sourceval from_fundec : U.fundec -> var_context -> T.fundec
Sourceval add_body : fun_context -> string -> Mopsa.stmt -> unit
Sourceval parse_program : string list -> Mopsa.program