package mopsa

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Soundness assumptions

type 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
OCaml

Innovation. Community. Security.