Shooting from the heap: ultra-scalable static analysis with heap snapshots.

Neville Grech George Fourtounis Adrian Francalanza Yannis Smaragdakis

Published in: ISSTA (2018)

Keyphrases

static analysis
data structure
dynamic analysis
source code
high speed
symbolic execution
suffix tree
malicious code
abstract interpretation
regular expressions
test generation
database systems
test suite