Up – Package index » mopsa » Library mopsa.mopsa_analyzer » Mopsa_analyzer » Languages » C » Common » Soundness

Module `Common.Soundness`

Soundness assumptions

mopsa
- CHANGELOG
- README
- Library mopsa.c_stubs_parser
  - Mopsa_c_stubs_parser
- Library mopsa.mopsa_analyzer
  - Mopsa_analyzer
- Library mopsa.mopsa_build_db
  - Mopsa_build_db
- Library mopsa.mopsa_c_parser
  - Mopsa_c_parser
- Library mopsa.mopsa_c_stubs_parser
- Library mopsa.mopsa_py_parser
  - Mopsa_py_parser
- Library mopsa.mopsa_universal_parser
  - Mopsa_universal_parser
- Library mopsa.mopsa_utils
  - Mopsa_utils
- Library parsing
  - Parsing
- Library passes
  - Passes
- Sources

type MopsaLib.assumption_kind +=

| A_ignore_unsupported_format_string
| A_ignore_undefined_function of string
| A_ignore_undetermined_function_pointer of MopsaLib.expr
| A_ignore_modification_undetermined_pointer of MopsaLib.expr
| A_ignore_undetermined_exit_functions
| A_ignore_asm of string