mopsa.mopsa_analyzer
Objects.Dict
A general smashing abstraction for Python dicts
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
type MopsaLib.addr_kind +=
| A_py_dict
| A_py_dict_view of string
val opt_py_dict_allocation_policy : string ref
module Domain : sig ... end