Struct SimpleAbstractInterpreter 

pub struct SimpleAbstractInterpreter { /* private fields */ }

A stub abstract interpreter that runs for a fixed number of steps.

Implementations

impl SimpleAbstractInterpreter

pub fn new(config: AnalysisConfig) -> Self

Create a new interpreter with the given config.

pub fn init_var(&mut self, var: &str, value: IntervalParityProduct)

Set an initial abstract value for a variable.

pub fn results(&self) -> &AnalysisResults

Return a reference to current results.

pub fn alarms(&self) -> &AlarmCollector

Return a reference to collected alarms.

pub fn run_stub(&mut self) -> InterpretationSummary

Return a summary (stub: always converges in 1 iteration).