Login / Signup
Optimistic Hybrid Analysis: Accelerating Dynamic Analysis through Predicated Static Analysis.
David Devecsery
Peter M. Chen
Jason Flinn
Satish Narayanasamy
Published in:
ASPLOS (2018)
Keyphrases
</>
static analysis
dynamic analysis
source code
reverse engineering
abstract interpretation
test generation
java card
symbolic execution
malicious code
real world
regular expressions
learning algorithm
query language
information extraction
open source
test suite