![]() |
@book{DBLP:series/springer/2008Simon,
author = {Axel Simon},
title = {Value-Range Analysis of C Programs: Towards Proving the
Absence of Buffer Overflow Vulnerabilities},
publisher = {Springer},
year = {2008},
isbn = {978-1-84800-016-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2008-12-09 by Michael Ley (ley@uni-trier.de)