A little digging (as this is interesting to me as well) brought up the Pointer Assertion Logic Engine: <a href="http:&#x2F;&#x2F;www.brics.dk&#x2F;RS&#x2F;00&#x2F;39&#x2F;BRICS-RS-00-39.pdf" rel="nofollow">http:&#x2F;&#x2F;www.brics.dk&#x2F;RS&#x2F;00&#x2F;39&#x2F;BRICS-RS-00-39.pdf</a>