PALE - the Pointer Assertion Logic Engine - is a complete implementation of the technique, based on the MONA tool. It analyses an annotated program and reports null-pointer dereferences, memory leaks, and violations of assertions and graph type errors.
- Read the paper: The Pointer Assertion Logic Engine [ abstract | PDF | BibTeX ] (in Proc. PLDI'01)
- Download PALE (and MONA).
- Try the example programs.
- See the grammar for the PALE syntax and a technical description of the encoding of PALE in MONA.