"Practical and effective symbolic analysis for buffer overflow detection."

Lian Li, Cristina Cifuentes, Nathan Keynes (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics