Lines Matching refs:resolver_
32 : resolver_(resolver), in VeriFlowAnalysis()
122 kind, DexFileReference(&resolver_->GetDexFile(), source_id), cls); in UpdateRegister()
151 const DexFile& dex_file = resolver_->GetDexFile(); in GetReturnType()
154 VeriClass* cls = resolver_->GetVeriClass(proto_id.return_type_idx_); in GetReturnType()
159 const DexFile& dex_file = resolver_->GetDexFile(); in GetFieldType()
161 VeriClass* cls = resolver_->GetVeriClass(field_id.type_idx_); in GetFieldType()
528 VeriClass* cls = resolver_->GetVeriClass(dex::TypeIndex(instruction.VRegB_21c())); in ProcessDexInstruction()
535 VeriClass* cls = resolver_->GetVeriClass(type_index); in ProcessDexInstruction()
542 VeriClass* cls = resolver_->GetVeriClass(type_index); in ProcessDexInstruction()
550 VeriClass* cls = resolver_->GetVeriClass(type_index); in ProcessDexInstruction()
602 if (VeriClass::sdkInt_ != nullptr && resolver_->GetField(field_index) == VeriClass::sdkInt_) { in ProcessDexInstruction()
670 UpdateRegister(reference, resolver_->GetVeriClass(type_index)); in ProcessDexInstruction()
697 DexFileReference(&resolver_->GetDexFile(), method_id_), in Run()
712 VeriMethod method = resolver_->GetMethod(id); in AnalyzeInvoke()
745 DexFileReference(&resolver_->GetDexFileOf(*cls), def->class_idx_.index_), in AnalyzeInvoke()
770 MethodReference method(&resolver_->GetDexFile(), id); in AnalyzeInvoke()