# Heap Analysis

Record: `reason:technique-heap-analysis`
Kind: technique
Canonical: https://banes-lab.com/ontology/reasoning#reason-technique-heap-analysis

## mode

- [observation](https://banes-lab.com/records/reason/mode-observation.md)

## surfaces

- [memory-correctness](https://banes-lab.com/records/reason/test-surface-memory-correctness.md)

## referenced-by

- [Observation](https://banes-lab.com/records/reason/mode-observation.md)
- [Memory Correctness](https://banes-lab.com/records/reason/test-surface-memory-correctness.md)