Infeasible Paths in Static Analysis: Problems and Challenges

Static analysis is an important part in the detection of vulnerabilities and threats in the software also in program analysis. By improving static analysis is necessary to obtain accurate results and lessen the occurrence of false positive results. Being able to detect infeasible paths is useful in the improvement and development of the results of static analysis. However, the process that is used to identify these infeasible paths is not simple, especially because numerous tools and methods still do not have the efficiency in detecting these kinds of paths within the static analysis. This paper investigates the current approaches to detect infeasible paths in the static analysis and discusses the challenges further.