SAVE: static analysis on versioning entities.

Published in: SESS (2008)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
java card
named entities
regular expressions
abstract interpretation
test generation
database
data mining