Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT.

Paul Muntean, Vasantha Kommanapalli, Andreas Ibing, Claudia Eckert

Browse the full SAFECOMP paper archive.