Qualified Data Flow [Holly & Rosen, TSE’81]
Goal to eliminate infeasible paths from the analysis
Infeasible paths: finite set of assertions about path conditions
Technique: develop qualified data flow problem
- Put restrictions on paths to be considered
-
Technique eliminates infeasible paths from analysis by duplicating paths