Research Article

Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution

Figure 3

Example of LDEP.