Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities - Simon, Axel.; SpringerLink (Online service) (London : Springer London, 2008)
Keywords: Computer science; Software engineering; Logic design; Electronic data processing; Computer Science; Logics and Meanings of Programs; Software Engineering; Numeric Computing