Login / Signup
Detection of Buffer Overflow Vulnerabilities in C/C++ with Pattern Based Limited Symbolic Evaluation.
Sun Ding
Hee Beng Kuan Tan
Kaiping Liu
Mahinthan Chandramohan
Hongyu Zhang
Published in:
COMPSAC Workshops (2012)
Keyphrases
</>
buffer overflow
security problems
data corruption
data structure
lightweight
security requirements
rare events