Infeasible paths in object-oriented programs
Object-oriented programs may contain infeasible paths due to correlated method calls. Existing dataflow analysis algorithms do not account precisely for infeasible paths. We discuss how more precise dataflow analysis algorithms can be designed.
dataflow analysis feasible paths ifds algorithm program analysis