Cover Image
QR Code

Exterminator: Automatically Correcting Memory Errors with High Probability.

Programs written in C and C++ are susceptible to memory errors, including buffer overflows and dangling pointers. These errors, which can lead to crashes, erroneous execution, and security vulnerabilities, are notoriously costly to repair. Tracking down their location in the source code is difficult...

Full description

Published in:Communications of the ACM Vol. 51; no. 12; pp. 87 - 96
Main Authors: Novark, Gene, Berger, Emery D., Zorn, Benjamin G.
Format: Article
Published: Association for Computing Machinery Dec2008
Subjects:
Debugging
Computer software correctness
Source code
C (Computer program language)
C++
Computer programmers
Online Access:View this record in EBSCOhost