Return to Article Details The Problems and Challenges of Infeasible Paths in Static Analysis Download Download PDF