1. A non-transitory computer readable storage medium, comprising executable instructions to: identify 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; extract constraints associated with the path; convert the constraints to a Boolean expression; process 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; perform a static analysis of a feasible path to report any bugs in the feasible path and omit static analysis of an infeasible path; and executable instructions to bit width limit the input to the Boolean satisfiability engine.