Function veriwasm::analyses::run_worklist [−][src]
pub fn run_worklist<T: AbstractAnalyzer<State>, State: VarState + Lattice + Clone>(
cfg: &VW_CFG,
irmap: &IRMap,
analyzer: &T
) -> AnalysisResult<State>