Skip to content

A Buffer Overflow Benchmark for Software Model Checkers

by Kelvin Ku, Thomas E. Hart, Marsha Chechik and David Lie
Reference:
Kelvin Ku, Thomas E. Hart, Marsha Chechik and David Lie, “A Buffer Overflow Benchmark for Software Model Checkers”, In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2007.
Bibtex Entry:
@string{ase07="Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE)"}
@inproceedings{lie:ASE2007,
author = {Kelvin Ku and Thomas E. Hart and Marsha Chechik and David Lie},
title = {A Buffer Overflow Benchmark for Software Model Checkers},
booktitle = ASE07,
month = nov,
year = 2007,
url = {https://security.csl.toronto.edu/wp-content/uploads/2018/06/Verisec-ASE2007.pdf},
note = {(Acceptance: 77/312, 25\%)}
}