A stack model for symbolic buffer overflow exploitability analysis (Extended Abstract)

Gustavo Grieco, Laurent Mounier, Marie-Laure Potet, Sanjay Rawat

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

Original languageEnglish
Title of host publication5th Workshop on the Constraints in Software Testing, Verification and Analysis CSTVA 2013 (in association with ICST 2013)
Publication statusPublished - 2013

Cite this