Sciweavers

12 search results - page 3 / 3
» Tracking pointers with path and context sensitivity for bug ...
Sort
View
CACM
2008
131views more  CACM 2008»
13 years 6 months ago
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...
Gene Novark, Emery D. Berger, Benjamin G. Zorn
PLDI
2009
ACM
14 years 29 days ago
Error propagation analysis for file systems
Unchecked errors are especially pernicious in operating system file management code. Transient or permanent hardware failures are inevitable, and error-management bugs at the fi...
Cindy Rubio-González, Haryadi S. Gunawi, Be...