Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Simon, Axel (Editor)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London, 2008.
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Numerical analysis.; Computer Science.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Software Engineering.; Numeric Computing.

The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due to the high cost of software errors - particularly with respect to security vulnerabilities. However, research into new analysis techniques is often hampered by the technical di...