| 
|
Quote: Exterminator automatically corrects heap-based memory errors detected by a probablisitic debugging allocator (DieFast); diffs heap images to identify overlows and dangling pointers; fixed by padding objects and deferring allocation
Topic:
error safe systems
Topic:
heap memory management
Quotation Skeleton
We present Exterminator, a system that automatically corrects … this information, Exterminator derives runtime patches that fix … merging patches generated by multiple users. … [p. 1] Exterminator relies on an efficient probabilistic debugging … [refs], which ensures that heaps are independently randomized. However, while DieHard … a heap image that contains the complete state … [It] processes one or more heap images to … [forward] buffer overflows and dangling pointer errors. … it determines the allocation site of the overflowed … [p. 2] For dangling pointer errors, Exterminator determines both the allocation and … The correcting allocator prevents overflows by padding objects, … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: error safe systems (76 items)
Topic: heap memory management (33 items)