Wei Le, Mary Lou Soffa. Marple: a demand-driven path-sensitive buffer overflow detector. In Mary Jean Harrold, Gail C. Murphy, editors, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008. pages 272-282, ACM, 2008. [doi]
Abstract is missing.