Pruning, Pushdown Exception-Flow Analysis.

Shuying Liang Weibin Sun Matthew Might Andrew W. Keep David Van Horn

Published in: SCAM (2014)

Keyphrases

flow analysis
information flow
search space
pruning method
forensic analysis
model checking
exception handling
machine learning
neural network
data structure
intrusion detection system
image sequences
pruning strategy
pruning algorithm
tree construction
learning algorithm
pruning methods