Module Common.SoundnessSource

Soundness assumptions

Sourcetype Mopsa.assumption_kind +=
  1. | A_ignore_unsupported_format_string
  2. | A_ignore_undefined_function of string
  3. | A_ignore_undetermined_function_pointer of Mopsa.expr
  4. | A_ignore_modification_undetermined_pointer of Mopsa.expr
  5. | A_ignore_undetermined_exit_functions
  6. | A_ignore_asm of string