[UncleMeat]

It isn't a complete solution because it does not address stack-allocated data but it is very very close to being a full solution.