From 155af98de2d41917730964947d990b7fb70ddc01 Mon Sep 17 00:00:00 2001 From: evans1629 Date: Wed, 9 Jan 2002 04:13:54 +0000 Subject: [PATCH] Moved doc/lclint.1 to doc/splint.1 Changed email addess in source comments --- Makefile.am | 7 +- Makefile.in | 6 +- README | 76 +-- doc/{lclint.1 => splint.1} | 45 +- lib/Makefile.am | 26 +- lib/Makefile.in | 26 +- lib/ansi.h | 2 +- lib/standard.h | 1101 +++++++++++++++++++++++++++++++++ lib/stdio.h | 33 +- lib/unix.h | 2 +- src/Headers/constants.h | 4 +- src/Headers/version.h | 2 +- src/abstract.c | 4 +- src/aliasTable.c | 4 +- src/annotationInfo.c | 4 +- src/annotationTable.c | 4 +- src/cgrammar.y | 4 +- src/checking.c | 4 +- src/clabstract.c | 8 +- src/clause.c | 4 +- src/clauseStack.c | 4 +- src/constraint.c | 4 +- src/constraintExpr.c | 4 +- src/constraintExprData.c | 4 +- src/constraintGeneration.c | 4 +- src/constraintList.c | 4 +- src/constraintOutput.c | 4 +- src/constraintResolve.c | 4 +- src/constraintTerm.c | 4 +- src/context.c | 4 +- src/cpperror.c | 4 +- src/cppexp.c | 6 +- src/cpphash.c | 4 +- src/cpplib.c | 4 +- src/cppmain.c | 4 +- src/cprim.c | 4 +- src/cstring.c | 4 +- src/cstringList.c | 4 +- src/cstringSList.c | 4 +- src/cstringTable.c | 4 +- src/cttable.i | 4 +- src/ctype.c | 4 +- src/ctypeList.c | 4 +- src/cvar.c | 4 +- src/declaratorInvNodeList.c | 4 +- src/declaratorNodeList.c | 4 +- src/ekind.c | 4 +- src/enumNameList.c | 4 +- src/enumNameSList.c | 4 +- src/exprChecks.c | 4 +- src/exprNode.c | 4 +- src/exprNodeList.c | 4 +- src/exprNodeSList.c | 4 +- src/fcnNodeList.c | 4 +- src/fileIdList.c | 4 +- src/fileLib.c | 4 +- src/fileTable.c | 4 +- src/fileloc.c | 4 +- src/filelocList.c | 4 +- src/filelocStack.c | 4 +- src/flagMarker.c | 4 +- src/flagMarkerList.c | 4 +- src/flagSpec.c | 4 +- src/flags.c | 4 +- src/functionClause.c | 4 +- src/functionClauseList.c | 4 +- src/functionConstraint.c | 4 +- src/general.c | 4 +- src/genericTable.c | 4 +- src/globSet.c | 4 +- src/globals.c | 4 +- src/globalsClause.c | 4 +- src/guardSet.c | 4 +- src/idDecl.c | 4 +- src/idDeclList.c | 4 +- src/importNodeList.c | 4 +- src/imports.c | 4 +- src/initDeclNodeList.c | 4 +- src/inputStream.c | 4 +- src/intSet.c | 4 +- src/interfaceNodeList.c | 4 +- src/lclctypes.c | 4 +- src/lclinit.c | 4 +- src/lcllib.c | 4 +- src/lclscan.c | 4 +- src/lclscanline.c | 4 +- src/lclsyntable.c | 4 +- src/lcltokentable.c | 4 +- src/letDeclNodeList.c | 4 +- src/lh.c | 4 +- src/llerror.c | 4 +- src/llmain.c | 4 +- src/lltok.c | 4 +- src/loopHeuristics.c | 4 +- src/lslOpList.c | 4 +- src/lslOpSet.c | 4 +- src/lslinit.c | 4 +- src/lslparse.c | 4 +- src/lsymbol.c | 4 +- src/lsymbolList.c | 4 +- src/lsymbolSet.c | 4 +- src/ltoken.c | 4 +- src/ltokenList.c | 4 +- src/macrocache.c | 4 +- src/mapping.c | 4 +- src/message.c | 4 +- src/messageLog.c | 4 +- src/metaStateConstraint.c | 4 +- src/metaStateConstraintList.c | 4 +- src/metaStateExpression.c | 4 +- src/metaStateInfo.c | 4 +- src/metaStateSpecifier.c | 4 +- src/metaStateTable.c | 4 +- src/modifiesClause.c | 4 +- src/mtAnnotationDecl.c | 4 +- src/mtAnnotationList.c | 4 +- src/mtAnnotationsNode.c | 4 +- src/mtContextNode.c | 4 +- src/mtDeclarationNode.c | 4 +- src/mtDeclarationPiece.c | 4 +- src/mtDeclarationPieces.c | 4 +- src/mtDefaultsDecl.c | 4 +- src/mtDefaultsDeclList.c | 4 +- src/mtDefaultsNode.c | 4 +- src/mtLoseReference.c | 4 +- src/mtLoseReferenceList.c | 4 +- src/mtMergeClause.c | 4 +- src/mtMergeClauseList.c | 4 +- src/mtMergeItem.c | 4 +- src/mtMergeNode.c | 4 +- src/mtTransferAction.c | 4 +- src/mtTransferClause.c | 4 +- src/mtTransferClauseList.c | 4 +- src/mtValuesNode.c | 4 +- src/mtreader.c | 4 +- src/mtscanner.c | 4 +- src/mttok.c | 4 +- src/multiVal.c | 4 +- src/nameChecks.c | 4 +- src/osd.c | 4 +- src/pairNodeList.c | 4 +- src/paramNodeList.c | 4 +- src/programNodeList.c | 4 +- src/qtype.c | 4 +- src/qual.c | 4 +- src/qualList.c | 4 +- src/quantifierNodeList.c | 4 +- src/randomNumbers.c | 4 +- src/reader.c | 4 +- src/replaceNodeList.c | 4 +- src/sRef.c | 4 +- src/sRefList.c | 4 +- src/sRefSet.c | 4 +- src/sRefSetList.c | 4 +- src/sRefTable.c | 4 +- src/scan.c | 4 +- src/scanline.c | 4 +- src/shift.c | 4 +- src/sigNodeSet.c | 4 +- src/sort.c | 4 +- src/sortList.c | 4 +- src/sortSet.c | 4 +- src/sortSetList.c | 4 +- src/stDeclNodeList.c | 4 +- src/stateClause.c | 4 +- src/stateClauseList.c | 4 +- src/stateCombinationTable.c | 4 +- src/stateInfo.c | 4 +- src/stateValue.c | 4 +- src/storeRefNodeList.c | 4 +- src/structNames.c | 4 +- src/symtable.c | 4 +- src/syntable.c | 4 +- src/termNodeList.c | 4 +- src/tokentable.c | 4 +- src/traitRefNodeList.c | 4 +- src/transferChecks.c | 4 +- src/typeIdSet.c | 4 +- src/typeNameNodeList.c | 4 +- src/uentry.c | 4 +- src/uentryList.c | 4 +- src/usymIdSet.c | 4 +- src/usymtab.c | 4 +- src/usymtab_interface.c | 4 +- src/valueTable.c | 4 +- src/varDeclarationNodeList.c | 4 +- src/varKinds.c | 4 +- src/varNodeList.c | 4 +- src/warnClause.c | 4 +- src/ynm.c | 4 +- test/ansireserved.expect | 4 +- test/external.expect | 4 +- test/tests2.2.expect | 4 +- 193 files changed, 1548 insertions(+), 512 deletions(-) rename doc/{lclint.1 => splint.1} (86%) create mode 100644 lib/standard.h diff --git a/Makefile.am b/Makefile.am index 83750b9..4dac42f 100644 --- a/Makefile.am +++ b/Makefile.am @@ -20,10 +20,11 @@ ## 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 +## For information on spint: info@splint.org +## To report a bug: splint-bug@splint.org ## AUTOMAKE_OPTIONS = 1.5 foreign -SUBDIRS = src lib imports test +SUBDIRS = src lib imports test doc + diff --git a/Makefile.in b/Makefile.in index 1bca86c..95ccebd 100644 --- a/Makefile.in +++ b/Makefile.in @@ -95,7 +95,7 @@ RECURSIVE_TARGETS = info-recursive dvi-recursive install-info-recursive \ uninstall-info-recursive all-recursive install-data-recursive \ install-exec-recursive installdirs-recursive install-recursive \ uninstall-recursive check-recursive installcheck-recursive -DIST_COMMON = README ./stamp-h.in Makefile.am Makefile.in acinclude.m4 \ +DIST_COMMON = README install.html ./stamp-h.in Makefile.am Makefile.in acinclude.m4 \ aclocal.m4 config.hin config/config.guess config/config.sub \ config/depcomp config/install-sh config/missing \ config/mkinstalldirs configure configure.ac @@ -403,6 +403,10 @@ uninstall-info: uninstall-info-recursive uninstall uninstall-am uninstall-info-am \ uninstall-info-recursive uninstall-recursive +.PHONY: test +test: + cd test; ${MAKE} + # Tell versions [3.59,3.63) of GNU make to not export all variables. # Otherwise a system limit (for SysV at least) may be exceeded. .NOEXPORT: diff --git a/README b/README index 60e6edb..38b3a3b 100644 --- a/README +++ b/README @@ -11,78 +11,8 @@ Splint Documentation ==================== -For documentation on Splint, please see http://www.splint.org - -WARNING: this is an Alpha release - new features and changes are not -reflected in the documentation. - - - - Splint should compile effortlessly on standard Unix systems, and with a bit of effort on non-Unix platforms. If you produce a port for a non-Unix platform, please let splint@cs.virginia.edu know. - - To build Splint you need: - - a (hopefully ANSI-conforming) C compiler. GNU gcc is recommended, but most modern C compilers should work. - make, the GNU make utility. If you don't have make installed on your system, download it from ftp.gnu.org. - standard Unix tools: gzip, tar - - Instructions: - - 1.Download http://www.splint.org/downloads/splint-3.0.1.src.tgz. (the latest stable release). - - Copy this package to the directory where you want to build Spint. When the tar file is extracted, it will create a splint-3.0.1 subdirectory. - - 2.tar xzf splint-3.0.1.src.tgz (extract files from the archive) - - 3.cd splint-3.0.1 (enter the extracted directory) - - 4.configure - - This will create a Makefile with settings for your system. Use configure --prefix=directory if you want to install Splint in prefix directory directory. - - 5.make - - GNU's make utility is required; it may be named gmake or gnumake on your system. It is best to do this in an emacs shell or a buffered terminal, so you can scroll through the output. - - This builds Splint. While it is building, subscribe to the lclint-announce mailing list by sending a message to majordomo@virginia.edu containing the body: - - subscribe lclint-announce - - - If the build was successful, it then runs the test suite. You should see: - - Testing splint 3.0.1... - - Version Info: - Splint 3.0.1 --- 07 Jan 2002 - - Maintainer: splint-bug@cs.virginia.edu - - ... (about 100 lines of test output elided) - - Checking manual... - Checking tests2.2... - Checking tests2.4... - Checking tests2.5... - Checking db1... - Checking db2... - Checking db3... - - Examine the test output. If there are errors, send a bug report to splint-bug@cs.virginia.edu. - - The remaining steps are only necessary ff you want to install the Splint binary and libraries in a different directory (set when you ran configure). - - 6.make install - 7.Set environment variables: - - LARCH_PATH - path to search for splint libraries and initializations files. If you are using the standard directories, this should be .:base-directory/splint-3.0.1/lib. - - LCLIMPORTDIR - directory containing lcl imports files. If you are using the standard directories, this is base-directory/splint-3.0.1/imports. - - Put the commands to set these variables (the actual commands will depend on the shell you are using) in one of your initialization dotfiles (usually ~/.environment). - - Set up your PATH to include the directory containing splint-3.0.1/bin/splint, or move the binary to a directory on your command path. - - +Installation instructions are found with this distribution in +install.html (or at http://www.splint.org/source.html). +For documentation on Splint, please see http://www.splint.org diff --git a/doc/lclint.1 b/doc/splint.1 similarity index 86% rename from doc/lclint.1 rename to doc/splint.1 index b8adafd..ab72662 100644 --- a/doc/lclint.1 +++ b/doc/splint.1 @@ -1,19 +1,22 @@ .\" $Id$ -.TH lclint 1 "A tool for statically checking C programs" +.TH splint 1 "A tool for statically checking C programs" .SH NAME -lclint \- A tool for statically checking C programs +splint \- A tool for statically checking C programs .SH SYNOPSIS -.BR lclint +.BR splint [options] .SH DESCRIPTION -.BR LCLint -is a tool for statically checking C programs. With minimal effort, LCLint can -be used as a better lint(1). -If additional effort is invested adding annotations to programs, LCLint can -perform stronger checks than can be done by any standard lint. +.BR Splint +is a tool for statically checking C programs for security +vulnerabilities and common programming mistakes. With minimal effort, +Splint can be used as a better lint(1).If additional effort is invested +adding annotations to programs, Splint can perform stronger checks than +can be done by any standard lint. For full documentation, please see +http://www.splint.org. This man page only covers a few of the available +options. .SH OPTIONS @@ -24,7 +27,7 @@ Shows help .PP .B Initialization -These flags control directories and files used by LCLint. They may be used from the +These flags control directories and files used by Splint. They may be used from the command line or in an options file, but may not be used as control comments in the source code. Except where noted. they have the same meaning preceded by \- or +. @@ -43,12 +46,12 @@ Add directory to path search for .lcl specification files. .TP 6 .BI \-f " file" -Load options file . If this flag is used from the command line, the default ~/.lclintrc file is +Load options file . If this flag is used from the command line, the default ~/.splintrc file is not loaded. This flag may be used in an options file to load in another options file. .TP 6 .B \-nof -Prevents the default options files (./.lclintrc and ~/.lclintrc) from being loaded. (Setting +Prevents the default options files (./.splintrc and ~/.splintrc) from being loaded. (Setting -nof overrides +nof, causing the options files to be loaded normally.) .TP 6 @@ -120,7 +123,7 @@ Use the strict version of the UNIX standard library. .PP .B Output -These flags control what additional information is printed by LCLint. Setting + causes the described +These flags control what additional information is printed by Splint. Setting + causes the described information to be printed; setting - prevents it. By default, all these flags are off. .TP 6 @@ -152,7 +155,7 @@ Display distribution of where checking time is spent. .TP 6 .B \-quiet -Suppress herald and error count. (If quiet is not set, LCLint prints out a herald with version +Suppress herald and error count. (If quiet is not set, Splint prints out a herald with version information before checking begins, and a line summarizing the total number of errors reported.) .TP 6 @@ -167,14 +170,14 @@ message showing the number of suppressed messages is printed. .PP .B Expected Errors -Normally, LCLint will expect to report no errors. The exit status will be success (0) if no errors are reported, +Normally, Splint will expect to report no errors. The exit status will be success (0) if no errors are reported, and failure if any errors are reported. Flags can be used to set the expected number of reported errors. Because of the provided error suppression mechanisms, these options should probably not be used for final checking real programs but may be useful in developing programs using make. .TP 6 .B \-expect -Exactly code errors are expected. LCLint will exit with failure exit status unless +Exactly code errors are expected. Splint will exit with failure exit status unless code errors are detected. .TP 6 @@ -213,7 +216,7 @@ class. Default: - .TP 6 .BI \-linelen " number" -Set length of maximum message line to characters. LCLint will split messages longer +Set length of maximum message line to characters. Splint will split messages longer than characters long into multiple lines. Default: 80 .PP @@ -226,7 +229,7 @@ command line flag settings. A warning is produced if a mode flag is used after a set. These are brief descriptions to give a general idea of what each mode does. To see the complete flag settings -in each mode, use lclint -help modes. A mode flag has the same effect when used with either + or -. +in each mode, use splint -help modes. A mode flag has the same effect when used with either + or -. .TP 6 .B \-weak @@ -254,19 +257,15 @@ used in unspecified functions, strict standard library, and strict typing of C o reward will be presented to the first person to produce a real program that produces no errors with strict checking. - -.SH TODO -Improve this manpage :-) - .SH AUTHOR If you need to get in contact with the authors send email to .UR -mailto:lclint-bug@cs.virginia.edu +mailto:info@splint.org .UR or visit .UR -http://lclint.cs.virginia.edu +http://www.splint.org .UR .SH "SEE ALSO" diff --git a/lib/Makefile.am b/lib/Makefile.am index 073e65e..07f8c09 100644 --- a/lib/Makefile.am +++ b/lib/Makefile.am @@ -9,7 +9,7 @@ UnixHeaders = stdio.h stdlib.h ## List of files splintlib_DATA = \ - ansi.h ansi.lcd ansistrict.lcd posix.h posix.lcd posixstrict.lcd \ + standard.h standard.lcd standardstrict.lcd posix.h posix.lcd posixstrict.lcd \ unix.h unix.lcd unixstrict.lcd CTrait.syms CTraitGen.lcl bool.h \ file.mts file.xh filerw.mts filerw.xh \ lclinit.lci linux.h lslinit.lsi tainted.mts tainted.xh \ @@ -26,26 +26,26 @@ SPLINT = $(top_builddir)/src/splint$(EXEEXT) $(SPLINT): cd $(top_builddir)/src; $(MAKE) -ansi.lcd: ansi.h $(SPLINT) - -$(SPLINT) -nof -nolib +impconj ansi.h -dump ansi +standard.lcd: standard.h $(SPLINT) + -$(SPLINT) -nof -nolib +impconj standard.h -dump standard @touch $@ -ansistrict.lcd: ansi.h $(SPLINT) - -$(SPLINT) -nof -nolib +impconj -DSTRICT ansi.h -dump ansistrict +standardstrict.lcd: standard.h $(SPLINT) + -$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict @touch $@ -posix.lcd: ansi.h posix.h $(SPLINT) - -$(SPLINT) -nof -nolib +impconj ansi.h posix.h -dump posix +posix.lcd: standard.h posix.h $(SPLINT) + -$(SPLINT) -nof -nolib +impconj standard.h posix.h -dump posix @touch $@ -posixstrict.lcd: ansi.h posix.h $(SPLINT) - -$(SPLINT) -nof -nolib +impconj -DSTRICT ansi.h posix.h -dump posixstrict +posixstrict.lcd: standard.h posix.h $(SPLINT) + -$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict @touch $@ -unix.lcd: ansi.h posix.h unix.h $(UnixHeaders) $(SPLINT) - -$(SPLINT) -nof -incondefs -nolib +impconj ansi.h posix.h unix.h stdio.h stdlib.h -dump unix +unix.lcd: standard.h posix.h unix.h $(UnixHeaders) $(SPLINT) + -$(SPLINT) -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix @touch $@ -unixstrict.lcd: ansi.h posix.h unix.h $(UnixHeaders) $(SPLINT) - -$(SPLINT) -nof -incondefs -nolib +impconj -DSTRICT ansi.h posix.h unix.h stdio.h stdlib.h -dump unixstrict +unixstrict.lcd: standard.h posix.h unix.h $(UnixHeaders) $(SPLINT) + -$(SPLINT) -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h stdio.h stdlib.h -dump unixstrict @touch $@ diff --git a/lib/Makefile.in b/lib/Makefile.in index 8c654ed..55d886f 100644 --- a/lib/Makefile.in +++ b/lib/Makefile.in @@ -88,7 +88,7 @@ splintlibdir = $(pkgdatadir)/lib UnixHeaders = stdio.h stdlib.h splintlib_DATA = \ - ansi.h ansi.lcd ansistrict.lcd posix.h posix.lcd posixstrict.lcd \ + standard.h standard.lcd standardstrict.lcd posix.h posix.lcd posixstrict.lcd \ unix.h unix.lcd unixstrict.lcd CTrait.syms CTraitGen.lcl bool.h \ file.mts file.xh filerw.mts filerw.xh \ lclinit.lci linux.h lslinit.lsi tainted.mts tainted.xh \ @@ -239,28 +239,28 @@ uninstall-am: uninstall-info-am uninstall-splintlibDATA $(SPLINT): cd $(top_builddir)/src; $(MAKE) -ansi.lcd: ansi.h $(SPLINT) - -$(SPLINT) -nof -nolib +impconj ansi.h -dump ansi +standard.lcd: standard.h $(SPLINT) + -$(SPLINT) -nof -nolib +impconj standard.h -dump standard @touch $@ -ansistrict.lcd: ansi.h $(SPLINT) - -$(SPLINT) -nof -nolib +impconj -DSTRICT ansi.h -dump ansistrict +standardstrict.lcd: standard.h $(SPLINT) + -$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict @touch $@ -posix.lcd: ansi.h posix.h $(SPLINT) - -$(SPLINT) -nof -nolib +impconj ansi.h posix.h -dump posix +posix.lcd: standard.h posix.h $(SPLINT) + -$(SPLINT) -nof -nolib +impconj standard.h posix.h -dump posix @touch $@ -posixstrict.lcd: ansi.h posix.h $(SPLINT) - -$(SPLINT) -nof -nolib +impconj -DSTRICT ansi.h posix.h -dump posixstrict +posixstrict.lcd: standard.h posix.h $(SPLINT) + -$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict @touch $@ -unix.lcd: ansi.h posix.h unix.h $(UnixHeaders) $(SPLINT) - -$(SPLINT) -nof -incondefs -nolib +impconj ansi.h posix.h unix.h stdio.h stdlib.h -dump unix +unix.lcd: standard.h posix.h unix.h $(UnixHeaders) $(SPLINT) + -$(SPLINT) -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix @touch $@ -unixstrict.lcd: ansi.h posix.h unix.h $(UnixHeaders) $(SPLINT) - -$(SPLINT) -nof -incondefs -nolib +impconj -DSTRICT ansi.h posix.h unix.h stdio.h stdlib.h -dump unixstrict +unixstrict.lcd: standard.h posix.h unix.h $(UnixHeaders) $(SPLINT) + -$(SPLINT) -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h stdio.h stdlib.h -dump unixstrict @touch $@ # Tell versions [3.59,3.63) of GNU make to not export all variables. # Otherwise a system limit (for SysV at least) may be exceeded. diff --git a/lib/ansi.h b/lib/ansi.h index e6066cd..2274eab 100644 --- a/lib/ansi.h +++ b/lib/ansi.h @@ -1,5 +1,5 @@ /* -** ansi.h --- LCLint Standard C Library +** satndard.h --- ISO C99 Standard Library for Splint. ** ** Process with -DSTRICT to get strict library. */ diff --git a/lib/standard.h b/lib/standard.h new file mode 100644 index 0000000..2274eab --- /dev/null +++ b/lib/standard.h @@ -0,0 +1,1101 @@ +/* +** satndard.h --- ISO C99 Standard Library for Splint. +** +** Process with -DSTRICT to get strict library. +*/ + +/*@-nextlinemacros@*/ +/*@+allimponly@*/ +/*@+globsimpmodifiesnothing@*/ + +/* +** errno.h +*/ + +/*@constant int EDOM;@*/ +/*@constant int ERANGE;@*/ +/*@constant int EILSEQ;@*/ + +# ifdef STRICT +/*@checkedstrict@*/ int errno; +# else +/*@unchecked@*/ int errno; +# endif + +/* +** types +*/ + +typedef /*@integraltype@*/ ptrdiff_t; +typedef /*@unsignedintegraltype@*/ size_t; +typedef /*@signedintegraltype@*/ ssize_t; +typedef /*@integraltype@*/ wchar_t; + +/* +** Added by Amendment 1 to ISO. +*/ + +typedef /*@integraltype@*/ wint_t; +typedef /*@abstract@*/ mbstate_t; + +/*@constant null anytype NULL = 0;@*/ + +/* +** assert.h +*/ + +/*@constant lltX_bool NDEBUG;@*/ + +# ifdef STRICT +/*@falseexit@*/ void assert (/*@sef@*/ lltX_bool e) + /*@*/ ; +# else +/*@falseexit@*/ void assert (/*@sef@*/ lltX_bool /*@alt int@*/ e) + /*@*/ ; +# endif + + +/* +** ctype.h +*/ + +# ifdef STRICT +lltX_bool isalnum (int c) /*@*/ ; +lltX_bool isalpha (int c) /*@*/ ; +lltX_bool iscntrl (int c) /*@*/ ; +lltX_bool isdigit (int c) /*@*/ ; +lltX_bool isgraph (int c) /*@*/ ; +lltX_bool islower (int c) /*@*/ ; +lltX_bool isprint (int c) /*@*/ ; +lltX_bool ispunct (int c) /*@*/ ; +lltX_bool isspace (int c) /*@*/ ; +lltX_bool isupper (int c) /*@*/ ; +lltX_bool isxdigit (int c) /*@*/ ; +char tolower (int c) /*@*/ ; +char toupper (int c) /*@*/ ; +# else +/* +** evans 2002-01-03: added alt char (was alt unsigned char) +*/ + +lltX_bool /*@alt int@*/ isalnum (int /*@alt char, unsigned char@*/ c) /*@*/ ; +lltX_bool /*@alt int@*/ isalpha (int /*@alt char, unsigned char@*/ c) /*@*/ ; +lltX_bool /*@alt int@*/ iscntrl (int /*@alt char, unsigned char@*/ c) /*@*/ ; +lltX_bool /*@alt int@*/ isdigit (int /*@alt char, unsigned char@*/ c) /*@*/ ; +lltX_bool /*@alt int@*/ isgraph (int /*@alt char, unsigned char@*/ c) /*@*/ ; +lltX_bool /*@alt int@*/ islower (int /*@alt char, unsigned char@*/ c) /*@*/ ; +lltX_bool /*@alt int@*/ isprint (int /*@alt char, unsigned char@*/ c) /*@*/ ; +lltX_bool /*@alt int@*/ ispunct (int /*@alt char, unsigned char@*/ c) /*@*/ ; +lltX_bool /*@alt int@*/ isspace (int /*@alt char, unsigned char@*/ c) /*@*/ ; +lltX_bool /*@alt int@*/ isupper (int /*@alt char, unsigned char@*/ c) /*@*/ ; +lltX_bool /*@alt int@*/ isxdigit (int /*@alt char, unsigned char@*/ c) /*@*/ ; +char /*@alt int@*/ tolower (int /*@alt char, unsigned char@*/ c) /*@*/ ; +char /*@alt int@*/ toupper (int /*@alt char, unsigned char@*/ c) /*@*/ ; +# endif + +/* +** locale.h +*/ + +struct lconv +{ + char *decimal_point; + char *thousands_sep; + char *grouping; + char *int_curr_symbol; + char *currency_symbol; + char *mon_decimal_point; + char *mon_thousands_sep; + char *mon_grouping; + char *positive_sign; + char *negative_sign; + char int_frac_digits; + char frac_digits; + char p_cs_precedes; + char p_sep_by_space; + char n_cs_precedes; + char n_sep_by_space; + char p_sign_posn; + char n_sign_posn; +} ; + +/*@constant int LC_ALL;@*/ +/*@constant int LC_COLLATE;@*/ +/*@constant int LC_CTYPE;@*/ +/*@constant int LC_MONETARY;@*/ +/*@constant int LC_NUMERIC;@*/ +/*@constant int LC_TIME;@*/ + +/*@observer@*/ /*@null@*/ char *setlocale (int category, /*@null@*/ char *locale) + /*@modifies internalState, errno@*/ ; + +struct lconv *localeconv (void) /*@*/ ; + +/* +** float.h +*/ + +/* +** Note, these are defined by macros, but NOT necessarily +** constants. They may be used as lvalues. +*/ + +/*@unchecked@*/ int DBL_DIG; +/*@unchecked@*/ double DBL_EPSILON; +/*@unchecked@*/ int DBL_MANT_DIG; +/*@unchecked@*/ double DBL_MAX; +/*@unchecked@*/ int DBL_MAX_10_EXP; +/*@unchecked@*/ int DBL_MAX_EXP; +/*@unchecked@*/ double DBL_MIN; +/*@unchecked@*/ int DBL_MIN_10_EXP; +/*@unchecked@*/ int DBL_MIN_EXP; + +/*@unchecked@*/ int FLT_DIG; +/*@unchecked@*/ float FLT_EPSILON; +/*@unchecked@*/ int FLT_MANT_DIG; +/*@unchecked@*/ float FLT_MAX; +/*@unchecked@*/ int FLT_MAX_10_EXP; +/*@unchecked@*/ int FLT_MAX_EXP; +/*@unchecked@*/ float FLT_MIN; +/*@unchecked@*/ int FLT_MIN_10_EXP; +/*@unchecked@*/ int FLT_MIN_EXP; +/*@constant int FLT_RADIX@*/ +/*@unchecked@*/ int FLT_ROUNDS; + +/*@unchecked@*/ int LDBL_DIG; +/*@unchecked@*/ long double LDBL_EPSILON; +/*@unchecked@*/ int LDBL_MANT_DIG; +/*@unchecked@*/ long double LDBL_MAX; +/*@unchecked@*/ int LDBL_MAX_10_EXP; +/*@unchecked@*/ int LDBL_MAX_EXP; +/*@unchecked@*/ long double LDBL_MIN; +/*@unchecked@*/ int LDBL_MIN_10_EXP; +/*@unchecked@*/ int LDBL_MIN_EXP; + +/* +** limits.h +*/ + +/*@constant int CHAR_BIT; @*/ +/*@constant char CHAR_MAX; @*/ +/*@constant char CHAR_MIN; @*/ +/*@constant int INT_MAX; @*/ +/*@constant int INT_MIN; @*/ +/*@constant long int LONG_MAX; @*/ +/*@constant long int LONG_MIN; @*/ +/*@constant long int MB_LEN_MAX@*/ +/*@constant signed char SCHAR_MAX; @*/ +/*@constant signed char SCHAR_MIN; @*/ +/*@constant short SHRT_MAX; @*/ +/*@constant short SHRT_MIN; @*/ +/*@constant unsigned char UCHAR_MAX; @*/ +/*@constant unsigned char UCHAR_MIN; @*/ +/*@constant unsigned int UINT_MAX; @*/ +/*@constant unsigned long ULONG_MAX; @*/ +/*@constant unsigned short USHRT_MAX; @*/ + +/* +** math.h +*/ + +/*@constant double HUGE_VAL; @*/ + +/* +** math functions that may have a range error modify errno +*/ + +double sin (double x) /*@*/ ; +double cos (double x) /*@*/ ; +double tan (double x) /*@*/ ; +double asin (double x) /*@modifies errno@*/ ; +double acos (double x) /*@modifies errno@*/ ; +double atan (double x) /*@*/ ; +double atan2 (double y, double x) /*@*/ ; +double sinh (double x) /*@*/ ; +double cosh (double x) /*@modifies errno@*/ ; +double tanh (double x) /*@*/ ; + +double exp (double x) /*@modifies errno@*/ ; +double ldexp (double x, int n) /*@modifies errno@*/ ; +double frexp (double x, /*@out@*/ int *xp) /*@modifies *xp;@*/ ; + +double log (double x) /*@modifies errno@*/ ; +double log10 (double x) /*@modifies errno@*/ ; + +double pow (double x, double y) /*@modifies errno@*/ ; +double sqrt (double x) /*@modifies errno@*/ ; + +double ceil (double x) /*@*/ ; +double floor (double x) /*@*/ ; +double fabs (double x) /*@*/ ; + +double modf (double x, /*@out@*/ double *ip) /*@modifies *ip;@*/ ; +double fmod (double x, double y) /*@*/ ; + +/* +** These functions are optional in iso C. An implementation does not +** have to provide them. They are included in comments here, but +** are not required to be part of the standard library. +*/ + +# ifdef OPTIONAL_MATH + +float acosf (float x) /*@modifies errno@*/ ; +long double acosl (long double x) /*@modifies errno@*/ ; +float asinf (float x) /*@modifies errno@*/ ; +long double asinl (long double x) /*@modifies errno@*/ ; +float atanf (float x) /*@*/ ; +long double atanl (long double x) /*@*/ ; +float atan2f (float y, float x) /*@*/ ; +long double atan2l (long double y, long double x) /*@*/ ; +float ceilf (float x) /*@*/ ; +long double ceill (long double x) /*@*/ ; +float cosf (float x) /*@*/ ; +long double cosl (long double x) /*@*/ ; +float coshf (float x) /*@modifies errno@*/ ; +long double coshl (long double x) /*@modifies errno@*/ ; +float expf (float x) /*@modifies errno@*/ ; +long double expl (long double x) /*@modifies errno@*/; +float fabsf (float x) /*@*/ ; +long double fabsl (long double x) /*@*/ ; +float floorf (float x) /*@*/ ; +long double floorl (long double x) /*@*/ ; +float fmodf (float x, float y) /*@*/ ; +long double fmodl (long double x, long double y) /*@*/ ; +float frexpf (float x, /*@out@*/ int *xp) /*@modifies *xp@*/; +long double frexpl (long double x, /*@out@*/ int *xp) /*@modifies *xp@*/; +float ldexpf (float x, int n) /*@modifies errno@*/ ; +long double ldexpl (long double x, int n) /*@modifies errno@*/ ; +float logf (float x) /*@modifies errno@*/ ; +long double logl (long double x) /*@modifies errno@*/ ; +float log10f (float x) /*@modifies errno@*/; +long double log10l (long double x) /*@modifies errno@*/; +float modff (float x, /*@out@*/ float *xp) /*@modifies *xp@*/ ; +long double modfl (long double x, /*@out@*/ long double *xp) /*@modifies *xp@*/ ; +float powf (float x, float y) /*@modifies errno@*/ ; +long double powl (long double x, long double y) /*@modifies errno@*/ ; +float sinf (float x) /*@*/ ; +long double sinl (long double x) /*@*/ ; +float sinhf (float x) /*@*/ ; +long double sinhl (long double x) /*@*/ ; +float sqrtf (float x) /*@modifies errno@*/ ; +long double sqrtl (long double x) /*@modifies errno@*/ ; +float tanf (float x) /*@*/ ; +long double tanl (long double x) /*@*/ ; +float tanhf (float x) /*@*/ ; +long double tanhl (long double x) /*@*/ ; + +# endif + +/* +** setjmp.h +*/ + +typedef /*@abstract@*/ /*@mutable@*/ void *jmp_buf; + +int setjmp (/*@out@*/ jmp_buf env) /*@modifies env;@*/ ; +/*@mayexit@*/ void longjmp (jmp_buf env, int val) /*@*/ ; + +/* +** signal.h +*/ + +/*@constant int SIGABRT; @*/ +/*@constant int SIGFPE; @*/ +/*@constant int SIGILL; @*/ +/*@constant int SIGINT; @*/ +/*@constant int SIGSEGV; @*/ +/*@constant int SIGTERM; @*/ + +typedef /*@integraltype@*/ sig_atomic_t; + +/*@constant void (*SIG_DFL)(int); @*/ +/*@constant void (*SIG_ERR)(int); @*/ +/*@constant void (*SIG_IGN)(int); @*/ + +/* +** signal takes an int, and a function takes int returns void, and +** returns the function (or NULL if unsuccessful). +*/ + +/*@null@*/ void (*signal (int sig, /*@null@*/ void (*func)(int))) (int) + /*@modifies internalState, errno;@*/ ; + +/*@mayexit@*/ int raise (int sig) ; + +/* +** stdarg.h +*/ + +typedef /*@abstract@*/ /*@mutable@*/ void *va_list; + +void va_start (/*@out@*/ va_list ap, ...) /*@modifies ap;@*/ ; +void va_end (va_list va) /*@modifies va;@*/ ; + +/* +** va_arg is builtin +*/ + +/* +** stdio.h +*/ + +typedef /*@abstract@*/ /*@mutable@*/ void *FILE; +typedef /*@abstract@*/ /*@mutable@*/ void *fpos_t; + +/*@constant int _IOFBF; @*/ +/*@constant int _IOLBF; @*/ +/*@constant int _IONBF; @*/ + +/*@constant int BUFSIZ; @*/ +/*@constant int EOF; @*/ + +/*@constant int FOPEN_MAX; @*/ +/*@constant int FILENAME_MAX; @*/ + +/*@constant int L_tmpnam; @*/ + +/*@constant int SEEK_CUR; @*/ +/*@constant int SEEK_END; @*/ +/*@constant int SEEK_SET; @*/ + +/*@constant int TMP_MAX; @*/ + +# ifdef STRICT +/*@checked@*/ FILE *stderr; +/*@checked@*/ FILE *stdin; +/*@checked@*/ FILE *stdout; +# else +/*@unchecked@*/ FILE *stderr; +/*@unchecked@*/ FILE *stdin; +/*@unchecked@*/ FILE *stdout; +# endif + +int remove (char *filename) /*@modifies fileSystem, errno@*/ ; +int rename (char *old, char *new) /*@modifies fileSystem, errno@*/ ; + +/*@null@*/ FILE *tmpfile (void) /*@modifies fileSystem@*/ ; +/*@observer@*/ char * + tmpnam (/*@out@*/ /*@null@*/ /*@returned@*/ char *s) + /*@modifies *s, internalState@*/ ; + +int fclose (FILE *stream) /*@modifies *stream, errno, fileSystem;@*/ ; +int fflush (/*@null@*/ FILE *stream) + /*@modifies *stream, errno, fileSystem;@*/ ; + +/*@null@*/ /*@dependent@*/ FILE *fopen (char *filename, char *mode) + /*@modifies fileSystem@*/ ; + +/*@null@*/ FILE *freopen (char *filename, char *mode, FILE *stream) + /*@modifies *stream, fileSystem, errno@*/ ; + + extern void setbuf (FILE *stream, /*@null@*/ /*@exposed@*/ /*@out@*/ char *buf) + /*@modifies fileSystem, *stream, *buf@*/ ; + + extern int setvbuf (FILE *stream, /*@null@*/ /*@exposed@*/ /*@out@*/ char *buf, + int mode, size_t size) + /*@modifies fileSystem, *stream, *buf@*/ ; + +# ifdef STRICT +/*@printflike@*/ +int fprintf (FILE *stream, char *format, ...) + /*@modifies fileSystem, *stream@*/ ; +# else +/*@printflike@*/ +int /*@alt void@*/ fprintf (FILE *stream, char *format, ...) + /*@modifies fileSystem, *stream@*/ ; +# endif + +/*@scanflike@*/ +int fscanf (FILE *stream, char *format, ...) + /*@modifies fileSystem, *stream@*/ ; + +# ifdef STRICT +/*@printflike@*/ +int printf (char *format, ...) + /*@globals stdout@*/ + /*@modifies fileSystem, *stdout@*/ ; +# else +/*@printflike@*/ +int /*@alt void@*/ printf (char *format, ...) + /*@globals stdout@*/ + /*@modifies fileSystem, *stdout@*/ ; +# endif + +/*@scanflike@*/ +int scanf(char *format, ...) + /*@globals stdin@*/ + /*@modifies fileSystem, *stdin@*/ ; + +# ifdef STRICT +/*@printflike@*/ +int sprintf (/*@out@*/ char *s, char *format, ...) + /*@modifies *s@*/ ; +# else +/*@printflike@*/ +int /*@alt void@*/ sprintf (/*@out@*/ char *s, char *format, ...) + /*@modifies *s@*/ ; +# endif + +/*@scanflike@*/ +int sscanf (/*@out@*/ char *s, char *format, ...) /*@*/ ; + /* modifies extra arguments */ + +int vprintf (const char *format, va_list arg) + /*@globals stdout@*/ + /*@modifies fileSystem, *stdout@*/ ; + +int vfprintf (FILE *stream, char *format, va_list arg) + /*@modifies fileSystem, *stream, arg, errno@*/ ; + +int vsprintf (/*@out@*/ char *str, const char *format, va_list ap) + /*@warn bufferoverflowhigh "Use vsnprintf instead"@*/ + /*@modifies str@*/ ; + +int vsnprintf (/*@out@*/ char *str, size_t size, const char *format, va_list ap) + /*@requires maxSet(str) >= size@*/ + /*@modifies str@*/ ; + +int fgetc (FILE *stream) + /*@modifies fileSystem, *stream, errno@*/ ; + +/*@null@*/ char * + fgets (/*@returned@*/ /*@out@*/ char *s, int n, FILE *stream) + /*@modifies fileSystem, *s, *stream, errno@*/ + /*@requires maxSet(s) >= (n -1); @*/ + /*@ensures maxRead(s) <= (n -1) /\ maxRead(s) >= 0; @*/ + ; + +int fputc (int /*@alt char@*/ c, FILE *stream) + /*:errorcode EOF:*/ + /*@modifies fileSystem, *stream, errno@*/ ; + +int fputs (char *s, FILE *stream) + /*@modifies fileSystem, *stream@*/ ; + +/* note use of sef --- stream may be evaluated more than once */ +int getc (/*@sef@*/ FILE *stream) + /*@modifies fileSystem, *stream@*/ ; + +int getchar (void) /*@globals stdin@*/ /*@modifies fileSystem, *stdin@*/ ; + +/*@null@*/ char *gets (/*@out@*/ char *s) + /*@warn bufferoverflowhigh + "Use of gets leads to a buffer overflow vulnerability. Use fgets instead"@*/ + /*@globals stdin@*/ /*@modifies fileSystem, *s, *stdin, errno@*/ ; + +int putc (int /*@alt char@*/ c, /*@sef@*/ FILE *stream) + /*:errorcode EOF:*/ + /*@modifies fileSystem, *stream;@*/ ; + +int putchar (int /*@alt char@*/ c) + /*:errorcode EOF:*/ + /*@globals stdout@*/ /*@modifies fileSystem, *stdout@*/ ; + +int puts (const char *s) + /*:errorcode EOF:*/ + /*@globals stdout@*/ + /*@modifies fileSystem, *stdout@*/ ; + +int ungetc (int /*@alt char@*/ c, FILE *stream) + /*@modifies fileSystem, *stream, errno@*/ ; + +size_t + fread (/*@out@*/ void *ptr, size_t size, size_t nobj, FILE *stream) + /*@modifies fileSystem, *ptr, *stream, errno@*/ ; + +size_t fwrite (void *ptr, size_t size, size_t nobj, FILE *stream) + /*@modifies fileSystem, *stream, errno@*/ ; + +int fgetpos (FILE *stream, /*@out@*/ fpos_t *pos) + /*@modifies *pos, errno@*/ ; + +int fseek (FILE *stream, long int offset, int whence) + /*:errorcode -1:*/ + /*@modifies fileSystem, *stream, errno@*/ ; + +int fsetpos (FILE *stream, fpos_t *pos) + /*@modifies fileSystem, *stream, errno@*/ ; + +long int ftell(FILE *stream) + /*:errorcode -1:*/ /*@modifies errno*/ ; + +void rewind (FILE *stream) /*@modifies *stream@*/ ; +void clearerr (FILE *stream) /*@modifies *stream@*/ ; + +int feof (FILE *stream) /*@modifies errno@*/ ; +int ferror (FILE *stream) /*@modifies errno@*/ ; + +void perror (/*@null@*/ char *s) + /*@globals errno, stderr@*/ /*@modifies fileSystem, *stderr@*/ ; + +/* +** stdlib.h +*/ + +double atof (char *s) /*@*/ ; +int atoi (char *s) /*@*/ ; +long int atol (char *s) /*@*/ ; + +double strtod (char *s, /*@null@*/ /*@out@*/ char **endp) + /*@modifies *endp, errno@*/ ; + +long strtol (char *s, /*@null@*/ /*@out@*/ char **endp, int base) + /*@modifies *endp, errno@*/ ; + +unsigned long + strtoul (char *s, /*@null@*/ /*@out@*/ char **endp, int base) + /*@modifies *endp, errno@*/ ; + +/*@constant int RAND_MAX; @*/ +int rand (void) /*@modifies internalState@*/ ; +void srand (unsigned int seed) /*@modifies internalState@*/ ; + +/* + drl + changed 12/29/2000 +*/ + +/*@null@*/ /*@only@*/ void *calloc (size_t nobj, size_t size) /*@*/ + /*@ensures maxSet(result) == (nobj - 1); @*/ ; +/*@null@*/ /*@out@*/ /*@only@*/ void *malloc (size_t size) /*@*/ + /*@ensures maxSet(result) == (size - 1); @*/ ; + +/*end drl changed */ + +/* 11 June 1997: removed out on return value */ + +# if 0 +/*@null@*/ /*@only@*/ void * + realloc (/*@null@*/ /*@only@*/ /*@special@*/ void *p, + size_t size) /*@releases p@*/ /*@modifies *p@*/ + /*@ensures maxSet(result) == (size - 1) @*/; +# endif + +/* +** LCLint annotations cannot fully describe realloc. The semantics we +** want are: +** realloc returns null: ownership of parameter is not changed +** realloc returns non-null: ownership of parameter is transferred to return value +** +** Otherwise, storage is in the same state before and after the call. +*/ + +/*@null@*/ /*@only@*/ void * + realloc (/*@null@*/ /*@only@*/ /*@out@*/ /*@returned@*/ void *p, size_t size) + /*@modifies *p@*/ /*@ensures maxSet(result) >= (size - 1) @*/; + +void free (/*@null@*/ /*@out@*/ /*@only@*/ void *p) /*@modifies p@*/ ; + +/*@constant int EXIT_FAILURE; @*/ +/*@constant int EXIT_SUCCESS; @*/ + +/*@exits@*/ void abort (void) /*@*/ ; +/*@exits@*/ void exit (int status) /*@*/ ; +int atexit (void (*func)(void)) /*@modifies internalState@*/ ; + +/*@observer@*/ /*@null@*/ char *getenv (char *name) /*@*/ ; + +int system (/*@null@*/ char *s) /*@modifies fileSystem@*/ ; + +/*@null@*/ /*@dependent@*/ void * + bsearch (void *key, void *base, + size_t n, size_t size, + int (*compar)(void *, void *)) /*@*/ ; + +void qsort (void *base, size_t n, size_t size, + int (*compar)(void *, void *)) + /*@modifies *base, errno@*/ ; + +int abs (int n) /*@*/ ; + +typedef /*@concrete@*/ struct +{ + int quot; + int rem; +} div_t ; + +div_t div (int num, int denom) /*@*/ ; + +long int labs (long int n) /*@*/ ; + +typedef /*@concrete@*/ struct +{ + long int quot; + long int rem; +} ldiv_t ; + +ldiv_t ldiv (long num, long denom) /*@*/ ; + +/*@constant size_t MB_CUR_MAX; @*/ + +/* +** wchar_t and wint_t functions added by Amendment 1 to ISO. +*/ + +/*@constant int WCHAR_MAX@*/ +/*@constant int WCHAR_MIN@*/ +/*@constant wint_t WEOF@*/ + +wint_t btowc (int c) /*@*/ ; + +wint_t fgetwc (FILE *fp) /*@modifies fileSystem, *fp*/ ; + +/*@null@*/ wchar_t *fgetws (/*@returned@*/ wchar_t *s, int n, FILE *stream) + /*@modifies fileSystem, *s, *stream@*/; + +wint_t fputwc (wchar_t c, FILE *stream) + /*@modifies fileSystem, *stream@*/; + +int fputws (const wchar_t *s, FILE *stream) + /*@modifies fileSystem, *stream@*/ ; + +int fwide (FILE *stream, int mode) /*@*/ ; + /* does not modify the stream */ + +/*@printflike@*/ int fwprintf (FILE *stream, const wchar_t *format, ...) + /*@modifies *stream, fileSystem@*/ ; + +/*@scanflike@*/ int fwscanf (FILE *stream, const wchar_t *format, ...) + /*@modifies *stream, fileSystem@*/ ; + +/* note use of sef --- stream may be evaluated more than once */ +wint_t getwc (/*@sef@*/ FILE *stream) /*@modifies fileSystem, *stream@*/ ; + +wint_t getwchar (void) /*@modifies fileSystem, *stdin@*/; + +size_t mbrlen (const char *s, size_t n, /*@null@*/ mbstate_t *ps) /*@*/ ; + +size_t mbrtowc (/*@null@*/ wchar_t *pwc, const char *s, size_t n, + /*@null@*/ mbstate_t *ps) + /*@modifies *pwc@*/ ; + +int mbsinit (/*@null@*/ const mbstate_t *ps) /*@*/ ; + +size_t mbsrtowcs (/*@null@*/ wchar_t *dst, const char **src, size_t len, + /*@null@*/ mbstate_t *ps) + /*@modifies *dst@*/ ; + +/* note use of sef --- stream may be evaluated more than once */ +wint_t putwc (wchar_t c, /*@sef@*/ FILE *stream) /*@modifies fileSystem, *stream@*/ ; + +wint_t putwchar (wchar_t c) /*@modifies fileSystem, *stdout@*/ ; + +/*@printflike@*/ int swprintf (wchar_t *s, size_t n, const wchar_t *format, ...) + /*@modifies *s@*/ ; + +/*@scanflike@*/ int swscanf (const wchar_t *s, const wchar_t *format, ...) + /*@modifies *stdin@*/ ; + +wint_t ungetwc (wint_t c, FILE *stream) /*@modifies fileSystem, *stream@*/ ; + +int vfwprintf (FILE *stream, const wchar_t *format, va_list arg) + /*@modifies fileSystem, *stream@*/ ; + +int vswprintf (wchar_t *s, size_t n, const wchar_t *format, va_list arg) + /*@modifies *s@*/ ; + +int vwprintf (const wchar_t *format, va_list arg) + /*@modifies fileSystem, *stdout@*/ ; + +size_t wcrtomb (/*@null@*/ /*@out@*/ char *s, wchar_t wc, /*@null@*/ mbstate_t *ps) + /*@modifies *s@*/; + +void /*@alt wchar_t *@*/ + wcscat (/*@unique@*/ /*@returned@*/ /*@out@*/ wchar_t *s1, const wchar_t *s2) + /*@modifies *s1@*/ ; + +/*@exposed@*/ /*@null@*/ wchar_t * + wcschr (/*@returned@*/ const wchar_t *s, wchar_t c) + /*@*/ ; + +int wcscmp (const wchar_t *s1, const wchar_t *s2) /*@*/ ; + +int wcscoll (const wchar_t *s1, const wchar_t *s2) /*@*/ ; + +void /*@alt wchar_t *@*/ + wcscpy (/*@unique@*/ /*@out@*/ /*@returned@*/ wchar_t *s1, const wchar_t *s2) + /*@modifies *s1@*/ ; + +size_t wcscspn (const wchar_t *s1, const wchar_t *s2) /*@*/ ; + +size_t wcsftime (/*@out@*/ wchar_t *s, size_t maxsize, const wchar_t *format, + const struct tm *timeptr) + /*@modifies *s@*/ ; + +size_t wcslen (const wchar_t *s) /*@*/ ; + +void /*@alt wchar_t *@*/ + wcsncat (/*@unique@*/ /*@returned@*/ /*@out@*/ wchar_t *s1, const wchar_t *s2, + size_t n) + /*@modifies *s1@*/ ; + +int wcsncmp (const wchar_t *s1, const wchar_t *s2, size_t n) /*@*/ ; + +void /*@alt wchar_t *@*/ + wcsncpy (/*@unique@*/ /*@returned@*/ /*@out@*/ wchar_t *s1, const wchar_t *s2, + size_t n) + /*@modifies *s1@*/ ; + +/*@null@*/ wchar_t * + wcspbrk (/*@returned@*/ const wchar_t *s1, const wchar_t *s2) + /*@*/ ; + +/*@null@*/ wchar_t * + wcsrchr (/*@returned@*/ const wchar_t *s, wchar_t c) + /*@*/ ; + +size_t + wcsrtombs (/*@null@*/ char *dst, const wchar_t **src, size_t len, + /*@null@*/ mbstate_t *ps) + /*@modifies *src@*/ ; + +size_t wcsspn (const wchar_t *s1, const wchar_t *s2) /*@*/ ; + +/*@null@*/ wchar_t *wcsstr (const wchar_t *s1, const wchar_t *s2) /*@*/ ; + +double wcstod (const wchar_t *nptr, /*@null@*/ wchar_t **endptr) + /*@modifies *endptr@*/ ; + +/*@null@*/ wchar_t * + wcstok (/*@null@*/ wchar_t *s1, const wchar_t *s2, wchar_t **ptr) + /*@modifies *ptr@*/; + +long wcstol (const wchar_t *nptr, /*@null@*/ wchar_t **endptr, int base) + /*@modifies *endptr@*/; + +unsigned long + wcstoul (const wchar_t *nptr, /*@null@*/ wchar_t **endptr, int base) + /*@modifies *endptr@*/; + +size_t + wcsxfrm (/*@null@*/ wchar_t *s1, const wchar_t *s2, size_t n) + /*@modifies *s1@*/; + +int wctob (wint_t c) /*@*/; + +/*@null@*/ wchar_t *wmemchr (const wchar_t *s, wchar_t c, size_t n) /*@*/ ; + +int wmemcmp (const wchar_t *s1, const wchar_t *s2, size_t n) /*@*/ ; + +wchar_t *wmemcpy (/*@returned@*/ wchar_t *s1, const wchar_t *s2, size_t n) + /*@modifies *s1@*/; + +wchar_t *wmemmove (/*@returned@*/ wchar_t *s1, const wchar_t *s2, size_t n) + /*@modifies *s1@*/; + +wchar_t *wmemset (/*@returned@*/ wchar_t *s, wchar_t c, size_t n) + /*@modifies *s@*/; + +/*@printflike@*/ int wprintf (const wchar_t *format, ...) + /*@globals stdout@*/ /*@modifies errno, *stdout@*/; + +/*@scanflike@*/ int + wscanf (const wchar_t *format, ...) + /*@globals stdin@*/ /*@modifies errno, *stdin@*/; + +/* +** wctype.h (added by Amendment 1) +*/ + +/* Warning: not sure about these (maybe abstract?): */ +typedef /*@integraltype@*/ wctype_t; +typedef /*@integraltype@*/ wctrans_t; + +# ifdef STRICT +lltX_bool iswalnum (wint_t c) /*@*/ ; +lltX_bool iswalpha (wint_t c) /*@*/ ; +lltX_bool iswcntrl (wint_t c) /*@*/ ; +lltX_bool iswctype (wint_t c, wctype_t ctg) /*@*/ ; +lltX_bool iswdigit (wint_t c) /*@*/ ; +lltX_bool iswgraph (wint_t c) /*@*/ ; +lltX_bool iswlower (wint_t c) /*@*/ ; +lltX_bool iswprint (wint_t c) /*@*/ ; +lltX_bool iswpunct (wint_t c) /*@*/ ; +lltX_bool iswspace (wint_t c) /*@*/ ; +lltX_bool iswupper (wint_t c) /*@*/ ; +lltX_bool iswxdigit (wint_t c) /*@*/ ; + +wint_t towctrans (wint_t c, wctrans_t ctg) /*@*/ ; +wint_t towlower (wint_t c) /*@*/ ; +wint_t towupper (wint_t c) /*@*/ ; +# else +lltX_bool /*@alt int@*/ iswalnum (wint_t c) /*@*/ ; +lltX_bool /*@alt int@*/ iswalpha (wint_t c) /*@*/ ; +lltX_bool /*@alt int@*/ iswcntrl (wint_t c) /*@*/ ; +lltX_bool /*@alt int@*/ iswctype (wint_t c, wctype_t ctg) /*@*/ ; +lltX_bool /*@alt int@*/ iswdigit (wint_t c) /*@*/ ; +lltX_bool /*@alt int@*/ iswgraph (wint_t c) /*@*/ ; +lltX_bool /*@alt int@*/ iswlower (wint_t c) /*@*/ ; +lltX_bool /*@alt int@*/ iswprint (wint_t c) /*@*/ ; +lltX_bool /*@alt int@*/ iswpunct (wint_t c) /*@*/ ; +lltX_bool /*@alt int@*/ iswspace (wint_t c) /*@*/ ; +lltX_bool /*@alt int@*/ iswupper (wint_t c) /*@*/ ; +lltX_bool /*@alt int@*/ iswxdigit (wint_t c) /*@*/ ; + +wint_t /*@alt int@*/ towctrans (wint_t c, wctrans_t ctg) /*@*/ ; +wint_t /*@alt int@*/ towlower (wint_t c) /*@*/ ; +wint_t /*@alt int@*/ towupper (wint_t c) /*@*/ ; +# endif + +wctrans_t wctrans (const char *property) /*@*/ ; +wctype_t wctype (const char *property) /*@*/ ; + +int mblen (char *s, size_t n) /*@*/ ; +int mbtowc (/*@null@*/ wchar_t *pwc, /*@null@*/ char *s, size_t n) + /*@modifies *pwc@*/ ; +int wctomb (/*@out@*/ /*@null@*/ char *s, wchar_t wchar) + /*@modifies *s@*/ ; +size_t mbstowcs (/*@out@*/ wchar_t *pwcs, char *s, size_t n) + /*@modifies *pwcs@*/ ; +size_t wcstombs (/*@out@*/ char *s, wchar_t *pwcs, size_t n) + /*@modifies *s@*/ ; + +/* +** string.h +*/ + +void /*@alt void * @*/ + memcpy (/*@unique@*/ /*@returned@*/ /*@out@*/ void *s1, void *s2, size_t n) + /*@modifies *s1@*/ + /*@requires maxRead(s2) >= (n - 1) /\ maxSet(s1) >= (n - 1); @*/ + ; + +void /*@alt void * @*/ + memmove (/*@returned@*/ /*@out@*/ void *s1, void *s2, size_t n) + /*@modifies *s1@*/ + /*@requires maxRead(s2) >= (n - 1) /\ maxSet(s1) >= (n - 1); @*/ + ; + + + /* drl + modifed 12/29/2000 + */ + +void /*@alt char * @*/ + strcpy (/*@unique@*/ /*@out@*/ /*@returned@*/ char *s1, char *s2) + /*@modifies *s1@*/ + /*@requires maxSet(s1) >= maxRead(s2) @*/ + /*@ensures maxRead(s1) == maxRead (s2) /\ maxRead(result) == maxRead(s2) /\ maxSet(result) == maxSet(s1); @*/; + +void /*@alt char * @*/ + strncpy (/*@unique@*/ /*@out@*/ /*@returned@*/ char *s1, char *s2, size_t n) + /*@modifies *s1@*/ /*@requires maxSet(s1) >= ( n - 1 ); @*/ /*@ensures maxRead (s2) >= maxRead(s1) /\ maxRead (s1) <= n; @*/; + +void /*@alt char * @*/ + strcat (/*@unique@*/ /*@returned@*/ char *s1, char *s2) + /*@modifies *s1@*/ /*@requires maxSet(s1) >= (maxRead(s1) + maxRead(s2) );@*/ + /*@ensures maxRead(result) == (maxRead(s1) + maxRead(s2) );@*/; + +void /*@alt char * @*/ + strncat (/*@unique@*/ /*@returned@*/ char *s1, char *s2, size_t n) + /*@modifies *s1@*/ + /*@requires maxSet(s1) >= ( maxRead(s1) + n); @*/ + /*@ensures maxRead(s1) >= (maxRead(s1) + n); @*/; + + /*drl end*/ + +int memcmp (void *s1, void *s2, size_t n) /*@*/ ; +int strcmp (char *s1, char *s2) /*@*/ ; +int strcoll (char *s1, char *s2) /*@*/ ; +int strncmp (char *s1, char *s2, size_t n) /*@*/ ; +size_t strxfrm (/*@out@*/ /*@null@*/ char *s1, char *s2, size_t n) + /*@modifies *s1@*/ ; /* s1 may be null only if n == 0 */ + +/*@null@*/ void *memchr (void *s, int c, size_t n) /*@*/ ; + +# ifdef STRICT +/*@exposed@*/ /*@null@*/ char * +strchr (/*@returned@*/ char *s, char c) /*@*/ /*@ensures maxSet(result) >= 0 /\ maxSet(result) <= maxSet(s) /\ maxRead (result) <= maxRead(s) /\ maxRead(result) >= 0 @*/ ; +# else +/*@exposed@*/ /*@null@*/ char * + strchr (/*@returned@*/ char *s, int /*@alt char@*/ c) /*@*/ /*@ensures maxSet(result) >= 0 /\ maxSet(result) <= maxSet(s) /\ maxRead (result) <= maxRead(s) /\ maxRead(result) >= 0; @*/ ; +# endif + +size_t strcspn (char *s1, char *s2) /*@*/ ; +/*@null@*/ /*@exposed@*/ char * + strpbrk (/*@returned@*/ char *s, char *t) /*@*/ ; + +# ifdef STRICT +/*@null@*/ /*@exposed@*/ char * + strrchr (/*@returned@*/ char *s, char c) /*@*/ /*@ensures maxSet(result) >= 0 /\ maxSet(result) <= maxSet(s) /\ maxRead (result) <= maxRead(s) /\ maxRead(result) >= 0 @*/ ; +# else +/*@null@*/ /*@exposed@*/ char * + strrchr (/*@returned@*/ char *s, int /*@alt char@*/ c) /*@*/ /*@ensures maxSet(result) >= 0 /\ maxSet(result) <= maxSet(s) /\ maxRead (result) <= maxRead(s) /\ maxRead(result) >= 0 @*/ ; +# endif + +size_t strspn (char *s, char *t) /*@*/ ; + +/*@null@*/ /*@exposed@*/ char * + strstr (/*@returned@*/ /*@unique@*/ char *s, char *t) /*@*/ + /*@ensures maxSet(result) >= 0 /\ maxSet(result) <= maxSet(s) /\ maxRead (result) <= maxRead(s) /\ maxRead(result) >= 0 /\ maxRead(result) >= maxRead(t) /\ maxSet(result) >= maxRead(t)@*/ ; + +/*@null@*/ /*@exposed@*/ char * + strtok (/*@returned@*/ /*@null@*/ char *s, char *t) + /*@modifies *s, internalState, errno@*/ ; + +void /*@alt void *@*/ memset (/*@out@*/ /*@returned@*/ void *s, + int c, size_t n) + /*@modifies *s@*/ /*@requires maxSet(s) >= (n - 1) @*/ /*@ensures maxRead(s) >= (n - 1) @*/ ; + +/*@observer@*/ char *strerror (int errnum) /*@*/ ; + +/*drl */ +size_t strlen (char *s) /*@*/ /*@ensures result == maxRead(s); @*/; + +/* +** time.h +*/ + +/*@constant int CLOCKS_PER_SEC;@*/ + +typedef /*@integraltype@*/ clock_t; +typedef /*@integraltype@*/ time_t; + +struct tm + { + int tm_sec; + int tm_min; + int tm_hour; + int tm_mday; + int tm_mon; + int tm_year; + int tm_wday; + int tm_yday; + int tm_isdst; + } ; + +clock_t clock (void) /*@modifies internalState@*/ ; +double difftime (time_t time1, time_t time0) /*@*/ ; +time_t mktime (struct tm *timeptr) /*@*/ ; + +time_t time (/*@null@*/ /*@out@*/ time_t *tp) + /*@modifies *tp@*/ ; + +/*@observer@*/ char *asctime (struct tm *timeptr) + /*@modifies errno*/ /*@ensures maxSet(result) == 25 /\ maxRead(result) == 25; @*/ ; + +/*@observer@*/ char *ctime (time_t *tp) /*@*/ + /*@ensures maxSet(result) == 25 /\ maxRead(result) == 25; @*/; + +/*@null@*/ /*@observer@*/ struct tm *gmtime (time_t *tp) /*@*/ ; + +/*@null@*/ /*@observer@*/ struct tm *localtime (time_t *tp) + /*@modifies errno@*/ ; + +size_t strftime (/*@out@*/ char *s, size_t smax, + char *fmt, struct tm *timeptr) + /*@modifies *s@*/ ; + +/* +** ISO c99: 7.18 Integer types +*/ + +/* +** These types are OPTIONAL. Provide warnings on use. +*/ + +typedef /*@integraltype@*/ int8_t + /*@warn implementationoptional "ISO99 specifies as optional type, implementation need not provide. Consider int_least8_t instead."@*/ ; + +typedef /*@integraltype@*/ int16_t + /*@warn implementationoptional "ISO99 specifies as optional type, implementation need not provide. Consider int_least16_t instead."@*/ ; + +typedef /*@integraltype@*/ int32_t + /*@warn implementationoptional "ISO99 specifies as optional type, implementation need not provide. Consider int_least32_t instead."@*/ ; + +typedef /*@integraltype@*/ int64_t + /*@warn implementationoptional "ISO99 specifies as optional type, implementation need not provide. Consider int_least64_t instead."@*/ ; + +typedef /*@unsignedintegraltype@*/ uint8_t + /*@warn implementationoptional "ISO99 specifies as optional type, implementation need not provide. Consider uint_least8_t instead."@*/ ; + +typedef /*@unsignedintegraltype@*/ uint16_t + /*@warn implementationoptional "ISO99 specifies as optional type, implementation need not provide. Consider uint_least16_t instead."@*/ ; + +typedef /*@unsignedintegraltype@*/ uint32_t + /*@warn implementationoptional "ISO99 specifies as optional type, implementation need not provide. Consider uint_least32_t instead."@*/ ; + +typedef /*@unsignedintegraltype@*/ uint64_t + /*@warn implementationoptional "ISO99 specifies as optional type, implementation need not provide. Consider uint_least64_t instead."@*/ ; + +typedef /*@integraltype@*/ int_least8_t; +typedef /*@integraltype@*/ int_least16_t; +typedef /*@integraltype@*/ int_least32_t; +typedef /*@integraltype@*/ int_least64_t; + +typedef /*@unsignedintegraltype@*/ uint_least8_t; +typedef /*@unsignedintegraltype@*/ uint_least16_t; +typedef /*@unsignedintegraltype@*/ uint_least32_t; +typedef /*@unsignedintegraltype@*/ uint_least64_t; + +typedef /*@integraltype@*/ int_fast8_t; +typedef /*@integraltype@*/ int_fast16_t; +typedef /*@integraltype@*/ int_fast32_t; +typedef /*@integraltype@*/ int_fast64_t; + +typedef /*@unsignedintegraltype@*/ uint_fast8_t; +typedef /*@unsignedintegraltype@*/ uint_fast16_t; +typedef /*@unsignedintegraltype@*/ uint_fast32_t; +typedef /*@unsignedintegraltype@*/ uint_fast64_t; + +typedef int *intptr_t + /*@warn implementationoptional "ISO99 specifies as optional type, implementation need not provide."@*/ ; + +typedef unsigned int *uintptr_t + /*@warn implementationoptional "ISO99 specifies as optional type, implementation need not provide."@*/ ; + +typedef /*@signedintegraltype@*/ intmax_t; +typedef /*@unsignedintegraltype@*/ uintmax_t; + +/* +** What should the types be here? +*/ /*#*/ + +/*@constant int INT8_MIN@*/ +/*@constant int INT16_MIN@*/ +/*@constant int INT32_MIN@*/ +/*@constant int INT64_MIN@*/ + +/*@constant int INT8_MAX@*/ +/*@constant int INT16_MAX@*/ +/*@constant int INT32_MAX@*/ +/*@constant int INT64_MAX@*/ + +/*@constant int UINT8_MIN@*/ +/*@constant int UINT16_MIN@*/ +/*@constant int UINT32_MIN@*/ +/*@constant int UINT64_MIN@*/ + +/*@constant int INT_LEAST8_MIN@*/ +/*@constant int INT_LEAST16_MIN@*/ +/*@constant int INT_LEAST32_MIN@*/ +/*@constant int INT_LEAST64_MIN@*/ + +/*@constant int INT_LEAST8_MAX@*/ +/*@constant int INT_LEAST16_MAX@*/ +/*@constant int INT_LEAST32_MAX@*/ +/*@constant int INT_LEAST64_MAX@*/ + +/*@constant int UINT_LEAST8_MAX@*/ +/*@constant int UINT_LEAST16_MAX@*/ +/*@constant int UINT_LEAST32_MAX@*/ +/*@constant int UINT_LEAST64_MAX@*/ + +/*@constant int INT_FAST8_MIN@*/ +/*@constant int INT_FAST16_MIN@*/ +/*@constant int INT_FAST32_MIN@*/ +/*@constant int INT_FAST64_MIN@*/ + +/*@constant int INT_FAST8_MAX@*/ +/*@constant int INT_FAST16_MAX@*/ +/*@constant int INT_FAST32_MAX@*/ +/*@constant int INT_FAST64_MAX@*/ + +/*@constant int UINT_FAST8_MAX@*/ +/*@constant int UINT_FAST16_MAX@*/ +/*@constant int UINT_FAST32_MAX@*/ +/*@constant int UINT_FAST64_MAX@*/ + +/*@constant size_t INTPTR_MIN@*/ +/*@constant size_t INTPTR_MAX@*/ diff --git a/lib/stdio.h b/lib/stdio.h index 47d554c..15f6a55 100644 --- a/lib/stdio.h +++ b/lib/stdio.h @@ -111,27 +111,28 @@ extern char * ctermid (/*@returned@*/ /*@out@*/ /*@null@*/ char *s) /*@unchecked@*/ extern int opterr; /*@unchecked@*/ extern int optreset; - extern int getopt (int argc, char * const *argv, const char *optstring) - /*@globals optarg, optind, optopt, opterr, optreset@*/ - /*@modifies optarg, optind, optopt@*/ - /*@requires maxRead(argv) >= (argc - 1) @*/ - - ; - - extern /*@null@*/ char *gets (/*@out@*/ char *s) - /*@warn bufferoverflowhigh - "Use of gets leads to a buffer overflow vulnerability. Use fgets instead"@*/ - /*@globals stdin@*/ /*@modifies fileSystem, *s, *stdin, errno@*/ ; - - extern int getw (FILE *stream) /*@modifies fileSystem, *stream, errno@*/ ; /*drl added 09-18-001 */ /*legacy */ +extern int getopt (int argc, char * const *argv, const char *optstring) + /*@globals optarg, optind, optopt, opterr, optreset@*/ + /*@modifies optarg, optind, optopt@*/ + /*@requires maxRead(argv) >= (argc - 1) @*/ + ; +/*@-bufferoverflowhigh@*/ +extern /*@null@*/ char *gets (/*@out@*/ char *s) + /*@warn bufferoverflowhigh + "Use of gets leads to a buffer overflow vulnerability. Use fgets instead"@*/ + /*@globals stdin@*/ + /*@modifies fileSystem, *s, *stdin, errno@*/ ; + +extern int getw (FILE *stream) + /*@modifies fileSystem, *stream, errno@*/ ; /*drl added 09-18-001 */ /*legacy */ - extern int pclose (FILE *stream) /*@modifies fileSystem, *stream, errno@*/ ; +extern int pclose (FILE *stream) /*@modifies fileSystem, *stream, errno@*/ ; - extern void perror (/*@null@*/ char *s) +extern void perror (/*@null@*/ char *s) /*@globals errno, stderr@*/ /*@modifies fileSystem, *stderr@*/ ; - extern /*@dependent@*/ /*@null@*/ FILE *popen (char *command, char *ttype) +extern /*@dependent@*/ /*@null@*/ FILE *popen (char *command, char *ttype) /*@modifies fileSystem, errno@*/ ; # ifdef STRICT diff --git a/lib/unix.h b/lib/unix.h index cfe5635..56b3573 100644 --- a/lib/unix.h +++ b/lib/unix.h @@ -509,7 +509,7 @@ int getsockname (int s, /*@out@*/ struct sockaddr *address, socklen_t *address_l #else int getsockname (int s, /*@out@*/ struct sockaddr *address, socklen_t /*@alt size_t@*/ *address_len) - /*@i556@*/ /*: can't do this? requires maxSet(address) >= (*address_len) @*/ + /*@i556@*/ /*: can't do this? requires maxSet(address) >= (*address_len) @*/ /*@modifies *address, *address_len, errno@*/; #endif diff --git a/src/Headers/constants.h b/src/Headers/constants.h index a46adba..f8be6c7 100644 --- a/src/Headers/constants.h +++ b/src/Headers/constants.h @@ -34,10 +34,10 @@ # define LCLIMPORTDIR "LCLIMPORTDIR" /*@constant observer char *LLSTDLIBS_NAME; @*/ -# define LLSTDLIBS_NAME "ansi" +# define LLSTDLIBS_NAME "standard" /*@constant observer char *LLSTRICTLIBS_NAME; @*/ -# define LLSTRICTLIBS_NAME "ansistrict" +# define LLSTRICTLIBS_NAME "standardstrict" /*@constant observer char *LLUNIXLIBS_NAME; @*/ # define LLUNIXLIBS_NAME "unix" diff --git a/src/Headers/version.h b/src/Headers/version.h index 3035e78..458aebe 100644 --- a/src/Headers/version.h +++ b/src/Headers/version.h @@ -10,7 +10,7 @@ # define VERSION_H /*@constant observer char *SPLINT_MAINTAINER; @*/ -# define SPLINT_MAINTAINER "splint-bug@cs.virginia.edu" +# define SPLINT_MAINTAINER "splint-bug@splint.org" # else # error "Multiple include" diff --git a/src/abstract.c b/src/abstract.c index 7f55b8d..46f8c4a 100644 --- a/src/abstract.c +++ b/src/abstract.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/aliasTable.c b/src/aliasTable.c index f7eb7ca..8328185 100644 --- a/src/aliasTable.c +++ b/src/aliasTable.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/annotationInfo.c b/src/annotationInfo.c index c60e397..26e7bcc 100644 --- a/src/annotationInfo.c +++ b/src/annotationInfo.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/annotationTable.c b/src/annotationTable.c index 7e54dac..052a232 100644 --- a/src/annotationTable.c +++ b/src/annotationTable.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/cgrammar.y b/src/cgrammar.y index ad53016..b9e2fd2 100644 --- a/src/cgrammar.y +++ b/src/cgrammar.y @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ %{ diff --git a/src/checking.c b/src/checking.c index a75595f..6fe1b23 100644 --- a/src/checking.c +++ b/src/checking.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/clabstract.c b/src/clabstract.c index 3327e31..8bdfe30 100644 --- a/src/clabstract.c +++ b/src/clabstract.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* @@ -2073,7 +2073,7 @@ sRef checkStateClausesId (uentry ue) "are not recognized in state clauses. If there is " "sufficient interest in support for this, it may be " "added to a future release. Send mail to " - "splint@cs.virginia.edu.)", + "info@splint.org.)", s), g_currentloc); @@ -2251,7 +2251,7 @@ sRef fixStateClausesId (cstring s) "are not recognized in function clauses. If there is " "sufficient interest in support for this, it may be " "added to a future release. Send mail to " - "splint@cs.virginia.edu.)", + "info@splint.org.)", s), g_currentloc); diff --git a/src/clause.c b/src/clause.c index 5e54ae5..527907c 100644 --- a/src/clause.c +++ b/src/clause.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/clauseStack.c b/src/clauseStack.c index a34b0a9..43ae071 100644 --- a/src/clauseStack.c +++ b/src/clauseStack.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/constraint.c b/src/constraint.c index e7db524..24596df 100644 --- a/src/constraint.c +++ b/src/constraint.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ diff --git a/src/constraintExpr.c b/src/constraintExpr.c index a702c32..1f22b7e 100644 --- a/src/constraintExpr.c +++ b/src/constraintExpr.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ diff --git a/src/constraintExprData.c b/src/constraintExprData.c index a7fdce6..d2fd3e0 100644 --- a/src/constraintExprData.c +++ b/src/constraintExprData.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ diff --git a/src/constraintGeneration.c b/src/constraintGeneration.c index 3b80b1c..54179c4 100644 --- a/src/constraintGeneration.c +++ b/src/constraintGeneration.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ diff --git a/src/constraintList.c b/src/constraintList.c index 5d347cf..99dc7e7 100644 --- a/src/constraintList.c +++ b/src/constraintList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ diff --git a/src/constraintOutput.c b/src/constraintOutput.c index a802676..bb45608 100644 --- a/src/constraintOutput.c +++ b/src/constraintOutput.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ diff --git a/src/constraintResolve.c b/src/constraintResolve.c index 127fe64..eefac7f 100644 --- a/src/constraintResolve.c +++ b/src/constraintResolve.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ diff --git a/src/constraintTerm.c b/src/constraintTerm.c index 9d25c7b..65012f9 100644 --- a/src/constraintTerm.c +++ b/src/constraintTerm.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ diff --git a/src/context.c b/src/context.c index e42eb35..c925eed 100644 --- a/src/context.c +++ b/src/context.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/cpperror.c b/src/cpperror.c index 725af10..14fcd8a 100644 --- a/src/cpperror.c +++ b/src/cpperror.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/cppexp.c b/src/cppexp.c index b332947..c19eb8b 100644 --- a/src/cppexp.c +++ b/src/cppexp.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* @@ -678,7 +678,7 @@ cppReader_parseEscape (cppReader *pfile, char **string_ptr) if (cppReader_isPedantic (pfile)) { cppReader_pedwarn (pfile, - message ("non-ANSI-standard escape sequence, `\\%c'", c)); + message ("non-standard escape sequence, `\\%c'", c)); } return (char) 033; case 'f': diff --git a/src/cpphash.c b/src/cpphash.c index 8850def..0d20855 100644 --- a/src/cpphash.c +++ b/src/cpphash.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/cpplib.c b/src/cpplib.c index 9df9752..9c9c5a5 100644 --- a/src/cpplib.c +++ b/src/cpplib.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/cppmain.c b/src/cppmain.c index 85142e1..d10b2cc 100644 --- a/src/cppmain.c +++ b/src/cppmain.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/cprim.c b/src/cprim.c index e86325b..4a0210f 100644 --- a/src/cprim.c +++ b/src/cprim.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/cstring.c b/src/cstring.c index 134d6e1..5213e34 100644 --- a/src/cstring.c +++ b/src/cstring.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/cstringList.c b/src/cstringList.c index 1a71e71..dc4d612 100644 --- a/src/cstringList.c +++ b/src/cstringList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/cstringSList.c b/src/cstringSList.c index 4e5aba7..9511e28 100644 --- a/src/cstringSList.c +++ b/src/cstringSList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/cstringTable.c b/src/cstringTable.c index b0d7346..6f2ba81 100644 --- a/src/cstringTable.c +++ b/src/cstringTable.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/cttable.i b/src/cttable.i index e045d76..dc1fcff 100644 --- a/src/cttable.i +++ b/src/cttable.i @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/ctype.c b/src/ctype.c index 757a4c1..c4cae38 100644 --- a/src/ctype.c +++ b/src/ctype.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/ctypeList.c b/src/ctypeList.c index d177040..6f50764 100644 --- a/src/ctypeList.c +++ b/src/ctypeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/cvar.c b/src/cvar.c index 7bcb718..247a529 100644 --- a/src/cvar.c +++ b/src/cvar.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/declaratorInvNodeList.c b/src/declaratorInvNodeList.c index 5466428..c98b5c1 100644 --- a/src/declaratorInvNodeList.c +++ b/src/declaratorInvNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/declaratorNodeList.c b/src/declaratorNodeList.c index fbe7e78..36d9250 100644 --- a/src/declaratorNodeList.c +++ b/src/declaratorNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/ekind.c b/src/ekind.c index f393f8a..0d11b52 100644 --- a/src/ekind.c +++ b/src/ekind.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/enumNameList.c b/src/enumNameList.c index 524416c..4101235 100644 --- a/src/enumNameList.c +++ b/src/enumNameList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/enumNameSList.c b/src/enumNameSList.c index df36d16..5dea53f 100644 --- a/src/enumNameSList.c +++ b/src/enumNameSList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/exprChecks.c b/src/exprChecks.c index a2c3871..75ce7f3 100644 --- a/src/exprChecks.c +++ b/src/exprChecks.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/exprNode.c b/src/exprNode.c index 9796fdf..ebac5a1 100644 --- a/src/exprNode.c +++ b/src/exprNode.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/exprNodeList.c b/src/exprNodeList.c index 5321d5f..5439246 100644 --- a/src/exprNodeList.c +++ b/src/exprNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/exprNodeSList.c b/src/exprNodeSList.c index 71146c9..d5e931d 100644 --- a/src/exprNodeSList.c +++ b/src/exprNodeSList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/fcnNodeList.c b/src/fcnNodeList.c index ac59de1..e1b3c9c 100644 --- a/src/fcnNodeList.c +++ b/src/fcnNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/fileIdList.c b/src/fileIdList.c index 5ebd394..cbff8d4 100644 --- a/src/fileIdList.c +++ b/src/fileIdList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/fileLib.c b/src/fileLib.c index a331416..dfda85e 100644 --- a/src/fileLib.c +++ b/src/fileLib.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/fileTable.c b/src/fileTable.c index 4f85aa4..0797834 100644 --- a/src/fileTable.c +++ b/src/fileTable.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/fileloc.c b/src/fileloc.c index e6a7d42..91bcf9e 100644 --- a/src/fileloc.c +++ b/src/fileloc.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/filelocList.c b/src/filelocList.c index 6d0ff21..b011a01 100644 --- a/src/filelocList.c +++ b/src/filelocList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/filelocStack.c b/src/filelocStack.c index eb4887a..734e73f 100644 --- a/src/filelocStack.c +++ b/src/filelocStack.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/flagMarker.c b/src/flagMarker.c index efb9b0a..f1ef51a 100644 --- a/src/flagMarker.c +++ b/src/flagMarker.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/flagMarkerList.c b/src/flagMarkerList.c index 3b863c7..e935637 100644 --- a/src/flagMarkerList.c +++ b/src/flagMarkerList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/flagSpec.c b/src/flagSpec.c index f1a90f9..6bceb5e 100644 --- a/src/flagSpec.c +++ b/src/flagSpec.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/flags.c b/src/flags.c index 0861f68..0b99ea7 100644 --- a/src/flags.c +++ b/src/flags.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/functionClause.c b/src/functionClause.c index 177fc09..83aa836 100644 --- a/src/functionClause.c +++ b/src/functionClause.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/functionClauseList.c b/src/functionClauseList.c index abf3dd0..a542b60 100644 --- a/src/functionClauseList.c +++ b/src/functionClauseList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/functionConstraint.c b/src/functionConstraint.c index 593ba3f..e40a70c 100644 --- a/src/functionConstraint.c +++ b/src/functionConstraint.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/general.c b/src/general.c index 51f61c9..dd72788 100644 --- a/src/general.c +++ b/src/general.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/genericTable.c b/src/genericTable.c index bdc0797..2325d50 100644 --- a/src/genericTable.c +++ b/src/genericTable.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/globSet.c b/src/globSet.c index 747dbce..d3b1958 100644 --- a/src/globSet.c +++ b/src/globSet.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/globals.c b/src/globals.c index 7d4e2ea..4eb1928 100644 --- a/src/globals.c +++ b/src/globals.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/globalsClause.c b/src/globalsClause.c index 4cf0231..e9508d1 100644 --- a/src/globalsClause.c +++ b/src/globalsClause.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/guardSet.c b/src/guardSet.c index 693f0b7..f8ab23f 100644 --- a/src/guardSet.c +++ b/src/guardSet.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/idDecl.c b/src/idDecl.c index e252c43..170c5b9 100644 --- a/src/idDecl.c +++ b/src/idDecl.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/idDeclList.c b/src/idDeclList.c index 0eac765..b63e83c 100644 --- a/src/idDeclList.c +++ b/src/idDeclList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/importNodeList.c b/src/importNodeList.c index 4fc07e3..7751ef7 100644 --- a/src/importNodeList.c +++ b/src/importNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/imports.c b/src/imports.c index 0d7a200..78c91eb 100644 --- a/src/imports.c +++ b/src/imports.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/initDeclNodeList.c b/src/initDeclNodeList.c index deb5268..968c442 100644 --- a/src/initDeclNodeList.c +++ b/src/initDeclNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/inputStream.c b/src/inputStream.c index 4850811..116f489 100644 --- a/src/inputStream.c +++ b/src/inputStream.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/intSet.c b/src/intSet.c index 04cddf5..717db6c 100644 --- a/src/intSet.c +++ b/src/intSet.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/interfaceNodeList.c b/src/interfaceNodeList.c index 57273df..be6244a 100644 --- a/src/interfaceNodeList.c +++ b/src/interfaceNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/lclctypes.c b/src/lclctypes.c index 134f566..9d7ce91 100644 --- a/src/lclctypes.c +++ b/src/lclctypes.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/lclinit.c b/src/lclinit.c index 1efb405..aeb0641 100644 --- a/src/lclinit.c +++ b/src/lclinit.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/lcllib.c b/src/lcllib.c index f901921..bd157fc 100644 --- a/src/lcllib.c +++ b/src/lcllib.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/lclscan.c b/src/lclscan.c index 772564c..a3fc255 100644 --- a/src/lclscan.c +++ b/src/lclscan.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/lclscanline.c b/src/lclscanline.c index b249e99..0563f60 100644 --- a/src/lclscanline.c +++ b/src/lclscanline.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/lclsyntable.c b/src/lclsyntable.c index dc02928..e3e038a 100644 --- a/src/lclsyntable.c +++ b/src/lclsyntable.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/lcltokentable.c b/src/lcltokentable.c index 034f3d5..21971ad 100644 --- a/src/lcltokentable.c +++ b/src/lcltokentable.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/letDeclNodeList.c b/src/letDeclNodeList.c index c82d3f7..f7677f1 100644 --- a/src/letDeclNodeList.c +++ b/src/letDeclNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/lh.c b/src/lh.c index fc34fad..9a44f21 100644 --- a/src/lh.c +++ b/src/lh.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/llerror.c b/src/llerror.c index 54a9069..3b00e7e 100644 --- a/src/llerror.c +++ b/src/llerror.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/llmain.c b/src/llmain.c index 7b795ec..c31d886 100644 --- a/src/llmain.c +++ b/src/llmain.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/lltok.c b/src/lltok.c index a6c4abe..c886600 100644 --- a/src/lltok.c +++ b/src/lltok.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/loopHeuristics.c b/src/loopHeuristics.c index e722e45..c8057c1 100644 --- a/src/loopHeuristics.c +++ b/src/loopHeuristics.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ diff --git a/src/lslOpList.c b/src/lslOpList.c index 4266667..b662c1d 100644 --- a/src/lslOpList.c +++ b/src/lslOpList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/lslOpSet.c b/src/lslOpSet.c index f28982f..b0c3dc0 100644 --- a/src/lslOpSet.c +++ b/src/lslOpSet.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ diff --git a/src/lslinit.c b/src/lslinit.c index bced7f6..f3be846 100644 --- a/src/lslinit.c +++ b/src/lslinit.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/lslparse.c b/src/lslparse.c index 053dafd..053ed81 100644 --- a/src/lslparse.c +++ b/src/lslparse.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/lsymbol.c b/src/lsymbol.c index 9ee3af0..1eca24f 100644 --- a/src/lsymbol.c +++ b/src/lsymbol.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/lsymbolList.c b/src/lsymbolList.c index 1f6fca4..4e65c4e 100644 --- a/src/lsymbolList.c +++ b/src/lsymbolList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/lsymbolSet.c b/src/lsymbolSet.c index 064cc2d..894f986 100644 --- a/src/lsymbolSet.c +++ b/src/lsymbolSet.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/ltoken.c b/src/ltoken.c index 8106a24..90d8a39 100644 --- a/src/ltoken.c +++ b/src/ltoken.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/ltokenList.c b/src/ltokenList.c index aec0a82..ea7c60a 100644 --- a/src/ltokenList.c +++ b/src/ltokenList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/macrocache.c b/src/macrocache.c index f23f246..e244784 100644 --- a/src/macrocache.c +++ b/src/macrocache.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mapping.c b/src/mapping.c index 5b29e3a..64f7276 100644 --- a/src/mapping.c +++ b/src/mapping.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/message.c b/src/message.c index 5749560..d12a1eb 100644 --- a/src/message.c +++ b/src/message.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/messageLog.c b/src/messageLog.c index f0fe9b2..4bc12d5 100644 --- a/src/messageLog.c +++ b/src/messageLog.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/metaStateConstraint.c b/src/metaStateConstraint.c index 4394af3..31896e6 100644 --- a/src/metaStateConstraint.c +++ b/src/metaStateConstraint.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/metaStateConstraintList.c b/src/metaStateConstraintList.c index dcf2613..91aa039 100644 --- a/src/metaStateConstraintList.c +++ b/src/metaStateConstraintList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/metaStateExpression.c b/src/metaStateExpression.c index d0b05a5..7da49ec 100644 --- a/src/metaStateExpression.c +++ b/src/metaStateExpression.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/metaStateInfo.c b/src/metaStateInfo.c index 9851bf6..18fbc25 100644 --- a/src/metaStateInfo.c +++ b/src/metaStateInfo.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/metaStateSpecifier.c b/src/metaStateSpecifier.c index 6d879ac..e8f8a1a 100644 --- a/src/metaStateSpecifier.c +++ b/src/metaStateSpecifier.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/metaStateTable.c b/src/metaStateTable.c index 81fea8e..c2eab7e 100644 --- a/src/metaStateTable.c +++ b/src/metaStateTable.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/modifiesClause.c b/src/modifiesClause.c index abd8d82..b4ee459 100644 --- a/src/modifiesClause.c +++ b/src/modifiesClause.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtAnnotationDecl.c b/src/mtAnnotationDecl.c index 7356455..4f1b669 100644 --- a/src/mtAnnotationDecl.c +++ b/src/mtAnnotationDecl.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtAnnotationList.c b/src/mtAnnotationList.c index 0f4b601..a066349 100644 --- a/src/mtAnnotationList.c +++ b/src/mtAnnotationList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtAnnotationsNode.c b/src/mtAnnotationsNode.c index 2560655..b806566 100644 --- a/src/mtAnnotationsNode.c +++ b/src/mtAnnotationsNode.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtContextNode.c b/src/mtContextNode.c index ccac6f0..ba307da 100644 --- a/src/mtContextNode.c +++ b/src/mtContextNode.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtDeclarationNode.c b/src/mtDeclarationNode.c index b07f3e6..19c4d8f 100644 --- a/src/mtDeclarationNode.c +++ b/src/mtDeclarationNode.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtDeclarationPiece.c b/src/mtDeclarationPiece.c index 2aebdc3..ca583bc 100644 --- a/src/mtDeclarationPiece.c +++ b/src/mtDeclarationPiece.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtDeclarationPieces.c b/src/mtDeclarationPieces.c index a91751b..a004da1 100644 --- a/src/mtDeclarationPieces.c +++ b/src/mtDeclarationPieces.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtDefaultsDecl.c b/src/mtDefaultsDecl.c index 101a4d2..ca73bff 100644 --- a/src/mtDefaultsDecl.c +++ b/src/mtDefaultsDecl.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtDefaultsDeclList.c b/src/mtDefaultsDeclList.c index 062c4d3..f782f50 100644 --- a/src/mtDefaultsDeclList.c +++ b/src/mtDefaultsDeclList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtDefaultsNode.c b/src/mtDefaultsNode.c index 332046b..e930486 100644 --- a/src/mtDefaultsNode.c +++ b/src/mtDefaultsNode.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtLoseReference.c b/src/mtLoseReference.c index 1baca49..40e26ec 100644 --- a/src/mtLoseReference.c +++ b/src/mtLoseReference.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtLoseReferenceList.c b/src/mtLoseReferenceList.c index d822e01..ced1f5e 100644 --- a/src/mtLoseReferenceList.c +++ b/src/mtLoseReferenceList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtMergeClause.c b/src/mtMergeClause.c index 8a25efb..2b579de 100644 --- a/src/mtMergeClause.c +++ b/src/mtMergeClause.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtMergeClauseList.c b/src/mtMergeClauseList.c index 9c404b4..bbb5d31 100644 --- a/src/mtMergeClauseList.c +++ b/src/mtMergeClauseList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtMergeItem.c b/src/mtMergeItem.c index 405b020..66ab19f 100644 --- a/src/mtMergeItem.c +++ b/src/mtMergeItem.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtMergeNode.c b/src/mtMergeNode.c index 7424c2f..f4a3ec2 100644 --- a/src/mtMergeNode.c +++ b/src/mtMergeNode.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtTransferAction.c b/src/mtTransferAction.c index 6b1766d..466d855 100644 --- a/src/mtTransferAction.c +++ b/src/mtTransferAction.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtTransferClause.c b/src/mtTransferClause.c index 10a760e..7ba350d 100644 --- a/src/mtTransferClause.c +++ b/src/mtTransferClause.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtTransferClauseList.c b/src/mtTransferClauseList.c index ecbd323..c9a947b 100644 --- a/src/mtTransferClauseList.c +++ b/src/mtTransferClauseList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtValuesNode.c b/src/mtValuesNode.c index 230b3a3..d8c2a61 100644 --- a/src/mtValuesNode.c +++ b/src/mtValuesNode.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtreader.c b/src/mtreader.c index b63f909..05568d4 100644 --- a/src/mtreader.c +++ b/src/mtreader.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mtscanner.c b/src/mtscanner.c index e377938..5ab2c3e 100644 --- a/src/mtscanner.c +++ b/src/mtscanner.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/mttok.c b/src/mttok.c index 06deb68..20d02eb 100644 --- a/src/mttok.c +++ b/src/mttok.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/multiVal.c b/src/multiVal.c index 58fc428..5659aaf 100644 --- a/src/multiVal.c +++ b/src/multiVal.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/nameChecks.c b/src/nameChecks.c index b9e1a33..2cb8c56 100644 --- a/src/nameChecks.c +++ b/src/nameChecks.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/osd.c b/src/osd.c index 823be1d..133f243 100644 --- a/src/osd.c +++ b/src/osd.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/pairNodeList.c b/src/pairNodeList.c index d4fe8f3..f2c430a 100644 --- a/src/pairNodeList.c +++ b/src/pairNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/paramNodeList.c b/src/paramNodeList.c index 72a4d07..b802a68 100644 --- a/src/paramNodeList.c +++ b/src/paramNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/programNodeList.c b/src/programNodeList.c index b73f857..fcf3d1a 100644 --- a/src/programNodeList.c +++ b/src/programNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/qtype.c b/src/qtype.c index bcb2bff..6c28397 100644 --- a/src/qtype.c +++ b/src/qtype.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/qual.c b/src/qual.c index 8816779..91359cb 100644 --- a/src/qual.c +++ b/src/qual.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/qualList.c b/src/qualList.c index 8b51286..5a8c625 100644 --- a/src/qualList.c +++ b/src/qualList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/quantifierNodeList.c b/src/quantifierNodeList.c index 4a98948..d24303a 100644 --- a/src/quantifierNodeList.c +++ b/src/quantifierNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/randomNumbers.c b/src/randomNumbers.c index e9c35a0..25bbcc8 100644 --- a/src/randomNumbers.c +++ b/src/randomNumbers.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/reader.c b/src/reader.c index cd63fe9..da08df7 100644 --- a/src/reader.c +++ b/src/reader.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/replaceNodeList.c b/src/replaceNodeList.c index d2896b9..d32008d 100644 --- a/src/replaceNodeList.c +++ b/src/replaceNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/sRef.c b/src/sRef.c index 3d94f62..1934a9d 100644 --- a/src/sRef.c +++ b/src/sRef.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/sRefList.c b/src/sRefList.c index 63fe053..3e110fc 100644 --- a/src/sRefList.c +++ b/src/sRefList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/sRefSet.c b/src/sRefSet.c index d9bcee2..e3fee46 100644 --- a/src/sRefSet.c +++ b/src/sRefSet.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/sRefSetList.c b/src/sRefSetList.c index 8afdb9b..d262b93 100644 --- a/src/sRefSetList.c +++ b/src/sRefSetList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/sRefTable.c b/src/sRefTable.c index 82bc3a7..9ee3bb7 100644 --- a/src/sRefTable.c +++ b/src/sRefTable.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/scan.c b/src/scan.c index 9a00372..833afa2 100644 --- a/src/scan.c +++ b/src/scan.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/scanline.c b/src/scanline.c index 106a906..a9f8be6 100644 --- a/src/scanline.c +++ b/src/scanline.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/shift.c b/src/shift.c index 3dd6f39..4f7abaf 100644 --- a/src/shift.c +++ b/src/shift.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ diff --git a/src/sigNodeSet.c b/src/sigNodeSet.c index bb34190..26e17a7 100644 --- a/src/sigNodeSet.c +++ b/src/sigNodeSet.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/sort.c b/src/sort.c index 964f575..bee27a7 100644 --- a/src/sort.c +++ b/src/sort.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/sortList.c b/src/sortList.c index 740a85e..48b508f 100644 --- a/src/sortList.c +++ b/src/sortList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/sortSet.c b/src/sortSet.c index 4702b4f..6bf9f2f 100644 --- a/src/sortSet.c +++ b/src/sortSet.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/sortSetList.c b/src/sortSetList.c index 598b076..034571c 100644 --- a/src/sortSetList.c +++ b/src/sortSetList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/stDeclNodeList.c b/src/stDeclNodeList.c index 01578bf..2843958 100644 --- a/src/stDeclNodeList.c +++ b/src/stDeclNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/stateClause.c b/src/stateClause.c index 6295d56..a53c239 100644 --- a/src/stateClause.c +++ b/src/stateClause.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/stateClauseList.c b/src/stateClauseList.c index e3c92fc..b6c20c5 100644 --- a/src/stateClauseList.c +++ b/src/stateClauseList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/stateCombinationTable.c b/src/stateCombinationTable.c index 2f6f2e8..60d8e0c 100644 --- a/src/stateCombinationTable.c +++ b/src/stateCombinationTable.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/stateInfo.c b/src/stateInfo.c index 033b4a2..3d047fe 100644 --- a/src/stateInfo.c +++ b/src/stateInfo.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ diff --git a/src/stateValue.c b/src/stateValue.c index 3150cfd..973bd70 100644 --- a/src/stateValue.c +++ b/src/stateValue.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/storeRefNodeList.c b/src/storeRefNodeList.c index ea1119a..46c99dd 100644 --- a/src/storeRefNodeList.c +++ b/src/storeRefNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/structNames.c b/src/structNames.c index de1a4b4..5d09974 100644 --- a/src/structNames.c +++ b/src/structNames.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/symtable.c b/src/symtable.c index 069f518..636183f 100644 --- a/src/symtable.c +++ b/src/symtable.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/syntable.c b/src/syntable.c index 515d465..3d7d5db 100644 --- a/src/syntable.c +++ b/src/syntable.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/termNodeList.c b/src/termNodeList.c index cd4c11b..e781c74 100644 --- a/src/termNodeList.c +++ b/src/termNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/tokentable.c b/src/tokentable.c index 4663da5..a376eff 100644 --- a/src/tokentable.c +++ b/src/tokentable.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/traitRefNodeList.c b/src/traitRefNodeList.c index 4a2bb2f..94c69e2 100644 --- a/src/traitRefNodeList.c +++ b/src/traitRefNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/transferChecks.c b/src/transferChecks.c index 30f9a98..5cfe052 100644 --- a/src/transferChecks.c +++ b/src/transferChecks.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/typeIdSet.c b/src/typeIdSet.c index 548825d..6df70c6 100644 --- a/src/typeIdSet.c +++ b/src/typeIdSet.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/typeNameNodeList.c b/src/typeNameNodeList.c index 792ea48..8e1f0cc 100644 --- a/src/typeNameNodeList.c +++ b/src/typeNameNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/uentry.c b/src/uentry.c index 1deb565..4c08dc7 100644 --- a/src/uentry.c +++ b/src/uentry.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/uentryList.c b/src/uentryList.c index f0b662c..6c97091 100644 --- a/src/uentryList.c +++ b/src/uentryList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/usymIdSet.c b/src/usymIdSet.c index 65a4eca..07e136c 100644 --- a/src/usymIdSet.c +++ b/src/usymIdSet.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/usymtab.c b/src/usymtab.c index 04bd060..9ab0426 100644 --- a/src/usymtab.c +++ b/src/usymtab.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/usymtab_interface.c b/src/usymtab_interface.c index bd8553c..3cfdff9 100644 --- a/src/usymtab_interface.c +++ b/src/usymtab_interface.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/valueTable.c b/src/valueTable.c index 092f61f..623b811 100644 --- a/src/valueTable.c +++ b/src/valueTable.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/varDeclarationNodeList.c b/src/varDeclarationNodeList.c index 4e92a2c..4478620 100644 --- a/src/varDeclarationNodeList.c +++ b/src/varDeclarationNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/varKinds.c b/src/varKinds.c index bbe0712..f708b70 100644 --- a/src/varKinds.c +++ b/src/varKinds.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/varNodeList.c b/src/varNodeList.c index 1e79745..4f858ff 100644 --- a/src/varNodeList.c +++ b/src/varNodeList.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/warnClause.c b/src/warnClause.c index 7455108..ae6d2ba 100644 --- a/src/warnClause.c +++ b/src/warnClause.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/src/ynm.c b/src/ynm.c index 994908f..f03efbc 100644 --- a/src/ynm.c +++ b/src/ynm.c @@ -17,8 +17,8 @@ ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, ** MA 02111-1307, USA. ** -** For information on splint: splint@cs.virginia.edu -** To report a bug: splint-bug@cs.virginia.edu +** For information on splint: info@splint.org +** To report a bug: splint-bug@splint.org ** For more information: http://www.splint.org */ /* diff --git a/test/ansireserved.expect b/test/ansireserved.expect index 7df490f..cb9a30b 100644 --- a/test/ansireserved.expect +++ b/test/ansireserved.expect @@ -54,11 +54,11 @@ ansireserved.c:9: Name EVANS is reserved for future library extensions. Macros (ISO99:7.26.3) ansireserved.c:1:5: Name decimal_point is reserved for the standard library ansireserved.c:2:5: Function srand inconsistently declared as variable: int - load file ansi.lcd:898:1: Specification of srand as function: + load file standard.lcd:898:1: Specification of srand as function: [function (unsigned int) returns void] ansireserved.c:2:5: Name srand is reserved for the standard library ansireserved.c:3:5: Function labs inconsistently declared as variable: int - load file ansi.lcd:920:1: Specification of labs as function: + load file standard.lcd:920:1: Specification of labs as function: [function (long int) returns long int] ansireserved.c:3:5: Name labs is reserved for the standard library ansireserved.c:4:5: Name _x is in the implementation name space (any identifier diff --git a/test/external.expect b/test/external.expect index 7b702e6..b69d78d 100644 --- a/test/external.expect +++ b/test/external.expect @@ -42,11 +42,11 @@ external.c:5:5: External identifier small2 is not distinguishable from small1 external.c:4:5: Declaration of small1 external.c:7:5: External identifier longfunction1 is not distinguishable from LONG_MAX in the first 3 characters because alphabetical case is ignored - load file ansi.lcd:786:1: Specification of LONG_MAX + load file standard.lcd:786:1: Specification of LONG_MAX One or more additional indistinguishable external names not reported external.c:8:5: External identifier longfunction2 is not distinguishable from LONG_MAX in the first 3 characters because alphabetical case is ignored - load file ansi.lcd:786:1: Specification of LONG_MAX + load file standard.lcd:786:1: Specification of LONG_MAX One or more additional indistinguishable external names not reported Finished checking --- 4 code warnings, as expected diff --git a/test/tests2.2.expect b/test/tests2.2.expect index 5dbeac6..8a9a00f 100644 --- a/test/tests2.2.expect +++ b/test/tests2.2.expect @@ -27,9 +27,9 @@ Finished checking --- 2 code warnings, as expected decl.c:3:21: Structure struct tm declared with fields { int x; }, specified with fields { int tm_sec; int tm_min; int tm_hour;, ... } - load file ansi.lcd:962:1: Specification of struct tm + load file standard.lcd:962:1: Specification of struct tm decl.c:3:17: Field tm_sec in specified corresponds to x in declaration - load file ansi.lcd:638:1: Specification of tm_sec + load file standard.lcd:638:1: Specification of tm_sec Finished checking --- 1 code warning, as expected -- 2.45.2