This sounds related to pointer provenance. You may want to look into
ongoing standardization work on this topic. A good overview is given in:

 
https://people.kernel.org/paulmck/what-on-earth-does-lifetime-end-pointer-zap-have-to-do-with-rcu