Subroutine Inlining and Bytecode Abstraction to Simplify Static and Dynamic Analysis.

Cyrille Artho Armin Biere

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

dynamic analysis
static analysis
virtual machine
java card
reverse engineering
source code
high level
model checking
abstract interpretation
operating system
open source
distributed systems
smart card
regular expressions