package mopsa

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

Install 

dune-project
 Dependency

gitlab.com 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.0.tar.gz
md5=9f673f79708b44a7effb3b6bb3618d2c
sha512=cb91cb428e43a22f1abbcb8219710d0c10a5b3756d0da392d4084b3b3a6157350776c596983e63def344f617d39964e91f244f60c07958695ee5c8c809a9f0f4

doc/python_lang/Python_lang/Lang/Ast/index.html

Module Lang.AstSource

Python AST

Constants

Sourcetype Mopsa.constant +=
  1. | C_py_ellipsis
  2. | C_py_none
  3. | C_py_not_implemented
  4. | C_py_imag of float

Types

Sourcetype py_type =
  1. | Bool
  2. | NotImplemented
  3. | Complex
  4. | NoneType
  5. | Bytes
  6. | Str
  7. | Int
  8. | Float of Universal.Ast.float_prec
Sourcetype Mopsa.typ +=
  1. | T_py of py_type option

Python-specific types

Sourceval is_py_exp : Mopsa.expr -> bool

Expressions

Sourcetype py_object = Mopsa.addr * Mopsa.expr option

Python objects

optional value representation

Sourceval compare_py_object : py_object -> py_object -> int
Sourcetype Mopsa.operator +=
  1. | O_py_and
    (*

    and

    *)
  2. | O_py_or
    (*

    or

    *)
  3. | O_py_floor_div
    (*

    //

    *)
  4. | O_py_is
    (*

    is

    *)
  5. | O_py_is_not
    (*

    is not

    *)
  6. | O_py_in
    (*

    in

    *)
  7. | O_py_not_in
    (*

    not in

    *)
  8. | O_py_mat_mult
    (*

    @

    *)
  9. | O_py_not
Sourceval is_arith_op : Mopsa.operator -> bool
Sourceval is_arith_binop_fun : string -> string -> bool
Sourceval is_arith_div_fun : string -> string -> bool
Sourceval is_reverse_operator : string -> bool
Sourceval is_comp_op : Mopsa.operator -> bool
Sourceval is_compare_op_fun : string -> string -> bool
Sourcetype py_lambda = {
  1. py_lambda_body : Mopsa.expr;
    (*

    Body.

    *)
  2. py_lambda_parameters : Mopsa.var list;
    (*

    list of parameters variables

    *)
  3. py_lambda_defaults : Mopsa.expr option list;
    (*

    list of default parameters values

    *)
}

Lambda functions.

Sourcetype Mopsa.expr_kind +=
  1. | E_py_undefined of bool
  2. | E_py_object of py_object
  3. | E_py_list of Mopsa.expr list
  4. | E_py_index_subscript of Mopsa.expr * Mopsa.expr
    (*

    index

    *)
  5. | E_py_slice_subscript of Mopsa.expr * Mopsa.expr * Mopsa.expr * Mopsa.expr
    (*

    step

    *)
  6. | E_py_attribute of Mopsa.expr * string
    (*

    attribute name

    *)
  7. | E_py_dict of Mopsa.expr list * Mopsa.expr list
    (*

    values

    *)
  8. | E_py_set of Mopsa.expr list
  9. | E_py_generator_comprehension of Mopsa.expr * (Mopsa.expr * Mopsa.expr * Mopsa.expr list) list
    (*

    list of comprehensions

    *)
  10. | E_py_list_comprehension of Mopsa.expr * (Mopsa.expr * Mopsa.expr * Mopsa.expr list) list
    (*

    list of comprehensions

    *)
  11. | E_py_set_comprehension of Mopsa.expr * (Mopsa.expr * Mopsa.expr * Mopsa.expr list) list
    (*

    list of comprehensions

    *)
  12. | E_py_dict_comprehension of Mopsa.expr * Mopsa.expr * (Mopsa.expr * Mopsa.expr * Mopsa.expr list) list
    (*

    list of comprehensions

    *)
  13. | E_py_call of Mopsa.expr * Mopsa.expr list * (string option * Mopsa.expr) list
    (*

    keywords (None id for **kwargs)

    *)
  14. | E_py_yield of Mopsa.expr
  15. | E_py_yield_from of Mopsa.expr
  16. | E_py_if of Mopsa.expr * Mopsa.expr * Mopsa.expr
    (*

    orelse

    *)
  17. | E_py_tuple of Mopsa.expr list
  18. | E_py_bytes of string
  19. | E_py_lambda of py_lambda
  20. | E_py_multi_compare of Mopsa.expr * Mopsa.operator list * Mopsa.expr list
  21. | E_py_annot of Mopsa.expr
  22. | E_py_check_annot of Mopsa.expr * Mopsa.expr
    (*

    low-level hasattribute working at the object level only

    *)
  23. | E_py_ll_hasattr of Mopsa.expr * Mopsa.expr
    (*

    attribute name

    *)
  24. | E_py_ll_getattr of Mopsa.expr * Mopsa.expr
    (*

    attribute name

    *)
  25. | E_py_ll_setattr of Mopsa.expr * Mopsa.expr * Mopsa.expr option

