Marple: a demand-driven path-sensitive buffer overflow detector

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]

Authors

Wei Le

This author has not been identified. Look up 'Wei Le' in Google

Mary Lou Soffa

This author has not been identified. Look up 'Mary Lou Soffa' in Google