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 [u.a.] : Springer, 2008.
Subjects:
Online Access:Connect to the full text of this electronic book
Description
Item Description:Description based on print version record.
Electronic resource.
Physical Description:1 online resource (xxii, 300 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:1848000170
9781848000179
DOI:10.1007/978-1-84800-017-9