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);
|