Module cwe_checker_lib::analysis::taint::state

Property space of a taint analysis.

Instances of the State type represent the taint state of memory and registers at a certain location in the program.

Structs

• State
  The state object of the taint analysis representing all known tainted memory and register values at a certain location within the program.