Write barrier removal by static analysis.

Karen Zee Martin C. Rinard

Published in: ACM SIGPLAN Notices (2002)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
regular expressions
java card
symbolic execution
abstract interpretation
databases
test generation
metadata
test suite
domain specific