cpython
Domain.CallstackMap
abstraction
ast
bitfields
c
c_common
c_lang
cfg
combiner
combiners
combiners_common
config
congUtils
containers
core
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
python_lang
reduction
relational
repl
sig
stubs
toplevel
universal
universal_interproc
universal_iterators
universal_numeric
utils_core
value
type t = (Universal.Ast.Addr.t, Callstacks.t) Mopsa_utils.MapExtPoly.t Mopsa_utils.Bot_top.with_bot_top
val bottom : t
val top : t
val is_bottom : t -> bool
val empty : t
val subset : t -> t -> bool
val join : t -> t -> t
val widen : 'a Core.Context.ctx -> t -> t -> t
val meet : t -> t -> t
val print : Core.All.printer -> t -> unit
val find : Universal.Ast.Addr.t -> t -> Callstacks.t
val find_opt : Universal.Ast.Addr.t -> t -> Callstacks.t option
val remove : Universal.Ast.Addr.t -> t -> t
val add : Universal.Ast.Addr.t -> Callstacks.t -> t -> t
val rename : Universal.Ast.Addr.t -> Universal.Ast.Addr.t -> t -> t
val singleton : Universal.Ast.Addr.t -> Callstacks.t -> t
val filter : (Universal.Ast.Addr.t -> Callstacks.t -> bool) -> t -> t
val partition : (Universal.Ast.Addr.t -> Callstacks.t -> bool) -> t -> t * t
val iter : (Universal.Ast.Addr.t -> Callstacks.t -> unit) -> t -> unit
val fold : (Universal.Ast.Addr.t -> Callstacks.t -> 'b -> 'b) -> t -> 'b -> 'b
val fold2o : ('a -> 'b -> 'c -> 'c) -> ('a -> 'd -> 'c -> 'c) -> ('a -> 'b -> 'd -> 'c -> 'c) -> ('a, 'b) Mopsa_utils.MapExtPoly.t Mopsa_utils.Bot_top.with_bot_top -> ('a, 'd) Mopsa_utils.MapExtPoly.t Mopsa_utils.Bot_top.with_bot_top -> 'c -> 'c
val fold2zo : ('a -> 'b -> 'c -> 'c) -> ('a -> 'b -> 'c -> 'c) -> ('a -> 'b -> 'b -> 'c -> 'c) -> ('a, 'b) Mopsa_utils.MapExtPoly.t Mopsa_utils.Bot_top.with_bot_top -> ('a, 'b) Mopsa_utils.MapExtPoly.t Mopsa_utils.Bot_top.with_bot_top -> 'c -> 'c
val mem : Universal.Ast.Addr.t -> t -> bool
val canonize : t -> t
val map : (Callstacks.t -> Callstacks.t) -> t -> t
val mapi : (Universal.Ast.Addr.t -> Callstacks.t -> Callstacks.t) -> t -> t
val map_p : ((Universal.Ast.Addr.t * Callstacks.t) -> Universal.Ast.Addr.t * Callstacks.t) -> t -> (Universal.Ast.Addr.t, Callstacks.t) Mopsa_utils.MapExtPoly.t Mopsa_utils.Bot_top.with_bot_top
val bindings : t -> (Universal.Ast.Addr.t * Callstacks.t) list
val for_all : (Universal.Ast.Addr.t -> Callstacks.t -> bool) -> t -> bool
val exists : (Universal.Ast.Addr.t -> Callstacks.t -> bool) -> t -> bool
val max_binding : t -> (Universal.Ast.Addr.t * Callstacks.t) option
val cardinal : t -> int
val map2zo : (Universal.Ast.Addr.t -> Callstacks.t -> Callstacks.t) -> (Universal.Ast.Addr.t -> Callstacks.t -> Callstacks.t) -> (Universal.Ast.Addr.t -> Callstacks.t -> Callstacks.t -> Callstacks.t) -> t -> t -> t