Value-range analysis of C programs : towards proving the absence of buffer overflow vulnerabilities /

Bibliographic Details
Main Author: Simon, Axel
Format: eBook
Language:English
Published: London : Springer, c2008.
Subjects:
Description
Physical Description:xv, 300 p. ; 24 cm.
Bibliography:Incluye referencias bibliográficas e índice.
ISBN:9781849967020