Struct DataflowAnalysis 

pub struct DataflowAnalysis {
    pub direction: AnalysisDirection,
    pub values: HashMap<usize, AbstractState>,
}

A dataflow analysis: associates abstract values to program points.

Fields

direction: AnalysisDirection

Whether this is a forward or backward analysis

values: HashMap<usize, AbstractState>

Abstract values at each program point (indexed by label)

Implementations

impl DataflowAnalysis

pub fn new_forward() -> Self

Create a new (initially bottom) forward dataflow analysis.

pub fn new_backward() -> Self

Create a new (initially bottom) backward dataflow analysis.

pub fn at(&self, label: usize) -> AbstractState

Get the abstract value at a program point.

pub fn set_at(&mut self, label: usize, state: AbstractState)

Set the abstract value at a program point.