mopsa.mopsa_analyzer
Cfg.Iterator
General intraprocedural iterator on Control Flow Graphs.
mopsa.c_stubs_parser
mopsa.mopsa_build_db
mopsa.mopsa_c_parser
mopsa.mopsa_c_stubs_parser
mopsa.mopsa_py_parser
mopsa.mopsa_universal_parser
mopsa.mopsa_utils
parsing
passes
val name : string
val opt_decreasing_iter : int ref
Number of decreasing iterations after widening stabilisation.
module Domain : sig ... end