About Abstract Shadow‐Heap Analysis

The Abstract Skeleton of a Dynamic Analysis Using a Shadow Heap