9. The method of claim 6 comprising: parsing the target source code to identify the path.
6. A method comprising: identifying a path in target source code of a program, wherein the path is a potential sequence of operations carried out when the program is executed; extracting constraints associated with the path; converting the constraints to a Boolean expression; processing by a processor the Boolean expression with a Boolean satisfiability engine to identify either a feasible path or an infeasible path, wherein the infeasible path is a sequence of operations that is never carried out when the program is executed and a feasible path is a sequence of operations that is carried out when the program is executed; and performing a static analysis of a feasible path to report any bugs in the feasible path and omit static analysis of an infeasible path.