Static analysis: a brief survey.

Iván García-Ferreira Carlos Laorden Igor Santos Pablo García Bringas

Published in: Log. J. IGPL (2016)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
java card
malicious code
regular expressions
test generation
abstract interpretation
databases
data sets
artificial intelligence
case study
relational databases
domain specific
semi automatic