Simon, Axel., Value-range analysis of C programs towards proving the absence of buffer overflow vulnerabilities - 1st Ed. - New Delhi Springer 2010 - 300 p. [86] ISBN: 9788184895599 Dewey Class. No.: 005.435 / SIM/VAL