-LCLint - annotation-assisted static program checker
-Copyright (C) 1994-2000 University of Virginia,
- Massachusetts Institute of Technology
+ Splint - annotation-assisted static program checker
+ http://www.splint.org
+
+ Copyright (C) 1994-2002
+ University of Virginia,
+ Massachusetts Institute of Technology
This program is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by the
from http://www.gnu.org/ or the Free Software Foundation, Inc., 59
Temple Place - Suite 330, Boston, MA 02111-1307, USA.
-For information on lclint: lclint-request@cs.virginia.edu
-To report a bug: lclint-bug@cs.virginia.edu
-http://lclint.cs.virginia.edu
+For information on Splint: splint@cs.virginia.edu
+To report a bug: splint-bug@cs.virginia.edu
==============================================================================
GNU GENERAL PUBLIC LICENSE