Searched refs:UpdateRegister (Results 1 – 2 of 2) sorted by relevance
| /art/tools/veridex/ |
| D | flow_analysis.cc | 106 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, in UpdateRegister() function in art::VeriFlowAnalysis
114 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, const RegisterValue& value) { in UpdateRegister() function in art::VeriFlowAnalysis
118 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, const VeriClass* cls) { in UpdateRegister() function in art::VeriFlowAnalysis
123 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, int32_t value, const VeriClass* cls) { in UpdateRegister() function in art::VeriFlowAnalysis
241 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
247 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
254 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
261 UpdateRegister(register_index, value, VeriClass::integer_); in ProcessDexInstruction()
270 UpdateRegister(register_index, VeriClass::long_); in ProcessDexInstruction()
277 UpdateRegister(instruction.VRegA(), GetRegister(instruction.VRegB())); in ProcessDexInstruction()
[all …]
|
| D | flow_analysis.h | 138 void UpdateRegister(
140 void UpdateRegister(uint32_t dex_register, const RegisterValue& value);
141 void UpdateRegister(uint32_t dex_register, const VeriClass* cls);
142 void UpdateRegister(uint32_t dex_register, int32_t value, const VeriClass* cls);
|