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, }