dk.brics.automaton  |  dk.brics.grammar  |  dk.brics.schematools
Thor  |  TSCheck  |  JSRefactor  |  Artemis  |  TAJS  |  Java String Analyzer  |  XSLT Validator  |  WARlord  |  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.

Note to OS X users: you may have to change "LIBS = -lfl" into "LIBS = -ll" in Makefile before running make.