Module `Lang.Addr`Source

Heap addresses of Python objects.

Sourceval debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a

Addresses

Sourcetype class_address =

| C_builtin of string
| C_user of Python_lang__.Ast.py_clsdec
| C_unsupported of string
(*
unsupported class
*)
| C_annot of Python_lang__.Ast.py_cls_annot
(*
class annotations
*)

Classes

Sourcetype function_address =

| F_builtin of string * string
| F_user of Python_lang__.Ast.py_fundec
| F_unsupported of string
(*
unsupported function
*)
| F_annot of Python_lang__.Ast.py_func_annot

Functions

Sourcetype module_address =

| M_user of string * Mopsa.var list
(*
globals
*)
| M_builtin of string
(*
name
*)

Sourcetype Mopsa.addr_kind +=

| A_py_class of class_address * (Mopsa.addr * Mopsa.expr option) list
(*
mro
*)
| A_py_function of function_address
(*
function
*)
| A_py_method of Mopsa.addr * Mopsa.expr option * Mopsa.addr * Mopsa.expr option * string
| A_py_module of module_address

These addresses refer only to static objects

Source

val eval_alloc : 
  ?mode:Mopsa.mode ->
  ('a, 'b) Mopsa.man ->
  Ast.Addr.addr_kind ->
  Mopsa_utils.Location.range ->
  'a Core.Flow.flow ->
  ('a, Ast.Addr.addr) Mopsa.Cases.cases

Allocate an object on the heap and return its address as an evaluation

Built-ins

Sourceval classes : (string, Mopsa.addr * Mopsa.expr option) Stdlib.Hashtbl.t

Lists of built-ins

Sourceval functions : (string, Mopsa.addr * Mopsa.expr option) Stdlib.Hashtbl.t

Sourceval modules : (string, Mopsa.addr * Mopsa.expr option) Stdlib.Hashtbl.t

Sourceval type_aliases : (Mopsa.var, Mopsa.expr) Stdlib.Hashtbl.t

Sourceval typed_functions : (string, Mopsa.addr * Mopsa.expr option) Stdlib.Hashtbl.t

Sourceval mk_dot_name : string option -> string -> string

Name of a builtin with an optional dot notation in case of sub-objects (methods of classes, etc.)

Sourceval split_dot_name : string -> (string * string) option

Return the base and the attribute of a dot name

Sourceval addr_of_object : (Mopsa.addr * Mopsa.expr option) -> Mopsa.addr

Address of an object

Sourceval kind_of_object : (Mopsa.addr * Mopsa.expr option) -> Mopsa.addr_kind

Sourceval oobject_name : (Mopsa.addr * Mopsa.expr option) -> string option

Name of an object

Sourceval object_name : (Mopsa.addr * Mopsa.expr option) -> string

Sourceval add_type_alias : Mopsa.var -> Mopsa.expr -> unit

Sourceval find_type_alias_by_name : string -> Mopsa.expr

Sourceval add_builtin_class : (Mopsa.addr * Mopsa.expr option) -> unit -> unit

Sourceval print_classes : Stdlib.Format.formatter -> 'a -> unit

Sourceval print_functions : Stdlib.Format.formatter -> 'a -> unit

Sourceval add_builtin_function : (Mopsa.addr * Mopsa.expr option) -> unit -> unit

Sourceval add_typed : (Mopsa.addr * Mopsa.expr option) -> unit

Sourceval add_typed_overload : (Mopsa.addr * Mopsa.expr option) -> unit

Sourceval add_builtin_module : (Mopsa.addr * Mopsa.expr option) -> unit -> unit

Sourceval find_builtin : string -> Mopsa.addr * Mopsa.expr option

Search for the address of a builtin given its name

Sourceval find_builtin_function : string -> Mopsa.addr * Mopsa.expr option

Sourceval is_object_unsupported : (Mopsa.addr * Mopsa.expr option) -> bool

Sourceval is_builtin_name : string -> bool

Check whether a built-in exists given its name

Sourceval is_builtin_var : Mopsa.var -> bool

Sourceval is_builtin_module : string -> bool

Sourceval find_builtin_module : string -> Mopsa.addr * Mopsa.expr option

Sourceval is_builtin_attribute : (Mopsa.addr * Mopsa.expr option) -> string -> bool

Check whether an attribute of a built-in object exists, given its name

Source

val find_builtin_attribute : 
  (Mopsa.addr * Mopsa.expr option) ->
  string ->
  Mopsa.addr * Mopsa.expr option

Search for the address of a builtin attribute

Sourceval is_builtin_class_function : string -> string -> bool

Check whether a dot-named function f is a member of the class cls

Utility functions

Sourceval mk_py_z_interval : Z.t -> Z.t -> Mopsa_utils.Location.range -> Mopsa.expr

Source

val mk_py_float_interval : 
  float ->
  float ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Source

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

Source

val mk_py_issubclass_builtin_r : 
  Mopsa.expr ->
  string ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Source

val mk_py_issubclass_builtin_l : 
  string ->
  Mopsa.expr ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Source

val mk_py_issubclass_builtin2 : 
  string ->
  string ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Source

val mk_py_hasattr : 
  Mopsa.expr ->
  string ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

Source

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

Source

val mk_py_isinstance_builtin : 
  Mopsa.expr ->
  string ->
  Mopsa_utils.Location.range ->
  Mopsa.expr

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

Sourcetype py_c_function_kind =

| Builtin_function_or_method
| Wrapper_descriptor of string option
| Method_descriptor

Sourceval str_of_py_c_function_kind : py_c_function_kind -> string

Sourcetype Mopsa.addr_kind +=

| A_py_c_module of string
(*
name
*)
| A_py_c_function of string * int * py_c_function_kind * int option * Mopsa.addr * Mopsa.expr option
(*
self
*)
| A_py_c_class of string
(*
name
*)

Sourceexception C3_lin_failure

Source

val c3_lin : 
  (Mopsa.addr * Mopsa.expr option) ->
  (Mopsa.addr * Mopsa.expr option) list

Computes the c3 linearization of an object. This is Python's approach to deal with redundant parents in the inheritance

Source

val merge : 
  (Mopsa.addr * Mopsa.expr option) list list ->
  (Mopsa.addr * Mopsa.expr option) list

Source

val search_c : 
  (Mopsa.addr * Mopsa.expr option) list list ->
  (Mopsa.addr * Mopsa.expr option) option

Source

val create_builtin_class : 
  class_address ->
  'a ->
  'b ->
  (Mopsa.addr * Mopsa.expr option) list ->
  'c ->
  unit

Source

val builtin_cl_and_mro : 
  string ->
  class_address * (Mopsa.addr * Mopsa.expr option) list

Sourcetype Mopsa.addr_kind +=

| A_py_instance of Mopsa.addr

Sourceval nominal_type_of_addr_kind : (Mopsa.addr_kind -> string) Stdlib.ref

Source

val structural_type_of_addr_kind : 
  (Mopsa.addr_kind -> string -> bool) Stdlib.ref

Source

val register_addr_kind_nominal_type : 
  ((Mopsa.addr_kind -> string) -> Mopsa.addr_kind -> string) ->
  unit

Source

val register_addr_kind_structural_type : 
  ((Mopsa.addr_kind -> string -> bool) -> Mopsa.addr_kind -> string -> bool) ->
  unit

Sourceval addr_kind_find_nominal_type : Mopsa.addr_kind -> string

Sourceval addr_kind_find_structural_type : Mopsa.addr_kind -> string -> bool

Source

val mro : 
  (Mopsa.addr * Mopsa.expr option) ->
  (Mopsa.addr * Mopsa.expr option) list

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module `Lang.Addr`Source

Addresses

Built-ins

Utility functions

package mopsa

Install

Dune Dependency

Authors

Maintainers

Sources

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

Module Lang.AddrSource

Addresses

Built-ins

Utility functions

Module `Lang.Addr`Source