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/python_lang/Python_lang/Lang/Utils/index.html

Module Lang.UtilsSource

Sourceval debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a
Sourceval partition_list_by_length : int -> 'a list -> 'a list * 'a list
Sourceval mk_builtin_raise : string -> Mopsa_utils.Location.range -> Mopsa.stmt
Sourceval mk_builtin_raise_args : string -> Mopsa.expr list -> Mopsa_utils.Location.range -> Mopsa.stmt
Sourceval mk_builtin_raise_msg : string -> string -> Mopsa_utils.Location.range -> Mopsa.stmt
Sourceval mk_builtin_call : string -> Mopsa.expr list -> Mopsa_utils.Location.range -> Mopsa.expr

Creates an AST block, tagged by `range`, representing the call of a builtin defined as `f` (a string), to which a list of parameters is passed

Sourceval mk_hasattr : Mopsa.expr -> string -> Mopsa_utils.Location.range -> Mopsa.expr
Sourceval mk_object_hasattr : (Mopsa.addr * Mopsa.expr option) -> string -> Mopsa_utils.Location.range -> Mopsa.expr
Sourceval mk_addr_hasattr : Ast.Addr.addr -> string -> Mopsa_utils.Location.range -> Mopsa.expr

Creates a block try: `body` except StopIteration: `except`

This statement will be created with the provided `range`

Sourceval check_instances : ?arguments_after_check:int -> string -> ('a, 'b) Mopsa.man -> 'a Core.Flow.flow -> Mopsa_utils.Location.range -> Ast.Expr.expr list -> string list -> (Mopsa.expr list -> 'a Mopsa.Flow.flow -> ('a, Ast.Expr.expr) Core.Cases.cases) -> ('a, Ast.Expr.expr) Mopsa.Cases.cases
Sourceval check_instances_disj : ?arguments_after_check:int -> string -> ('a, 'b) Mopsa.man -> 'a Core.Flow.flow -> Mopsa_utils.Location.range -> Ast.Expr.expr list -> string list list -> (Mopsa.expr list -> 'a Mopsa.Flow.flow -> ('a, Ast.Expr.expr) Core.Cases.cases) -> ('a, Ast.Expr.expr) Mopsa.Cases.cases
Sourceval strip_object : Mopsa.expr -> Mopsa.expr
Sourceval new_wrapper : ('a, 'b) Mopsa.man -> Mopsa_utils.Location.range -> 'a Core.Flow.flow -> string -> Ast.Expr.expr -> fthennew:('a Mopsa.Flow.flow -> ('a, Ast.Expr.expr) Core.Cases.cases) -> ('a, Ast.Expr.expr) Mopsa.Cases.cases option
Sourceval bind_list_args : ?cleaners:bool -> ('b, 'a) Core.Manager.man -> Mopsa.expr list -> 'b Mopsa.Flow.flow -> Mopsa_utils.Location.range -> (Mopsa.var list -> 'b Mopsa.flow -> ('b, 'c) Mopsa.Cases.cases) -> ('b, 'c) Mopsa.Cases.cases
Sourceval change_var_type : Mopsa.typ -> Mopsa.var -> Mopsa.var
Sourceval change_evar_type : Mopsa.typ -> Mopsa.expr -> Mopsa.expr
Sourceval extract_oobject : Mopsa.expr -> Mopsa.expr
Sourceval try_eval_expr : ?on_empty: (Mopsa.expr -> string -> Universal.Strings.Powerset.StringPower.t -> 'a Mopsa.Flow.flow -> 'a Mopsa.Eval.eval option) -> on_result:(Mopsa.expr -> 'a Mopsa.flow -> ('a, Mopsa.expr) Mopsa.cases) -> ('a, 'b) Mopsa.man -> ?route:Mopsa.Core.Route.route -> Ast.Expr.expr -> 'a Mopsa.flow -> ('a, Mopsa.expr) Mopsa.cases option