Can I read Abstraction in Heap Analysis on EtoBox?

Abstraction in Heap Analysis is a document available to read on EtoBox.

What is Abstraction in Heap Analysis about?

The document summarizes research on dynamically analyzing Java heap structures at runtime to extract common patterns and represent them as abstract graphs. It describes instrumentation to log object allocations and field writes, rebuilding heaps, reconstructing object models, and applying techniques like projection, abstraction, and ownership to simplify graphs while preserving essential relationships. The goal is to understand real-world heap structures and aid program analysis, understanding and verificat

Language

EN