M.: Cssv: towards a realistic tool for statically detecting all buffer overflows in c (2003)

by N Dor, M Rodeh, Sagiv
Venue:In: PLDI ’03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation