www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - Run-time pointer checking

This seems related, and nice:

Run-Time Type Checking for Pointers and Arrays in C:
http://osq.cs.berkeley.edu/retreat01/JFoster-OSQ-2001.ppt

Bye,
bearophile
Aug 30 2008