Lines Matching refs:VeriFlowAnalysis

30 void VeriFlowAnalysis::SetAsBranchTarget(uint32_t dex_pc) {  in SetAsBranchTarget()
37 bool VeriFlowAnalysis::IsBranchTarget(uint32_t dex_pc) {  in IsBranchTarget()
41 bool VeriFlowAnalysis::MergeRegisterValues(uint32_t dex_pc) {  in MergeRegisterValues()
51 void VeriFlowAnalysis::SetVisited(uint32_t dex_pc) {  in SetVisited()
55 void VeriFlowAnalysis::FindBranches() {  in FindBranches()
98 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register,  in UpdateRegister()
106 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, const RegisterValue& value) {  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()
120 const RegisterValue& VeriFlowAnalysis::GetRegister(uint32_t dex_register) const {  in GetRegister()
124 RegisterValue VeriFlowAnalysis::GetReturnType(uint32_t method_index) {  in GetReturnType()
132 RegisterValue VeriFlowAnalysis::GetFieldType(uint32_t field_index) {  in GetFieldType()
139 int VeriFlowAnalysis::GetBranchFlags(const Instruction& instruction) const {  in GetBranchFlags()
182 void VeriFlowAnalysis::AnalyzeCode() {  in AnalyzeCode()
228 void VeriFlowAnalysis::ProcessDexInstruction(const Instruction& instruction) {  in ProcessDexInstruction()
657 void VeriFlowAnalysis::Run() {  in Run()