mopsa.mopsa_analyzer
Universal.Iterators
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 Interproc : sig ... end
module Intraproc : sig ... end
Intra-procedural iterator for blocks, assignments and tests
module Loops : sig ... end
Loops iterator with widening
module Program : sig ... end
Main handler of Universal programs.
module Unittest : sig ... end
Unit tests iterator.