Module evmil::dfa

Structs

An abstract value is either a known constant, or an unknown (i.e. arbitrary value).

Bottom represents the empty set of stacks.

Represents the singleton set of empty abstract stacks (which is distinct from empty set of stacks).