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()
744 RegisterValue FlowAnalysisSubstitutor::AnalyzeInvoke(const Instruction& instruction, in AnalyzeInvoke()772 void FlowAnalysisSubstitutor::AnalyzeFieldSet(const Instruction& instruction ATTRIBUTE_UNUSED) { in AnalyzeFieldSet()