Statements

Sourcetype py_fundec = {
  1. py_func_var : Mopsa.var;
    (*

    function object variable

    *)
  2. py_func_parameters : Mopsa.var list;
    (*

    list of parameters variables

    *)
  3. py_func_defaults : Mopsa.expr option list;
    (*

    list of default parameters values

    *)
  4. py_func_vararg : Mopsa.var option;
  5. py_func_kwonly_args : Mopsa.var list;
  6. py_func_kwonly_defaults : Mopsa.expr option list;
  7. py_func_kwarg : Mopsa.var option;
  8. py_func_locals : Mopsa.var list;
    (*

    list of local variables

    *)
  9. py_func_body : Mopsa.stmt;
    (*

    function body

    *)
  10. py_func_is_generator : bool;
    (*

    is the function a generator?

    *)
  11. py_func_decors : Mopsa.expr list;
  12. py_func_types_in : Mopsa.expr option list;
  13. py_func_type_out : Mopsa.expr option;
  14. py_func_range : Mopsa.range;
    (*

    range of the function

    *)
  15. py_func_ret_var : Mopsa.var;
  16. py_func_cellvars : Mopsa.var list;
  17. py_func_freevars : Mopsa.var list;
}

Python function descriptor

Sourcetype py_func_sig = {
  1. py_funcs_parameters : Mopsa.var list;
  2. py_funcs_defaults : bool list;
  3. py_funcs_exceptions : Mopsa.expr list;
  4. py_funcs_types_in : Mopsa.expr option list;
  5. py_funcs_type_out : Mopsa.expr option;
}
Sourcetype py_func_annot = {
  1. py_funca_var : Mopsa.var;
  2. py_funca_decors : Mopsa.expr list;
  3. py_funca_range : Mopsa.range;
  4. py_funca_ret_var : Mopsa.var;
  5. py_funca_sig : py_func_sig list;
}
Sourceval pp_py_func_sig : Stdlib.Format.formatter -> py_func_sig -> unit
Sourceval compare_py_func_sig : py_func_sig -> py_func_sig -> int
Sourceval pp_py_func_annot : Stdlib.Format.formatter -> py_func_annot -> unit
Sourcetype py_clsdec = {
  1. py_cls_var : Mopsa.var;
    (*

    class object variable

    *)
  2. py_cls_body : Mopsa.stmt;
  3. py_cls_static_attributes : Mopsa.var list;
    (*

    list of declared attributes: static variables and methods

    *)
  4. py_cls_bases : Mopsa.expr list;
    (*

    base classes

    *)
  5. py_cls_decors : Mopsa.expr list;
  6. py_cls_keywords : (string option * Mopsa.expr) list;
    (*

    keywords (None id for **kwargs)

    *)
  7. py_cls_range : Mopsa.range;
    (*

    range of the class

    *)
}

A Python class

Sourcetype py_cls_annot = {
  1. py_cls_a_var : Mopsa.var;
  2. py_cls_a_body : Mopsa.stmt;
  3. py_cls_a_bases : Mopsa.expr list;
  4. py_cls_a_abases : Mopsa.expr list;
  5. py_cls_a_static_attributes : Mopsa.var list;
  6. py_cls_a_range : Mopsa.range;
}
Sourcetype py_excpt = {
  1. py_excpt_type : Mopsa.expr option;
    (*

    exception class. None is used for the default except

    *)
  2. py_excpt_name : Mopsa.var option;
    (*

    optional name of exception instance

    *)
  3. py_excpt_body : Mopsa.stmt;
    (*

    body of the except handler

    *)
}

