Integrating Static and Dynamic Analysis for Detecting Vulnerabilities.

Ashish Aggarwal Pankaj Jalote

Published in: COMPSAC (1) (2006)

Keyphrases

dynamic analysis
static analysis
reverse engineering
model checking
information security
automatic detection
database
source code
abstract interpretation
case study
software engineering
countermeasures
security mechanisms
security vulnerabilities