Recency-Abstraction for Heap-Allocated Storage

DOI10.1007/11823230_15MaRDI QIDQ3613388zbMATH OpenOpenAlexFDO

Authors Gogul Balakrishnan, Thomas Reps

Publication date 12 March 2009

Published in Static Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11823230_15

Mathematics Subject Classification ID

Theory of software (68N99) Data structures (68P05)

Recommendations

• Monotonic Abstraction for Programs with Dynamic Memory Heaps
• Memory management: An abstract formulation of incremental tracing
• Choice-memory tradeoff in allocations
• Choice-Memory Tradeoff in Allocations
• An object-aware memory architecture
• Performance of memory reclamation for lockless synchronization

Cited in

(5)

• Recognition of logically related regions based heap abstraction
• Implementing heap-object behavior prediction efficiently and effectively
• The Undefined Domain: Precise Relational Information for Entities That Do Not Exist
• An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
• Relative Store Fragments for Singleton Abstraction

This page was built for publication: Recency-Abstraction for Heap-Allocated Storage

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3613388)