Nurit Dor, Michael Rodeh, Shmuel Sagiv. CSSV: towards a realistic tool for statically detecting all buffer overflows in C. In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003. pages 155-167, ACM, 2003. [doi]
@inproceedings{DorRS03,
title = {CSSV: towards a realistic tool for statically detecting all buffer overflows in C},
author = {Nurit Dor and Michael Rodeh and Shmuel Sagiv},
year = {2003},
doi = {10.1145/781131.781149},
url = {http://doi.acm.org/10.1145/781131.781149},
tags = {C++},
researchr = {https://researchr.org/publication/DorRS03},
cites = {0},
citedby = {0},
pages = {155-167},
booktitle = {Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, San Diego, California, USA, June 9-11, 2003},
publisher = {ACM},
isbn = {1-58113-662-5},
}