Module cwe_checker_lib::analysis::string_abstraction::state

source ·
Expand description

The state module holds all information at CFG nodes that are generated from the String Abstraction analysis. Its content changes until a fixpoint is reached.

Structs

  • State
    Contains all information known about the state of a program at a specific point of time.