Graph
You own every allocation you make, and you can prove there is no leak.
Allocating, growing and releasing memory, and who owns what.
The untyped byte, `void *`, and regions that overlap.
Bounds, use after free, double free, and reading a leak report.