On the Use of Static Analysis to Safeguard Recursive Dependency Resolution.

Kamil Jezek Jens Dietrich

Published in: EUROMICRO-SEAA (2014)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
high resolution
regular expressions
java card
low resolution
test generation
abstract interpretation
relational databases
open source
reverse engineering
test suite
real world
artificial intelligence