SAVI: Static-Analysis Vulnerability Indicator.

James Walden Maureen Doyle

Published in: IEEE Secur. Priv. (2012)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
regular expressions
abstract interpretation
java card
test suite
test generation
database
artificial intelligence
risk assessment
buffer overflow