CSSV: towards a realistic tool for statically detecting all buffer overflows in C

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]

Authors

Nurit Dor

This author has not been identified. Look up 'Nurit Dor' in Google

Michael Rodeh

This author has not been identified. Look up 'Michael Rodeh' in Google

Shmuel Sagiv

This author has not been identified. Look up 'Shmuel Sagiv' in Google