Lines Matching refs:resolver_
32 : resolver_(resolver), in VeriFlowAnalysis()
111 kind, DexFileReference(&resolver_->GetDexFile(), source_id), cls); in UpdateRegister()
133 const DexFile& dex_file = resolver_->GetDexFile(); in GetReturnType()
136 VeriClass* cls = resolver_->GetVeriClass(proto_id.return_type_idx_); in GetReturnType()
141 const DexFile& dex_file = resolver_->GetDexFile(); in GetFieldType()
143 VeriClass* cls = resolver_->GetVeriClass(field_id.type_idx_); in GetFieldType()
505 VeriClass* cls = resolver_->GetVeriClass(dex::TypeIndex(instruction.VRegB_21c())); in ProcessDexInstruction()
512 VeriClass* cls = resolver_->GetVeriClass(type_index); in ProcessDexInstruction()
519 VeriClass* cls = resolver_->GetVeriClass(type_index); in ProcessDexInstruction()
527 VeriClass* cls = resolver_->GetVeriClass(type_index); in ProcessDexInstruction()
579 if (VeriClass::sdkInt_ != nullptr && resolver_->GetField(field_index) == VeriClass::sdkInt_) { in ProcessDexInstruction()
647 UpdateRegister(reference, resolver_->GetVeriClass(type_index)); in ProcessDexInstruction()
674 DexFileReference(&resolver_->GetDexFile(), method_id_), in Run()
689 VeriMethod method = resolver_->GetMethod(id); in AnalyzeInvoke()
722 DexFileReference(&resolver_->GetDexFileOf(*cls), def->class_idx_.index_), in AnalyzeInvoke()
747 MethodReference method(&resolver_->GetDexFile(), id); in AnalyzeInvoke()