Module `Lang.Ast`Source

Python AST

Constants

Sourcetype Mopsa.constant +=

| C_py_ellipsis
| C_py_none
| C_py_not_implemented
| C_py_imag of float

Types

Sourcetype py_type =

| Bool
| NotImplemented
| Complex
| NoneType
| Bytes
| Str
| Int
| Float of Universal.Ast.float_prec

Sourcetype Mopsa.typ +=

| 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 +=

| O_py_and
(*
and
*)
| O_py_or
(*
or
*)
| O_py_floor_div
(*
//
*)
| O_py_is
(*
is
*)
| O_py_is_not
(*
is not
*)
| O_py_in
(*
in
*)
| O_py_not_in
(*
not in
*)
| O_py_mat_mult
(*
@
*)
| 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 = {

py_lambda_body : Mopsa.expr;
(*
Body.
*)
py_lambda_parameters : Mopsa.var list;
(*
list of parameters variables
*)
py_lambda_defaults : Mopsa.expr option list;
(*
list of default parameters values
*)

}

Lambda functions.

Sourcetype Mopsa.expr_kind +=

| E_py_undefined of bool
| E_py_object of py_object
| E_py_list of Mopsa.expr list
| E_py_index_subscript of Mopsa.expr * Mopsa.expr
(*
index
*)
| E_py_slice_subscript of Mopsa.expr * Mopsa.expr * Mopsa.expr * Mopsa.expr
(*
step
*)
| E_py_attribute of Mopsa.expr * string
(*
attribute name
*)
| E_py_dict of Mopsa.expr list * Mopsa.expr list
(*
values
*)
| E_py_set of Mopsa.expr list
| E_py_generator_comprehension of Mopsa.expr * (Mopsa.expr * Mopsa.expr * Mopsa.expr list) list
(*
list of comprehensions
*)
| E_py_list_comprehension of Mopsa.expr * (Mopsa.expr * Mopsa.expr * Mopsa.expr list) list
(*
list of comprehensions
*)
| E_py_set_comprehension of Mopsa.expr * (Mopsa.expr * Mopsa.expr * Mopsa.expr list) list
(*
list of comprehensions
*)
| E_py_dict_comprehension of Mopsa.expr * Mopsa.expr * (Mopsa.expr * Mopsa.expr * Mopsa.expr list) list
(*
list of comprehensions
*)
| E_py_call of Mopsa.expr * Mopsa.expr list * (string option * Mopsa.expr) list
(*
keywords (None id for **kwargs)
*)
| E_py_yield of Mopsa.expr
| E_py_yield_from of Mopsa.expr
| E_py_if of Mopsa.expr * Mopsa.expr * Mopsa.expr
(*
orelse
*)
| E_py_tuple of Mopsa.expr list
| E_py_bytes of string
| E_py_lambda of py_lambda
| E_py_multi_compare of Mopsa.expr * Mopsa.operator list * Mopsa.expr list
| E_py_annot of Mopsa.expr
| E_py_check_annot of Mopsa.expr * Mopsa.expr
(*
low-level hasattribute working at the object level only
*)
| E_py_ll_hasattr of Mopsa.expr * Mopsa.expr
(*
attribute name
*)
| E_py_ll_getattr of Mopsa.expr * Mopsa.expr
(*
attribute name
*)
| E_py_ll_setattr of Mopsa.expr * Mopsa.expr * Mopsa.expr option

Statements

Sourcetype py_fundec = {

py_func_var : Mopsa.var;
(*
function object variable
*)
py_func_parameters : Mopsa.var list;
(*
list of parameters variables
*)
py_func_defaults : Mopsa.expr option list;
(*
list of default parameters values
*)
py_func_vararg : Mopsa.var option;
py_func_kwonly_args : Mopsa.var list;
py_func_kwonly_defaults : Mopsa.expr option list;
py_func_kwarg : Mopsa.var option;
py_func_locals : Mopsa.var list;
(*
list of local variables
*)
py_func_body : Mopsa.stmt;
(*
function body
*)
py_func_is_generator : bool;
(*
is the function a generator?
*)
py_func_decors : Mopsa.expr list;
py_func_types_in : Mopsa.expr option list;
py_func_type_out : Mopsa.expr option;
py_func_range : Mopsa.range;
(*
range of the function
*)
py_func_ret_var : Mopsa.var;
py_func_cellvars : Mopsa.var list;
py_func_freevars : Mopsa.var list;

}

Python function descriptor

Sourcetype py_func_sig = {

py_funcs_parameters : Mopsa.var list;
py_funcs_defaults : bool list;
py_funcs_exceptions : Mopsa.expr list;
py_funcs_types_in : Mopsa.expr option list;
py_funcs_type_out : Mopsa.expr option;

}

