mopsa.mopsa_analyzer
Common.Soundness
Soundness assumptions
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
type Framework.Core.Alarm.assumption_kind +=
| A_py_use_type_annot of MopsaLib.range * MopsaLib.var * Python.Lang.Ast.py_func_sig