Static analysis of multi-staged programs via unstaging translation.

Wontae Choi Baris Aktemur Kwangkeun Yi Makoto Tatsuta

Published in: POPL (2011)

Keyphrases

static analysis
symbolic execution
dynamic analysis
abstract interpretation
source code
java card
malicious code
regular expressions
test suite
java programs
software testing
artificial intelligence
reverse engineering
machine translation
building blocks
open source
case study