cpython
Cmodule.EquivBaseAddrs
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
include sig ... end
type t = AddrSet.t * OtherMap.t
val bottom : t
val top : t
val singleton : t -> t
val map_fst : (AddrSet.t -> AddrSet.t) -> t -> t
val map_snd : (OtherMap.t -> OtherMap.t) -> t -> t
val subset : t -> t -> bool
val apply : ('a -> 'a) -> ('b -> 'b) -> ('a * 'b) -> 'a * 'b
val apply2 : ('a -> 'a -> 'a) -> ('b -> 'b -> 'b) -> ('a * 'b) -> ('a * 'b) -> 'a * 'b
val join : t -> t -> t
val meet : t -> t -> t
val print : Core.All.printer -> t -> unit
val empty : AddrSet.t * OtherMap.t
val is_bottom : (AddrSet.t * OtherMap.t) -> bool
val find_opt_from_c : C.Common.Points_to.points_to -> ('a, AddrSet.t * OtherMap.t) Core.Manager.man -> 'a Core.Flow.flow -> Mopsa.addr option
val find_opt_from_py : Mopsa.addr -> Mopsa_utils.Location.range -> ('a, AddrSet.t * OtherMap.t) Core.Manager.man -> 'a Core.Flow.flow -> C.Common.Points_to.points_to option
val add_addr : AddrSet.Set.elt -> ('a, AddrSet.t * 'b) Core.Manager.man -> 'a Core.Flow.flow -> 'a Core.Flow.flow
val add_c_py_equiv : C.Common.Points_to.points_to -> OtherMap.ValueSet.elt -> ('a, 'b * OtherMap.t) Core.Manager.man -> 'a Core.Flow.flow -> 'a Core.Flow.flow
val rename_addr : Mopsa.addr -> AddrSet.Set.elt -> ('a, AddrSet.t * OtherMap.t) Core.Manager.man -> 'a Core.Flow.flow -> 'a Core.Flow.flow * bool
val widen : 'a -> t -> t -> t