Module cwe_checker_lib::utils::debug

Little helpers for developers that try to understand what their code is doing.

Structs

• Settings
  Configuration of the debugging behavior.
• SettingsBuilder

Enums

• IrForm
  Substages of the IR generation that can be debugged separately.
• PcodeForm
  Substages of the Pcode transformation that can be debugged separately.
• Stage
  Stages of the analysis that can be debugged separately.
• TerminationPolicy
  Selects whether the analysis is aborted after reaching the point of interest.
• Verbosity
  Controls generation of log messages.

Traits

• ToJsonCompact
  Central utility for debug printing in the cwe_checker.