You can absolutely statically determine where allocations happen. You can't know for sure if all of those places are reachable in a running program, but that's

You can absolutely statically determine where allocations happen. You can't know for sure if all of those places are reachable in a running program, but that's not necessary to solve this problem.