Exception handler

Sourcetype Mopsa.stmt_kind +=
  1. | S_py_class of py_clsdec
  2. | S_py_function of py_fundec
  3. | S_py_try of Mopsa.stmt * py_excpt list * Mopsa.stmt * Mopsa.stmt
    (*

    final body

    *)
  4. | S_py_raise of Mopsa.expr option
  5. | S_py_if of Mopsa.expr * Mopsa.stmt * Mopsa.stmt
  6. | S_py_while of Mopsa.expr * Mopsa.stmt * Mopsa.stmt
  7. | S_py_multi_assign of Mopsa.expr list * Mopsa.expr
  8. | S_py_aug_assign of Mopsa.expr * Mopsa.operator * Mopsa.expr
  9. | S_py_annot of Mopsa.expr * Mopsa.expr
  10. | S_py_check_annot of Mopsa.expr * Mopsa.expr
  11. | S_py_for of Mopsa.expr * Mopsa.expr * Mopsa.stmt * Mopsa.stmt
    (*

    else

    *)
  12. | S_py_import of string * Mopsa.var option * Mopsa.var
    (*

    root module

    *)
  13. | S_py_import_from of string * string * Mopsa.var * Mopsa.var
    (*

    module var

    *)
  14. | S_py_delete of Mopsa.expr
  15. | S_py_assert of Mopsa.expr * Mopsa.expr option
    (*

    message

    *)
  16. | S_py_with of Mopsa.expr * Mopsa.expr option * Mopsa.stmt
    (*

    body

    *)

Statements

Programs

Sourcetype Mopsa.prog_kind +=
  1. | Py_program of string * Mopsa.var list * Mopsa.stmt
    (*

    body

    *)
module K : sig ... end

Flow-insensitive context to keep the analyzed C program

Sourceval py_program_ctx : ('a, string * Mopsa.var list * Mopsa.stmt) Core__Context.ctx_key
Sourceval set_py_program : (string * Mopsa.var list * Mopsa.stmt) -> 'a Mopsa.Flow.flow -> 'a Mopsa.Flow.flow

Set the Python program in the flow

Sourceval get_py_program : 'a Mopsa.Flow.flow -> string * Mopsa.var list * Mopsa.stmt

Get the Python program from the flow

Utility functions

Sourceval mk_py_in : ?strict:bool -> ?left_strict:bool -> ?right_strict:bool -> Mopsa.expr -> Mopsa.expr -> Mopsa.expr -> Mopsa_utils.Location.range -> Mopsa.expr
Sourceval mk_except : Mopsa.expr option -> Mopsa.var option -> Mopsa.stmt -> py_excpt
Sourceval mk_py_kall : Mopsa.expr -> Mopsa.expr list -> (string option * Mopsa.expr) list -> Mopsa_utils.Location.range -> Mopsa.expr
Sourceval mk_py_attr : Mopsa.expr -> string -> ?etyp:Mopsa.typ -> Mopsa_utils.Location.range -> Mopsa.expr
Sourceval mk_py_index_subscript : Mopsa.expr -> Mopsa.expr -> ?etyp:Mopsa.typ -> Mopsa_utils.Location.range -> Mopsa.expr
Sourceval mk_py_object_attr : (Mopsa.addr * Mopsa.expr option) -> string -> ?etyp:Mopsa.typ -> Mopsa_utils.Location.range -> Mopsa.expr
Sourceval mk_py_bool : bool -> Mopsa_utils.Location.range -> Mopsa.expr
Sourceval object_of_expr : Mopsa.expr -> py_object

Decorators

Sourceval is_stub_fundec : py_fundec -> bool
Sourceval is_builtin_fundec : py_fundec -> bool
Sourceval is_builtin_clsdec : py_clsdec -> bool
Sourceval is_unsupported_fundec : py_fundec -> bool
Sourceval is_unsupported_clsdec : py_clsdec -> bool
Sourceval builtin_fundec_name : py_fundec -> string
Sourceval builtin_clsdec_name : py_clsdec -> string
Sourceval builtin_type_name : string -> py_fundec -> string