Module haybale::config

source ·
Expand description

The Config structure for configuring haybale, and other associated definitions

Structs

  • Config
    Various settings which affect how the symbolic execution is performed.

Enums

  • Concretize
    Enum used for the concretize_memcpy_lengths option in Config.
  • Demangling
    Enum used for the demangling option in Config.
  • NullPointerChecking
    Enum used for the null_pointer_checking option in Config.