Travioli: a dynamic analysis for detecting data-structure traversals.

Rohan Padhye Koushik Sen

Published in: ICSE (2017)

Keyphrases

dynamic analysis
data structure
static analysis
reverse engineering
model checking
efficient data structures
automatic detection
malicious behavior
index structure
multiresolution
data types
database
quadtree
suffix tree
data warehouse
r tree
hierarchical structures
training set
neural network