Heap specification is not a debugging problem.

We have spent decades treating heap corruption as a runtime nuisance. When a program suffers accidental heap alteration in unexpected regions or invalid assignment, we reach for Valgrind. We treat excessive memory allocation as a resource management problem to be solved by better tooling.