Searched defs:dex_register (Results 1 – 1 of 1) sorted by relevance
106 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, in UpdateRegister()114 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, const RegisterValue& value) { in UpdateRegister()118 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, const VeriClass* cls) { in UpdateRegister()123 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, int32_t value, const VeriClass* cls) { in UpdateRegister()