Searched refs:FlowAnalysisSubstitutor (Results 1 – 3 of 3) sorted by relevance
205 class FlowAnalysisSubstitutor : public VeriFlowAnalysis {207 FlowAnalysisSubstitutor(VeridexResolver* resolver, in FlowAnalysisSubstitutor() function
86 FlowAnalysisSubstitutor substitutor(resolver, method, current_uses); in Run()
767 RegisterValue FlowAnalysisSubstitutor::AnalyzeInvoke(const Instruction& instruction, in AnalyzeInvoke()795 void FlowAnalysisSubstitutor::AnalyzeFieldSet([[maybe_unused]] const Instruction& instruction) { in AnalyzeFieldSet()