Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution

Figure 2

The distribution of loops and equations in infeasible paths.

(a)

(b)