1. A computer readable storage medium, comprising executable instructions to: identify a path in target source code; 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; and statically analyze a feasible path and omit static analysis of an infeasible path.