Exterminator- A ... with High Probability.pdf - DSpace at CUSAT ...

More documents

Recommendations

Info

9. Future Work Exterminator While Exterminator can effectively locate and correct memory errors on the heap, it does not yet address stack errors. We are investigating approaches to apply Exterminator to the stack. In addition, while Exterminator’s runtime patches contain information that describe the error location and its extent, it is not in a human-readable form. We plan to develop a tool to process runtime patches into bug reports with suggested fixes. Exterminator currently requires programs to be deterministic in their allocation patterns and their storage to heap objects. Individual executions of a program are expected to yield the same sequence of object allocation identifiers (i.e., object i always refers to the same semantic object). These requirements make Exterminator well-suited for serial programs, but less useful for multi-threaded programs. While Exterminator can run programs with a small amount of non determinism, its isolation algorithm is not robust with respect to disruptions to the allocation sequence. While simulation or deterministic replay mechanisms would enable Exterminator to work reliably for multi-threaded programs, we plan to explore a variety of ways to directly handle programs with extensive non-determinism. One way to improve its behavior in the face of non-determinism would be for Exterminator to associate object identifiers with thread ids. This change would prevent multiple threads from disrupting a global allocation sequence. We are especially interested in combining statistical alignment techniques from machine learning with information gleaned from locks and other synchronization variables to let us recover allocation sequences across multiple threads. Dept. Of Computer Science & Engg. ~ 25 ~ Cochin University of Science & Technology
10. Conclusion Exterminator This paper presents Exterminator, a system that automatically corrects heap-based memory errors in C and C++ programs with high probability. Exterminator operates entirely at the runtime level on unaltered binaries, and consists of three key components: DieFast, a probabilistic debugging allocator a probabilistic error isolation algorithm, and a correcting memory allocator. Ex-terminator’s probabilistic error isolation isolates the source and ex-tent of memory errors with provably low false positive and false negative rates. Its correcting memory allocator incorporates runtime patches that the error isolation algorithm generates to correct memory errors. Exterminator is not only suitable for use during testing, but also can automatically correct deployed programs. Dept. Of Computer Science & Engg. ~ 26 ~ Cochin University of Science & Technology
Page 1 and 2: Exterminator: Automatically Correct
Page 3 and 4: ACKNOWLEDGEMENT First of all let me
Page 5 and 6: Exterminator: Automatically Correct
Page 7 and 8: Exterminator dangling pointer error
Page 9 and 10: 3. Software Architecture Exterminat
Page 11 and 12: 3.3 DieFast: A Probabilistic Debugg
Page 13 and 14: Exterminator that the object will n
Page 15 and 16: Cumulative Mode Exterminator While
Page 17 and 18: Exterminator For small overflows, t
Page 19 and 20: 5. CUMULATIVE ERROR ISOLATION Exter
Page 21 and 22: 6. Error Correction Exterminator Ho
Page 23 and 24: 6.4 Collaborative Correction Exterm
Page 25 and 26: 7.2 Memory Error Correction Inject
Page 27 and 28: Exterminator Mozilla web browser: W
Page 29: Exterminator neither source code no

Exterminator- A ... with High Probability.pdf - DSpace at CUSAT ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?