Home
last modified time | relevance | path

Searched refs:RegisterSource (Results 1 – 2 of 2) sorted by relevance

/art/tools/veridex/
Dflow_analysis.h33 enum class RegisterSource { enum
48 RegisterValue() : source_(RegisterSource::kNone), in RegisterValue()
52 RegisterValue(RegisterSource source, DexFileReference reference, const VeriClass* type) in RegisterValue()
55 RegisterValue(RegisterSource source, in RegisterValue()
61 RegisterSource GetSource() const { return source_; } in GetSource()
72 bool IsParameter() const { return source_ == RegisterSource::kParameter; } in IsParameter()
73 bool IsClass() const { return source_ == RegisterSource::kClass; } in IsClass()
74 bool IsString() const { return source_ == RegisterSource::kString; } in IsString()
75 bool IsConstant() const { return source_ == RegisterSource::kConstant; } in IsConstant()
79 case RegisterSource::kString: { in ToString()
[all …]
Dflow_analysis.cc107 RegisterSource kind, in UpdateRegister()
120 RegisterValue(RegisterSource::kNone, DexFileReference(nullptr, 0), cls); in UpdateRegister()
125 RegisterValue(RegisterSource::kConstant, value, DexFileReference(nullptr, 0), cls); in UpdateRegister()
137 return RegisterValue(RegisterSource::kMethod, DexFileReference(&dex_file, method_index), cls); in GetReturnType()
144 return RegisterValue(RegisterSource::kField, DexFileReference(&dex_file, field_index), cls); in GetFieldType()
296 RegisterSource::kClass, in ProcessDexInstruction()
303 RegisterSource::kString, in ProcessDexInstruction()
311 RegisterSource::kString, in ProcessDexInstruction()
672 RegisterSource::kParameter, in Run()
721 RegisterSource::kClass, in AnalyzeInvoke()