search

UQ-PAC / BASIL

Apache License 2.0
8 stars 0 forks source link

heap MemoryRegions should be identified by call site #72

Open ailrst opened 1 year ago

ailrst commented 1 year ago

Currently heap memory regions are identified by the allocation size rather than their id/call site.

Fixing this may cause it to not terminate since the counter is always incremented; so they should be identified by their call site rather than the counter.

A partial fix is currently included in analysis-devel so this needs to be addressed before merging.

l-kent commented 1 year ago

Is this still an issue? If it is, can you point to the relevant areas of code?