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

• Tác giả: Axel Simon
• Ngôn ngữ: eng
• ISBN-10: 1848000162
• ISBN-10: 1848000170
• ISBN-13: 978-1848000162
• ISBN-13: 978-1848000179
• Ký hiệu phân loại: 005.13 Programming languages
• Thông tin xuất bản: London : Springer, 2008
• Mô tả vật lý: xxii, 300 p. : , ill. ; , 25 cm.
• Bộ sưu tập: Công nghệ thông tin
• ID: 137215
• Chủ đề: 1. C (Computer program language); 2. Memory management (Computer science)

Includes bibliographical references and index.