dk.brics.automaton  |  dk.brics.grammar  |  dk.brics.schematools
JSRefactor  |  Artemis  |  TAJS  |  Java String Analyzer  |  XSLT Validator  |  ServletValidator  |  XSugar  |  Xact  |  JWIG
MONA  |  PALE

PALE - the Pointer Assertion Logic Engine

Copyright © 2000-2007 Anders Møller.

This is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License.

GCC is required to compile the source. It has been tested under Linux, Solaris, and Cygwin/Windows. See also the README file in the source package.