Sourcetype py_func_annot = {

py_funca_var : Mopsa.var;
py_funca_decors : Mopsa.expr list;
py_funca_range : Mopsa.range;
py_funca_ret_var : Mopsa.var;
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 = {

py_cls_var : Mopsa.var;
(*
class object variable
*)
py_cls_body : Mopsa.stmt;
py_cls_static_attributes : Mopsa.var list;
(*
list of declared attributes: static variables and methods
*)
py_cls_bases : Mopsa.expr list;
(*
base classes
*)
py_cls_decors : Mopsa.expr list;
py_cls_keywords : (string option * Mopsa.expr) list;
(*
keywords (None id for **kwargs)
*)
py_cls_range : Mopsa.range;
(*
range of the class
*)

}

A Python class

Sourcetype py_cls_annot = {

py_cls_a_var : Mopsa.var;
py_cls_a_body : Mopsa.stmt;
py_cls_a_bases : Mopsa.expr list;
py_cls_a_abases : Mopsa.expr list;
py_cls_a_static_attributes : Mopsa.var list;
py_cls_a_range : Mopsa.range;

}

Sourcetype py_excpt = {

py_excpt_type : Mopsa.expr option;
(*
exception class. None is used for the default except
*)
py_excpt_name : Mopsa.var option;
(*
optional name of exception instance
*)
py_excpt_body : Mopsa.stmt;
(*
body of the except handler
*)

}

Exception handler

Sourcetype Mopsa.stmt_kind +=

| S_py_class of py_clsdec
| S_py_function of py_fundec
| S_py_try of Mopsa.stmt * py_excpt list * Mopsa.stmt * Mopsa.stmt
(*
final body
*)
| S_py_raise of Mopsa.expr option
| S_py_if of Mopsa.expr * Mopsa.stmt * Mopsa.stmt
| S_py_while of Mopsa.expr * Mopsa.stmt * Mopsa.stmt
| S_py_multi_assign of Mopsa.expr list * Mopsa.expr
| S_py_aug_assign of Mopsa.expr * Mopsa.operator * Mopsa.expr
| S_py_annot of Mopsa.expr * Mopsa.expr
| S_py_check_annot of Mopsa.expr * Mopsa.expr
| S_py_for of Mopsa.expr * Mopsa.expr * Mopsa.stmt * Mopsa.stmt
(*
else
*)
| S_py_import of string * Mopsa.var option * Mopsa.var
(*
root module
*)
| S_py_import_from of string * string * Mopsa.var * Mopsa.var
(*
module var
*)
| S_py_delete of Mopsa.expr
| S_py_assert of Mopsa.expr * Mopsa.expr option
(*
message
*)
| S_py_with of Mopsa.expr * Mopsa.expr option * Mopsa.stmt
(*
body
*)

Statements

Programs

Sourcetype Mopsa.prog_kind +=

| Py_program of string * Mopsa.var list * Mopsa.stmt
(*
body
*)

module K : sig ... end

Flow-insensitive context to keep the analyzed C program

Source

val py_program_ctx : 
  ('a, string * Mopsa.var list * Mopsa.stmt) Core__Context.ctx_key

Source

val 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

Source

val 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_py_not : Mopsa.expr -> Mopsa_utils.Location.range -> Mopsa.expr

Sourceval mk_except : Mopsa.expr option -> Mopsa.var option -> Mopsa.stmt -> py_excpt

Source

val mk_try : 
  Mopsa.stmt ->
  py_excpt list ->
  Mopsa.stmt ->
  Mopsa.stmt ->
  Mopsa_utils.Location.range ->
  Mopsa.stmt

Sourceval mk_raise : Mopsa.expr -> Mopsa_utils.Location.range -> Mopsa.stmt

Source

val mk_py_call : 
  Mopsa.expr ->
  Mopsa.expr list ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Source

val mk_py_kall : 
  Mopsa.expr ->
  Mopsa.expr list ->
  (string option * Mopsa.expr) list ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Source

val mk_py_attr : 
  Mopsa.expr ->
  string ->
  ?etyp:Mopsa.typ ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Source

val mk_py_index_subscript : 
  Mopsa.expr ->
  Mopsa.expr ->
  ?etyp:Mopsa.typ ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Source

val mk_py_object : 
  (Mopsa.addr * Mopsa.expr option) ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Source

val 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 mk_py_true : Mopsa_utils.Location.range -> Mopsa.expr

Sourceval mk_py_false : Mopsa_utils.Location.range -> Mopsa.expr

Sourceval mk_py_top : Mopsa.typ -> Mopsa_utils.Location.range -> Mopsa.expr

Sourceval object_of_expr : Mopsa.expr -> py_object

Sourceval mk_py_none : Mopsa_utils.Location.range -> Mopsa.expr

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

Source

val py_or : 
  Mopsa.expr ->
  Mopsa.expr ->
  ?etyp:Mopsa.typ ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Source

val py_and : 
  Mopsa.expr ->
  Mopsa.expr ->
  ?etyp:Mopsa.typ ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Source

val mk_py_ll_hasattr : 
  Mopsa.expr ->
  Mopsa.expr ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Source

val mk_py_ll_getattr : 
  Mopsa.expr ->
  Mopsa.expr ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Source

val mk_py_ll_setattr : 
  Mopsa.expr ->
  Mopsa.expr ->
  Mopsa.expr ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Source

val mk_py_ll_delattr : 
  Mopsa.expr ->
  Mopsa.expr ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Lang.Ast`Source

Constants

Types

Expressions

Statements

Programs

Utility functions

Decorators

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Lang.AstSource

Constants

Types

Expressions

Statements

Programs

Utility functions

Decorators

Module `Lang.Ast`Source