US8365152B2 - Path-Sensitive Analysis Through Infeasible-Path Detection and Syntactic Language Refinement