Searched refs:VeriFlowAnalysis (Results 1 – 2 of 2) sorted by relevance
109 class VeriFlowAnalysis {111 VeriFlowAnalysis(VeridexResolver* resolver, const ClassDataItemIterator& it) in VeriFlowAnalysis() function122 virtual ~VeriFlowAnalysis() {} in ~VeriFlowAnalysis()190 class FlowAnalysisCollector : public VeriFlowAnalysis {193 : VeriFlowAnalysis(resolver, it) {} in FlowAnalysisCollector()208 class FlowAnalysisSubstitutor : public VeriFlowAnalysis {213 : VeriFlowAnalysis(resolver, it), accesses_(accesses) {} in FlowAnalysisSubstitutor()
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()[all …]