Software testing is the process that aims to detect the errors in the software product by using test cases, and to discover the components of the software that are responsible of these errors. The testers need to ensure that every component of the software is tested correctly in order to achieve high coverage in terms of testing one or more of the software aspects such as: code, user interface, etc. Many coverage aspects were proposed in testing research field such as node, edge, edge-pair coverage, prime path coverage, etc. By reading many of these studies, we can notice that they propose many solutions for detecting and discovering infeasible paths. An infeasible path is simply any path that cannot be traversed by test cases. Some of the causes of the infeasible paths are dead codes, correlated predicates with respect to a certain variable (which is one of the main reasons for infeasibility in the software programs) or according to the test cases itself. In this paper, a tool is developed to automatically detect the infeasible paths that may exist in source code and that are caused by the logically inconsistent predicates related to dead codes, and by the correlated conditional statements with respect to a certain variable. Our application tool is evaluated against four source codes, and the experimental results showed that the tool can effectively detect infeasible paths except in the source codes that contain while loop structures.