An Overview of the Singularity Project 1
ESP: path-sensitive program verification in polynomial time