Searched refs:accesses_ (Results 1 – 2 of 2) sorted by relevance
213 : VeriFlowAnalysis(resolver, it), accesses_(accesses) {} in FlowAnalysisSubstitutor()226 const std::map<MethodReference, std::vector<ReflectAccessInfo>>& accesses_; variable
742 if (accesses_.find(method) == accesses_.end()) { in AnalyzeInvoke()749 for (const ReflectAccessInfo& info : accesses_.at(method)) { in AnalyzeInvoke()