Home
last modified time | relevance | path

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

/art/tools/veridex/
Dveridex.h45 class VeriClass {
47 VeriClass(const VeriClass& other) = default;
48 VeriClass() = default;
49 VeriClass(Primitive::Type k, uint8_t dims, const DexFile::ClassDef* cl) in VeriClass() function
68 static VeriClass* object_;
69 static VeriClass* class_;
70 static VeriClass* class_loader_;
71 static VeriClass* string_;
72 static VeriClass* throwable_;
73 static VeriClass* boolean_;
[all …]
Dveridex.cc33 static VeriClass z_(Primitive::Type::kPrimBoolean, 0, nullptr);
34 static VeriClass b_(Primitive::Type::kPrimByte, 0, nullptr);
35 static VeriClass c_(Primitive::Type::kPrimChar, 0, nullptr);
36 static VeriClass s_(Primitive::Type::kPrimShort, 0, nullptr);
37 static VeriClass i_(Primitive::Type::kPrimInt, 0, nullptr);
38 static VeriClass f_(Primitive::Type::kPrimFloat, 0, nullptr);
39 static VeriClass d_(Primitive::Type::kPrimDouble, 0, nullptr);
40 static VeriClass j_(Primitive::Type::kPrimLong, 0, nullptr);
41 static VeriClass v_(Primitive::Type::kPrimVoid, 0, nullptr);
43 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.cc100 VeriClass* cls, in UpdateRegister()
110 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, const VeriClass* cls) { in UpdateRegister()
115 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, int32_t value, const VeriClass* cls) { in UpdateRegister()
128 VeriClass* cls = resolver_->GetVeriClass(proto_id.return_type_idx_); in GetReturnType()
135 VeriClass* cls = resolver_->GetVeriClass(field_id.type_idx_); in GetFieldType()
233 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
239 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
246 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
253 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
262 UpdateRegister(register_index, VeriClass::long_); in ProcessDexInstruction()
[all …]
Dresolver.cc37 type_infos_[class_def.class_idx_.index_] = VeriClass(Primitive::Type::kPrimNot, 0, &class_def); in Run()
83 VeriClass* VeridexResolver::GetVeriClass(dex::TypeIndex index) { in GetVeriClass()
86 VeriClass* cls = &type_infos_[index.index_]; in GetVeriClass()
107 type_infos_[index.index_] = VeriClass( in GetVeriClass()
122 VeridexResolver* VeridexResolver::GetResolverOf(const VeriClass& kls) const { in GetResolverOf()
135 VeriMethod VeridexResolver::LookupMethodIn(const VeriClass& kls, in LookupMethodIn()
144 return LookupMethodIn(*VeriClass::object_, method_name, method_signature); in LookupMethodIn()
168 VeriClass* super = resolver->GetVeriClass(kls.GetClassDef()->superclass_idx_); in LookupMethodIn()
182 VeriClass* itf = resolver->GetVeriClass(idx); in LookupMethodIn()
194 VeriField VeridexResolver::LookupFieldIn(const VeriClass& kls, in LookupFieldIn()
[all …]
Dflow_analysis.h51 RegisterValue(RegisterSource source, DexFileReference reference, const VeriClass* type) in RegisterValue()
57 const VeriClass* type) in RegisterValue()
62 const VeriClass* GetType() const { return type_; } in GetType()
80 if (type_ == VeriClass::class_) { in ToString()
102 const VeriClass* type_;
143 uint32_t dex_register, RegisterSource kind, VeriClass* cls, uint32_t source_id);
145 void UpdateRegister(uint32_t dex_register, const VeriClass* cls);
146 void UpdateRegister(uint32_t dex_register, int32_t value, const VeriClass* cls);