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

• Main Author: Simon, Axel (Author)
• Format: eBook
• Language: English
• Published: London : Springer, c2008
• Subjects: C (programovací jazyk); paměť (výpočetní technika); C (computer program language); computer storage; elektronické knihy; electronic books
• ISBN: 9781848000179
• DOI: 10.1007/978-1-84800-017-9
• Physical Description: xxii, 300 s. : il.