Searched refs:VeriFlowAnalysis (Results 1 – 2 of 2) sorted by relevance
| /art/tools/veridex/ |
| D | flow_analysis.h | 110 class VeriFlowAnalysis {
112 VeriFlowAnalysis(VeridexResolver* resolver, const ClassAccessor::Method& method);
118 virtual ~VeriFlowAnalysis() {} in ~VeriFlowAnalysis()
187 class FlowAnalysisCollector : public VeriFlowAnalysis {
190 : VeriFlowAnalysis(resolver, method) {} in FlowAnalysisCollector()
205 class FlowAnalysisSubstitutor : public VeriFlowAnalysis {
210 : VeriFlowAnalysis(resolver, method), accesses_(accesses) {} in FlowAnalysisSubstitutor()
|
| D | flow_analysis.cc | 30 VeriFlowAnalysis::VeriFlowAnalysis(VeridexResolver* resolver, in VeriFlowAnalysis() function in art::VeriFlowAnalysis
38 void VeriFlowAnalysis::SetAsBranchTarget(uint32_t dex_pc) { in SetAsBranchTarget()
45 bool VeriFlowAnalysis::IsBranchTarget(uint32_t dex_pc) { in IsBranchTarget()
49 bool VeriFlowAnalysis::MergeRegisterValues(uint32_t dex_pc) { in MergeRegisterValues()
62 void VeriFlowAnalysis::SetVisited(uint32_t dex_pc) { in SetVisited()
66 void VeriFlowAnalysis::FindBranches() { in FindBranches()
114 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, in UpdateRegister()
126 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, const RegisterValue& value) { in UpdateRegister()
132 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, const VeriClass* cls) { in UpdateRegister()
139 void VeriFlowAnalysis::UpdateRegister(uint32_t dex_register, int32_t value, const VeriClass* cls) { in UpdateRegister()
[all …]
|