Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution

<table class="table-group" id="tab2"><tr><td><table class="table"><tr><td class="thead-hr" colspan="5"><hr/></td></tr><tr class="thead"><td class="align_left">Name</td><td class="align_center">Files</td><td class="align_center">LOC</td><td class="align_center">LDEP</td><td class="align_center">Proportion</td></tr><tr><td class="thead-hr" colspan="5"><hr/></td></tr><tr><td class="align_left">Coreutils-8.24</td><td class="align_center">174</td><td class="align_center">60164</td><td class="align_center">266</td><td class="align_center">4.4/KLOC</td></tr><tr class="table-tr"><td colspan="5"><hr class="tbody-hr"/></td></tr></table></td></tr></table>

<div>Appearance of LDEP in Coreutils.</div>

Mathematical Problems in Engineering

tab2

Table 2

Table 2: Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution 