US8209646B2 - Apparatus and Method for Analyzing Source Code Using Path Analysis and Boolean Satisfiability