TUM Logo

Automated Generation of Buffer Overflows Quick Fixes using Symbolic Execution and SMT

.

Automated Generation of Buffer Overflows Quick Fixes using Symbolic Execution and SMT

International Conference on Computer Safety, Reliability & Security (SAFECOMP), Delft, The Netherlands, September 2015. Springer LNCS

Authors: Paul Muntean, Vasantha Kommanapalli, Andreas Ibing, and Claudia Eckert
Year/month: 2015/9
Booktitle: International Conference on Computer Safety, Reliability & Security (SAFECOMP), Delft, The Netherlands, September 2015. Springer LNCS
Editor: LNCS
Fulltext: safecomp15.pdf

Abstract

.

Bibtex:

@inproceedings { SAFECOMP'15,
author = { Paul Muntean and Vasantha Kommanapalli and Andreas Ibing and Claudia Eckert},
title = { Automated Generation of Buffer Overflows Quick Fixes using Symbolic Execution and SMT },
year = { 2015 },
month = { September },
booktitle = { International Conference on Computer Safety, Reliability & Security (SAFECOMP), Delft, The Netherlands, September 2015. Springer LNCS },
editor = { LNCS },
url = {https://www.sec.in.tum.de/i20/publications/automated-generation-of-buffer-overflows-quick-fixes-using-symbolic-execution-and-smt/@@download/file/safecomp15.pdf}
}