Home
last modified time | relevance | path

Searched refs:VeriClass (Results 1 – 6 of 6) sorted by relevance

/art/tools/veridex/
Dveridex.h48 class VeriClass {
50 VeriClass() = default;
51 VeriClass(Primitive::Type k, uint8_t dims, const dex::ClassDef* cl) in VeriClass() function
70 static VeriClass* object_;
71 static VeriClass* class_;
72 static VeriClass* class_loader_;
73 static VeriClass* string_;
74 static VeriClass* throwable_;
75 static VeriClass* boolean_;
76 static VeriClass* byte_;
[all …]
Dveridex.cc34 static VeriClass z_(Primitive::Type::kPrimBoolean, 0, nullptr);
35 static VeriClass b_(Primitive::Type::kPrimByte, 0, nullptr);
36 static VeriClass c_(Primitive::Type::kPrimChar, 0, nullptr);
37 static VeriClass s_(Primitive::Type::kPrimShort, 0, nullptr);
38 static VeriClass i_(Primitive::Type::kPrimInt, 0, nullptr);
39 static VeriClass f_(Primitive::Type::kPrimFloat, 0, nullptr);
40 static VeriClass d_(Primitive::Type::kPrimDouble, 0, nullptr);
41 static VeriClass j_(Primitive::Type::kPrimLong, 0, nullptr);
42 static VeriClass v_(Primitive::Type::kPrimVoid, 0, nullptr);
44 VeriClass* VeriClass::boolean_ = &z_;
[all …]
Dresolver.h42 type_infos_(dex_file.NumTypeIds(), VeriClass()), in VeridexResolver()
51 VeriClass* GetVeriClass(dex::TypeIndex index);
60 VeriMethod LookupMethodIn(const VeriClass& kls,
65 VeriField LookupFieldIn(const VeriClass& kls,
70 VeriMethod LookupDeclaredMethodIn(const VeriClass& kls,
82 const DexFile& GetDexFileOf(const VeriClass& kls) { in GetDexFileOf()
88 VeridexResolver* GetResolverOf(const VeriClass& kls) const;
93 std::vector<VeriClass> type_infos_;
Dflow_analysis.cc116 VeriClass* cls, in UpdateRegister()
132 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, const VeriClass* cls) { in UpdateRegister()
139 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, int32_t value, const VeriClass* cls) { in UpdateRegister()
154 VeriClass* cls = resolver_->GetVeriClass(proto_id.return_type_idx_); in GetReturnType()
161 VeriClass* cls = resolver_->GetVeriClass(field_id.type_idx_); in GetFieldType()
264 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
270 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
277 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
284 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
293 UpdateRegister(register_index, VeriClass::long_); in ProcessDexInstruction()
[all …]
Dresolver.cc38 type_infos_[type_idx] = VeriClass(Primitive::Type::kPrimNot, 0, &accessor.GetClassDef()); in Run()
73 VeriClass* VeridexResolver::GetVeriClass(dex::TypeIndex index) { in GetVeriClass()
76 VeriClass* cls = &type_infos_[index.index_]; in GetVeriClass()
97 type_infos_[index.index_] = VeriClass( in GetVeriClass()
112 VeridexResolver* VeridexResolver::GetResolverOf(const VeriClass& kls) const { in GetResolverOf()
125 VeriMethod VeridexResolver::LookupMethodIn(const VeriClass& kls, in LookupMethodIn()
134 return LookupMethodIn(*VeriClass::object_, method_name, method_signature); in LookupMethodIn()
154 VeriClass* super = resolver->GetVeriClass(kls.GetClassDef()->superclass_idx_); in LookupMethodIn()
168 VeriClass* itf = resolver->GetVeriClass(idx); in LookupMethodIn()
180 VeriField VeridexResolver::LookupFieldIn(const VeriClass& kls, in LookupFieldIn()
[all …]
Dflow_analysis.h52 RegisterValue(RegisterSource source, DexFileReference reference, const VeriClass* type) in RegisterValue()
58 const VeriClass* type) in RegisterValue()
63 const VeriClass* GetType() const { return type_; } in GetType()
81 if (type_ == VeriClass::class_) { in ToString()
103 const VeriClass* type_;
139 uint32_t dex_register, RegisterSource kind, VeriClass* cls, uint32_t source_id);
141 void UpdateRegister(uint32_t dex_register, const VeriClass* cls);
142 void UpdateRegister(uint32_t dex_register, int32_t value, const VeriClass* cls);