Static Analysis of Register File Vulnerability.

Jongeun Lee Aviral Shrivastava

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2011)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
api calls
regular expressions
database
abstract interpretation
file system
java card
test generation
test suite
risk assessment
training data
artificial intelligence
data mining
databases
data sets