Heap Identification for Regions Analysis

[l-kent]

The regions analysis does not currently identify heap accesses. Ideally it should treat each heap allocation as a separate address space, in the same way that the stack is treated as separate from the data section. This means that each heap allocation could have multiple regions associated with it, just at different offsets to the R0 returned from malloc.