Function veriwasm::runner::run_locals

pub fn run_locals(
    reaching_defs: AnalysisResult<VariableState<ReachingDefnLattice>>, 
    call_analysis: AnalysisResult<CallCheckLattice>, 
    plt_bounds: (u64, u64), 
    all_addrs_map: &HashMap<u64, String>, 
    func_signatures: &VwFuncInfo, 
    func_name: &String, 
    cfg: &VW_CFG, 
    irmap: &IRMap, 
    metadata: &VwMetadata, 
    valid_funcs: &Vec<u64>
) -> bool