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

Nurit Dor Michael Rodeh Shmuel Sagiv

Published in: PLDI (2003)

Keyphrases

buffer overflow
software tools
real life
user friendly
real time
artificial intelligence
feature selection
image processing
case study
data structure
user interface
response time
automatic detection
buffer size