Login / Signup
An Accurate Stack Memory Abstraction and Symbolic Analysis Framework for Executables.
Kapil Anand
Khaled Elwazeer
Aparna Kotha
Matthew Smithson
Rajeev Barua
Angelos D. Keromytis
Published in:
ICSM (2013)
Keyphrases
</>
statistical analysis
neural network
main contribution
conceptual framework
symbolic descriptions
database
machine learning
high level
high quality
video sequences
search algorithm
high accuracy
computationally efficient
theoretical framework
bayesian framework
complexity analysis