Auditing Buffer Overflow Vulnerabilities Using Hybrid Static-Dynamic Analysis.

Bindu Madhavi Padmanabhuni Hee Beng Kuan Tan

Published in: COMPSAC (2014)

Keyphrases

dynamic analysis
buffer overflow
static analysis
reverse engineering
security problems
data corruption
model checking
rare events
source code
databases
access control
pattern matching
database
information systems