Code Analysis and heap modifications during exceptions

I was wondering if there was any code analysis already provided that shows any heap data that was changed
inside a try block that wasn't dealt with in a catch or finally? Transactional memory could probably handle
ensuring a recovery from an exception but code analysis would be great too if it exists.

Thanks, Jason