CIL to Java-bytecode translation for static analysis leveraging.

Pietro Ferrara Agostino Cortesi Fausto Spoto

Published in: FormaliSE@ICSE (2018)

Keyphrases

static analysis
java bytecode
dynamic analysis
source code
regular expressions
virtual machine
java card
programming language
garbage collection
efficient execution
data model
software engineering
test suite
java virtual machine