Static analysis of Java dynamic proxies.

George Fourtounis George Kastrinis Yannis Smaragdakis

Published in: ISSTA (2018)

Keyphrases

static analysis
dynamic analysis
source code
java card
malicious code
open source
reverse engineering
test suite
symbolic execution
test cases
test generation
database applications