![](/img/cover-not-exists.png)
A Stack Memory Abstraction and Symbolic Analysis Framework for Executables
Anand, Kapil, Elwazeer, Khaled, Kotha, Aparna, Smithson, Matthew, Barua, Rajeev, Keromytis, AngelosVolume:
25
Language:
english
Journal:
ACM Transactions on Software Engineering and Methodology
DOI:
10.1145/2897511
Date:
April, 2016
File:
PDF, 1.97 MB
english, 2016