(Logic Interpreter) - C-Semantikanalysator unter UNIX (http://www.desy.de/cgi-bin/man-cgilint)