Heap Analysis

Kind: technique

Record: reasoning:technique-heap-analysis

Canonical: Reasoning

Measures allocation and retention over time

Listed in Reasoning records, after Profiling and before Tracing.

Mode

observation

Surfaces

memory-correctness

Linked from