Struct FixpointSolver 

pub struct FixpointSolver<V: Clone + PartialEq> {
    pub num_nodes: usize,
    pub values: Vec<V>,
    pub edges: Vec<Vec<usize>>,
    pub bottom: V,
    pub join: fn(&V, &V) -> V,
    pub transfer: fn(usize, &V) -> V,
}

A generic monotone framework fixpoint solver. Each node in the program has an associated abstract value.

Fields

num_nodes: usize

Number of program points.

values: Vec<V>

Current abstract values.

edges: Vec<Vec<usize>>

CFG edges: edges[n] = successors of n.

bottom: V

Bottom element.

join: fn(&V, &V) -> V

Join function.

transfer: fn(usize, &V) -> V

Transfer function: transfer(node, value_in) -> value_out.

Implementations

impl<V: Clone + PartialEq> FixpointSolver<V>

pub fn new( num_nodes: usize, edges: Vec<Vec<usize>>, bottom: V, join: fn(&V, &V) -> V, transfer: fn(usize, &V) -> V, ) -> Self

pub fn solve(&mut self)

Run worklist fixpoint iteration.