Effectively Recognize Ad hoc Synchronizations with Static Analysis.

Published in: LCPC (2013)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
regular expressions
java card
test suite
abstract interpretation
anomaly detection
operating system
pattern matching
reverse engineering
structured data
test generation