pub struct CfaState { /* private fields */ }
Implementations§
Trait Implementations§
source§impl AbstractState for CfaState
impl AbstractState for CfaState
source§fn transfer(self, insn: &Instruction) -> CfaState
fn transfer(self, insn: &Instruction) -> CfaState
Update an abstract state with the effects of a given instruction.
source§fn is_reachable(&self) -> bool
fn is_reachable(&self) -> bool
Determines whether a given block is considered reachable or
not.
source§fn branch(&self, _pc: usize, insn: &Instruction) -> Self
fn branch(&self, _pc: usize, insn: &Instruction) -> Self
Apply a given branch to this stage, yielding an updated state
at the point of the branch.
source§fn peek(&self, n: usize) -> AbstractValue
fn peek(&self, n: usize) -> AbstractValue
Determine value on top of stack