[1] | A. Møller and M.I. Schwartzbach, Static Program Analysis, Department of Computer Science, Aarhus, 2018. [ HTML | PDF ] |
[2] | A. Simon, Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities, Springer, 2010. [ HTML ] |