Wei Le, Mary Lou Soffa: Refining buffer overflow detection via demand-driven path-sensitive analysis. PASTE 2007: 63-68