mopsa.mopsa_analyzer
C.Hooks
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
module Analysis_bugs : sig ... end
Hook to track some bug patterns in C analysis
module Coverage : sig ... end
Coverage - compute coverage statistics
module Disj : sig ... end
Profiler hook to track the amount of disjunctions