%0 Conference Paper %1 conf/pldi/DorRS03 %A Dor, Nurit %A Rodeh, Michael %A Sagiv, Shmuel %B PLDI %D 2003 %E Cytron, Ron %E Gupta, Rajiv %I ACM %K dblp %P 155-167 %T CSSV: towards a realistic tool for statically detecting all buffer overflows in C. %U http://dblp.uni-trier.de/db/conf/pldi/pldi2003.html#DorRS03 %@ 1-58113-662-5

@inproceedings{conf/pldi/DorRS03, added-at = {2021-06-25T00:00:00.000+0200}, author = {Dor, Nurit and Rodeh, Michael and Sagiv, Shmuel}, biburl = {https://www.bibsonomy.org/bibtex/208014ab4411fda741537b43ae2c8f2f1/dblp}, booktitle = {PLDI}, crossref = {conf/pldi/2003}, editor = {Cytron, Ron and Gupta, Rajiv}, ee = {https://doi.org/10.1145/780822.781149}, interhash = {27c19dce48afd0cc77175f407b3b09a7}, intrahash = {08014ab4411fda741537b43ae2c8f2f1}, isbn = {1-58113-662-5}, keywords = {dblp}, pages = {155-167}, publisher = {ACM}, timestamp = {2024-04-09T18:59:43.000+0200}, title = {CSSV: towards a realistic tool for statically detecting all buffer overflows in C.}, url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2003.html#DorRS03}, year = 2003 }