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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Simon, Axel (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London, 2008.
• Θέματα: 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...