core
Core.Post
Post - Post-states of statement execution.
abstraction
ast
bitfields
c
c_common
c_lang
cfg
combiner
combiners
combiners_common
config
congUtils
containers
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
python_lang
reduction
relational
repl
sig
stubs
toplevel
universal
universal_interproc
universal_iterators
universal_numeric
utils_core
value
type 'a post = ('a, unit) Cases.cases
val join : 'a post -> 'a post -> 'a post
val join_list : empty:(unit -> 'a post) -> 'a post list -> 'a post
val meet : 'a post -> 'a post -> 'a post
val meet_list : empty:(unit -> 'a post) -> 'a post list -> 'a post
val return : ?cleaners:Ast.Stmt.block -> 'a Flow.flow -> 'a post
val bind : ('a Flow.flow -> ('a, 'r) Cases.cases) -> 'a post -> ('a, 'r) Cases.cases
val (>>%) : 'a post -> ('a Flow.flow -> ('a, 'r) Cases.cases) -> ('a, 'r) Cases.cases
val bind_opt : ('a Flow.flow -> ('a, 'r) Cases.cases option) -> 'a post -> ('a, 'r) Cases.cases option
val (>>%?) : 'a post -> ('a Flow.flow -> ('a, 'r) Cases.cases option) -> ('a, 'r) Cases.cases option
val remove_duplicates : 'a Lattice.lattice -> 'a post -> 'a post