Value-range analysis of C programs towards proving the absence of buffer overflow vulnerabilities - Simon, Axel.; SpringerLink (Online service) (London : Springer-Verlag London, 2008)
Keywords: C (Computer program language); Memory management (Computer science); Numeric Computing; Software Engineering; Logics and Meanings of Programs; Computer Science