Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution

Figure 6

Applying backward analysis and forward analysis on the motivating example.