Wei Le, Mary Lou Soffa
Marple: a demand-driven path-sensitive buffer overflow detector
FSE, 2008.
@inproceedings{FSE-2008-LeS,
author = "Wei Le and Mary Lou Soffa",
booktitle = "{Proceedings of the 16th International Symposium on Foundations of Software Engineering}",
doi = "10.1145/1453101.1453137",
editor = "Mary Jean Harrold and Gail C. Murphy",
isbn = "978-1-59593-995-1",
pages = "272--282",
publisher = "{ACM}",
title = "{Marple: a demand-driven path-sensitive buffer overflow detector}",
year = 2008,
}











