Login / Signup
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging.
Pietro Ferrara
Agostino Cortesi
Fausto Spoto
Published in:
Sci. Comput. Program. (2020)
Keyphrases
</>
static analysis
java bytecode
dynamic analysis
source code
regular expressions
java card
virtual machine
test suite
java virtual machine
programming language
garbage collection
high level
energy consumption
random access
test cases
memory management
open source
efficient execution
relational databases