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

Nurit Dor, Michael Rodeh, Shmuel Sagiv

Browse the full PLDI paper archive.