python_lang
Lang.Utils
abstraction
ast
bitfields
c
c_common
c_lang
cfg
combiner
combiners
combiners_common
config
congUtils
containers
core
cpython
domain
engines
framework
heap
hooks
interactive
intervals
itvUtils
lang
lattices
mopsa
mopsa.c_stubs_parser
mopsa.mopsa_analyzer
mopsa.mopsa_analzyer
mopsa.mopsa_build_db
mopsa.mopsa_c_parser
mopsa.mopsa_c_stubs_parser
mopsa.mopsa_py_parser
mopsa.mopsa_universal_parser
mopsa.mopsa_utils
numeric_common
numeric_reductions
numeric_values
output
params
parsing
passes
powersets
python
reduction
relational
repl
sig
stubs
toplevel
universal
universal_interproc
universal_iterators
universal_numeric
utils_core
value
val debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a
val partition_list_by_length : int -> 'a list -> 'a list * 'a list
val mk_builtin_raise : string -> Mopsa_utils.Location.range -> Mopsa.stmt
val mk_builtin_raise_args : string -> Mopsa.expr list -> Mopsa_utils.Location.range -> Mopsa.stmt
val mk_builtin_raise_msg : string -> string -> Mopsa_utils.Location.range -> Mopsa.stmt
val mk_builtin_call : string -> Mopsa.expr list -> Mopsa_utils.Location.range -> Mopsa.expr
val mk_hasattr : Mopsa.expr -> string -> Mopsa_utils.Location.range -> Mopsa.expr
val mk_object_hasattr : (Mopsa.addr * Mopsa.expr option) -> string -> Mopsa_utils.Location.range -> Mopsa.expr
val mk_addr_hasattr : Ast.Addr.addr -> string -> Mopsa_utils.Location.range -> Mopsa.expr
val mk_try_stopiteration : Mopsa.stmt -> Mopsa.stmt -> Mopsa_utils.Location.range -> Mopsa.stmt
val 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
val 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
val strip_object : Mopsa.expr -> Mopsa.expr
val 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
val 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
val change_var_type : Mopsa.typ -> Mopsa.var -> Mopsa.var
val change_evar_type : Mopsa.typ -> Mopsa.expr -> Mopsa.expr
val extract_oobject : Mopsa.expr -> Mopsa.expr
val get_eobj_itv : ('a, 'b) Mopsa.man -> 'a Core.Flow.flow -> Mopsa.expr -> Mopsa.ItvUtils.IntItv.t Mopsa.Bot.with_bot
val 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
val check : ('a, 'b) Mopsa.man -> Mopsa.expr -> Mopsa_utils.Location.range -> 'a Core.Flow.flow -> ('a, Ast.Expr.expr) Core.Cases.cases