Pushdown control-flow analysis for free.

Thomas Gilray Steven Lyde Michael D. Adams Matthew Might David Van Horn

Published in: POPL (2016)

Keyphrases

flow analysis
information flow
forensic analysis
control theory
control problems
machine learning
multiscale
control system
data acquisition
model checking
adaptive control
control method
optimal control
database
user interface
information systems
learning algorithm
data mining
data sets