Kapil Anand, Khaled Elwazeer, Aparna Kotha, Matthew Smithson, Rajeev Barua, Angelos D. Keromytis. An Accurate Stack Memory Abstraction and Symbolic Analysis Framework for Executables. In 2013 IEEE International Conference on Software Maintenance, Eindhoven, The Netherlands, September 22-28, 2013. pages 90-99, IEEE, 2013. [doi]
Abstract is missing.