Useless Code Identification with Symbolic Execution

Rekha Naug and Dr. Kavita

In large and complex code generation, it is difficult to identify those line of code or block which will never play any role in development. If no of these type of cases increase, the execution time of the application will be increase which decrease the quality of code. The redundant or unnecessary code make the program difficult and complex. It is essential to make the code of program pure, efficient and reliable. We have proposed a new algorithm in which we identify the useless code and remove them. We have used symbolic execution with KLEE which generate symbolic input to reach each and every line of code. The algorithm identifies non reachable path and mark them as unreachable to identify all such scenario we have use a bottom up parser.

Volume 12 | 03-Special Issue

Pages: 17-20

DOI: 10.5373/JARDCS/V12SP3/20201233