From 1b8ae6904556859bbe91aadf35b8adcc1a0611ce Mon Sep 17 00:00:00 2001 From: evans1629 Date: Sun, 6 Jan 2002 19:37:48 +0000 Subject: [PATCH] Renamed lclintMacros.nf splintMacros.nf Replaced remaining "lclint" names with "splint" --- BUFFERCHECKING | 123 --- LICENSE | 4 +- README | 9 +- src/Headers/constants.h | 6 +- src/Headers/cprim.h | 2 +- src/Headers/llerror.h | 2 +- src/Headers/rangeTable.h | 108 --- src/Headers/source.h | 59 -- .../{lclintMacros.nf => splintMacros.nf} | 0 src/Headers/version.h | 4 +- src/Makefile.am | 8 +- src/Makefile.in | 8 +- src/abstract.c | 14 +- src/aliasTable.c | 6 +- src/annotationInfo.c | 6 +- src/annotationTable.c | 6 +- src/cgrammar.c.der | 142 +-- src/cgrammar.y | 27 +- src/checking.c | 6 +- src/clabstract.c | 16 +- src/clause.c | 6 +- src/clauseStack.c | 6 +- src/constraint.c | 6 +- src/constraintExpr.c | 6 +- src/constraintExprData.c | 6 +- src/constraintGeneration.c | 8 +- src/constraintList.c | 6 +- src/constraintOutput.c | 6 +- src/constraintResolve.c | 6 +- src/constraintTerm.c | 6 +- src/context.c | 6 +- src/cpperror.c | 6 +- src/cppexp.c | 6 +- src/cpphash.c | 8 +- src/cpplib.c | 8 +- src/cppmain.c | 6 +- src/cprim.c | 6 +- src/cscanner.l | 35 +- src/cstring.c | 6 +- src/cstringList.c | 6 +- src/cstringSList.c | 6 +- src/cstringTable.c | 6 +- src/ctbase.i | 33 +- src/cttable.i | 33 +- src/ctype.c | 6 +- src/ctypeList.c | 6 +- src/cvar.c | 6 +- src/declaratorInvNodeList.c | 6 +- src/declaratorNodeList.c | 6 +- src/dummy.c | 3 - src/ekind.c | 6 +- src/enumNameList.c | 6 +- src/enumNameSList.c | 6 +- src/exprChecks.c | 6 +- src/exprData.c | 2 +- src/exprNode.c | 16 +- src/exprNodeList.c | 6 +- src/exprNodeSList.c | 6 +- src/fcnNodeList.c | 6 +- src/fileIdList.c | 6 +- src/fileLib.c | 8 +- src/fileTable.c | 6 +- src/fileloc.c | 6 +- src/filelocList.c | 6 +- src/filelocStack.c | 6 +- src/flagMarker.c | 6 +- src/flagMarkerList.c | 6 +- src/flagSpec.c | 6 +- src/flags.c | 14 +- src/functionClause.c | 6 +- src/functionClauseList.c | 6 +- src/functionConstraint.c | 6 +- src/general.c | 6 +- src/genericTable.c | 6 +- src/globSet.c | 6 +- src/globals.c | 6 +- src/globalsClause.c | 6 +- src/guardSet.c | 6 +- src/hashTable.c | 6 +- src/idDecl.c | 6 +- src/idDeclList.c | 6 +- src/importNodeList.c | 6 +- src/imports.c | 6 +- src/initDeclNodeList.c | 6 +- src/inputStream.c | 6 +- src/intSet.c | 6 +- src/interfaceNodeList.c | 6 +- src/lclctypes.c | 8 +- src/lclinit.c | 6 +- src/lclint.lcd | 4 +- src/lcllib.c | 16 +- src/lclscan.c | 6 +- src/lclscanline.c | 6 +- src/lclsyntable.c | 6 +- src/lcltokentable.c | 6 +- src/letDeclNodeList.c | 6 +- src/lh.c | 6 +- src/llerror.c | 10 +- src/llgrammar.c.der | 2 +- src/llgrammar.y | 8 +- src/llmain.c | 34 +- src/lltok.c | 6 +- src/loopHeuristics.c | 6 +- src/lslOpList.c | 6 +- src/lslOpSet.c | 6 +- src/lslinit.c | 8 +- src/lslparse.c | 6 +- src/lsymbol.c | 6 +- src/lsymbolList.c | 6 +- src/lsymbolSet.c | 6 +- src/ltoken.c | 6 +- src/ltokenList.c | 6 +- src/macrocache.c | 6 +- src/mapping.c | 6 +- src/message.c | 6 +- src/messageLog.c | 6 +- src/metaStateConstraint.c | 6 +- src/metaStateConstraintList.c | 6 +- src/metaStateExpression.c | 6 +- src/metaStateInfo.c | 6 +- src/metaStateSpecifier.c | 6 +- src/metaStateTable.c | 6 +- src/modifiesClause.c | 6 +- src/mtAnnotationDecl.c | 6 +- src/mtAnnotationList.c | 6 +- src/mtAnnotationsNode.c | 6 +- src/mtContextNode.c | 6 +- src/mtDeclarationNode.c | 8 +- src/mtDeclarationPiece.c | 6 +- src/mtDeclarationPieces.c | 6 +- src/mtDefaultsDecl.c | 6 +- src/mtDefaultsDeclList.c | 6 +- src/mtDefaultsNode.c | 6 +- src/mtLoseReference.c | 6 +- src/mtLoseReferenceList.c | 6 +- src/mtMergeClause.c | 6 +- src/mtMergeClauseList.c | 6 +- src/mtMergeItem.c | 6 +- src/mtMergeNode.c | 6 +- src/mtTransferAction.c | 6 +- src/mtTransferClause.c | 6 +- src/mtTransferClauseList.c | 6 +- src/mtValuesNode.c | 6 +- src/mtgrammar.c | 22 +- src/mtgrammar.c.der | 22 +- src/mtgrammar.y | 35 +- src/mtreader.c | 6 +- src/mtscanner.c | 6 +- src/mttok.c | 6 +- src/multiVal.c | 6 +- src/nameChecks.c | 8 +- src/osd.c | 8 +- src/pairNodeList.c | 6 +- src/paramNodeList.c | 6 +- src/programNodeList.c | 6 +- src/qtype.c | 6 +- src/qual.c | 6 +- src/qualList.c | 6 +- src/quantifierNodeList.c | 6 +- src/randomNumbers.c | 4 +- src/rangeTable.c | 829 ------------------ src/reader.c | 6 +- src/replaceNodeList.c | 6 +- src/sRef.c | 6 +- src/sRefList.c | 6 +- src/sRefSet.c | 6 +- src/sRefSetList.c | 6 +- src/sRefTable.c | 6 +- src/scan.c | 6 +- src/scanline.c | 6 +- src/shift.c | 6 +- src/sigNodeSet.c | 6 +- src/signature.c.der | 4 +- src/signature.y | 10 +- src/sort.c | 10 +- src/sortList.c | 6 +- src/sortSet.c | 6 +- src/sortSetList.c | 6 +- src/source.c | 391 --------- src/stDeclNodeList.c | 6 +- src/stateClause.c | 6 +- src/stateClauseList.c | 6 +- src/stateCombinationTable.c | 6 +- src/stateInfo.c | 6 +- src/stateValue.c | 6 +- src/storeRefNodeList.c | 6 +- src/structNames.c | 6 +- src/symtable.c | 8 +- src/syntable.c | 6 +- src/termNodeList.c | 6 +- src/tokentable.c | 6 +- src/traitRefNodeList.c | 6 +- src/transferChecks.c | 6 +- src/typeIdSet.c | 6 +- src/typeNameNodeList.c | 6 +- src/uentry.c | 10 +- src/uentryList.c | 6 +- src/usymIdSet.c | 6 +- src/usymtab.c | 8 +- src/usymtab_interface.c | 6 +- src/valueTable.c | 6 +- src/varDeclarationNodeList.c | 6 +- src/varKinds.c | 6 +- src/varNodeList.c | 6 +- src/warnClause.c | 6 +- src/ynm.c | 6 +- test/lintcomments.expect | 24 +- test/printflike.expect | 6 +- test/tests2.2.expect | 2 +- 209 files changed, 816 insertions(+), 2319 deletions(-) delete mode 100644 BUFFERCHECKING delete mode 100644 src/Headers/rangeTable.h delete mode 100644 src/Headers/source.h rename src/Headers/{lclintMacros.nf => splintMacros.nf} (100%) delete mode 100644 src/dummy.c delete mode 100644 src/rangeTable.c delete mode 100644 src/source.c diff --git a/BUFFERCHECKING b/BUFFERCHECKING deleted file mode 100644 index f390074..0000000 --- a/BUFFERCHECKING +++ /dev/null @@ -1,123 +0,0 @@ - Buffer Overflow Checking - David Larochelle - 15 August 2001 - - -This is a preliminary guide to the buffer overflow checking in LCLint -Version 3.0. This alpha version contains additional checking not -documented in the manual for LCLint 2.5. - -Although this document provides a quick introduction for the new -features of LCLint it is not intended as a substitute for the LCLint -manual. We recommend that users unfamiliar with LCLint consult the -LCLint user guides in addition to this document. - -The types of errors which LCLint reports can be controlled flags. -Theses flags can be set on the commands line or in .lclintrc files. A -flags by giving LCLint the +flagname option on the command line or in a -.lclintrc file where flagname is the name of the flag. Similarly flags -are unset with -flagname. - -Overview -======== - -LCLint detects buffer overflow errors by generating precondition and -postcondition constraints at the expression level. We resolve -constraints using post conditions from previous statements. We generate -an error message for any constraints which we are unable to resolve at -the top of a function. - -All checking takes place within functions. Interprocedural properties -are checked using annotations. Annotated versions of the standard -libraries are provided innerally. - -The new annotations allow programmers to explicitly state function -preconditions and postconditions using requires and ensures clauses. We -can use these clauses to describe assumptions about buffers that are -passed to functions and constrain the state of buffers when functions -return. For the analyses described here two kinds of assumptions and -constraints are used: maxSet, and maxRead. - -When used in a requires clause, the maxSet annotation describes -assumptions about the lowest and highest indices of a buffer that may be -safely used as an lvalue (e.g., on the left-hand side of an assignment). -For example, consider a function with an array parameter a and an -integer parameter i that has a precondition requires maxSet(a) >= i. -The analysis assumes that at the beginning of the function body, a[i] -may be used as an lvalue. If a[i+1] were used before any modifications -to the value of a or i, LCLint would generate a warning since the -function preconditions are not sufficient to guarantee that a[i+1] can -be used safely as an lvalue. Arrays in C start with index 0, so the -declaration char buf[MAXSIZE] generates the constraints maxSet(buf) = -MAXSIZE - 1 and minSet(buf) = 0. Similarly, the maxRead constraint -indicates the maximum indices of a buffer that may be read safely. The -value of maxRead for a given buffer is always less than or equal to the -value of maxSet. In cases where there are elements of the buffer have -not yet been initialized, the value of maxRead may be lower than the -value of maxSet. - -Checking is controlled by the following flags. If the arraybounds flag -is set LCLint will report potential array bounds. THIS FLAG MUST BE SET -IN ORDER FOR BUFFER OVERFLOW ERRORS TO BE REPORTED. There are a number -of additional options which can be used to fine tune checking. - -If the +arrayboundsread is set LCLint will report cases in which an -index past the end of an array or buffer is read. The default is to -only report cases in which data is written. Out of bounds reads are -less dangerous than out of bounds writes but are still security -problems. - -The following are used to fine tune the checking. If the -constraintlocation flag is set LCLint will include the expression which -causes LCLint to generate the unresolved constraint in an error message. -We recommend this options. The orconstraint is used to perform slightly -more accurate checking by using disjuction internally. The performance -cost is minimal so we recommend this option. - -Handling spurious messages -========================== - -LCLint will occasionally report spurious error messages. If you see an -error message that you believe to be incorrect first see if you can -correct the problem by adding additional precondition annotations. For -function with no preconditions LCLint assumes that the function is safe -under all conditions. Also consider rewriting the code. Code that is -hard for LCLint to understand is often hard was humans to understand as -well. You may want to improve the readability and clarity is the code. - -If you are sure that the message is spurious you can suppress the -message. Adding the /*@i@*/ annotation to a line causes LCLint to -suppers all errors generated by the line. Flags can also be set and -unset within a program. /*@-flagname@*/ sets a flag to -false. /*@+flagname@*/ sets a flag to true and /*@=flagname@*/ returns a -flag to its previous state. - -For example /*@-arroundboundsread@*/ str2[i] = str[i]; -/*@=arroundboundsread@*/ would suppress error involving out of bounds -reads for the code fragment. - -Frequently Asked Questions -========================== - -I have a function with many buffer overflows but LCLint only reports one -error? - -LCLint tries to avoid printing redundant error messages. We don't print -two constraints if satifying one constraint would satisify another. - -LCLint crashes or complains about a bug? - -Please report the problem to lclint-bug@cs.virginia.edu - -Where can I find more information about LCLint? - -The LCLint web site http://lclint.cs.virginia.edu contains a lot of -useful documentation, including a paper describing the LCLint extensions -for buffer overflow checking. The lclint web site also contains -information on lclint mailing lists. - - - - - - diff --git a/LICENSE b/LICENSE index c6b3ba1..581403c 100644 --- a/LICENSE +++ b/LICENSE @@ -19,8 +19,8 @@ The GNU General Public License is attached to this file and available from http://www.gnu.org/ or the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. -For information on lclint: lclint-request@cs.virginia.edu -To report a bug: lclint-bug@cs.virginia.edu +For information on Splint: splint@cs.virginia.edu +To report a bug: splint-bug@cs.virginia.edu ============================================================================== GNU GENERAL PUBLIC LICENSE diff --git a/README b/README index 6081398..bf55c54 100644 --- a/README +++ b/README @@ -5,9 +5,8 @@ University of Virginia, Massachusetts Institute of Technology - Version 3.0.0.20 - Alpha Release - 30 December 2001 + Version 3.0.1 + 7 January 2001 Splint Documentation ==================== @@ -61,10 +60,10 @@ the derived grammar files. This is not recommended however. LARCH_PATH - path to search for splint libraries and initializations files. If you are using the standard directories, this - should be .:/splint-3.0.0.20/lib. + should be .:/splint-/lib. LCLIMPORTDIR - directory containing lcl imports files. If you are using - the standard directories, this is /splint-3.0.0.20/imports. + the standard directories, this is /splint-/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 diff --git a/src/Headers/constants.h b/src/Headers/constants.h index 8e882f4..a46adba 100644 --- a/src/Headers/constants.h +++ b/src/Headers/constants.h @@ -8,7 +8,7 @@ */ /* - * This is constants.h from Mike Smith's Win32 port of lclint. + * This is constants.h from Mike Smith's Win32 port of splint. * Modified by Herbert 04/19/97: * added conditional 'OS2' to conditional 'MSDOS' */ @@ -209,8 +209,8 @@ ** Minimum version with compatible libraries. */ -/*@constant float LCLINT_LIBVERSION; @*/ -# define LCLINT_LIBVERSION 2.6 +/*@constant float SPLINT_LIBVERSION; @*/ +# define SPLINT_LIBVERSION 2.6 /* ** Flex doesn't pre-process input, so remember to copy these manually diff --git a/src/Headers/cprim.h b/src/Headers/cprim.h index 6ac9a71..a0eb0d8 100644 --- a/src/Headers/cprim.h +++ b/src/Headers/cprim.h @@ -43,7 +43,7 @@ extern bool cprim_isAnyChar (/*@sef@*/ cprim p_c); /* ** only a few combiniations of type qualifiers and base types are -** recognized in the ANSI standard. LCLint treats these as distinct +** recognized in the ANSI standard. Splint treats these as distinct ** types. */ diff --git a/src/Headers/llerror.h b/src/Headers/llerror.h index d6773c7..f9e5f70 100644 --- a/src/Headers/llerror.h +++ b/src/Headers/llerror.h @@ -54,7 +54,7 @@ extern /*@noreturnwhenfalse@*/ void llassertfatal (/*@sef@*/ bool p_test); } while (FALSE) /* -** llassertprint and llassertprintret are in lclintMacros.nf +** llassertprint and llassertprintret are in splintMacros.nf */ extern void llmsg (/*@only@*/ cstring p_s) /*@modifies g_msgstream@*/ ; diff --git a/src/Headers/rangeTable.h b/src/Headers/rangeTable.h deleted file mode 100644 index c46e307..0000000 --- a/src/Headers/rangeTable.h +++ /dev/null @@ -1,108 +0,0 @@ -/* -** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000. -** See ../LICENSE for license information. -** -*/ -/* -** rangeTable.h -*/ - -# ifndef rangeTable_H -# define rangeTable_H - -typedef /*@only@*/ sRefSet o_sRefSet; -typedef /*@exposed@*/ sRef e_sRef; -typedef struct rangeAt_ { - int max; - int min; -} * rangeAt; - -struct _environmentTable -{ - int nelements - int nspace; - /*@reldef@*/ /*@only@*/ e_sRef * keys; - /*@reldef@*/ /*@only@*/ o_sRefSet * values; - /*@reldef@*/ /*@only@*/ rangeAt * rangeValues; - -} - -extern rangeAt_ getRange (key); -extern boolean inRange (int, range); - -extern void setMinium (key, min); -extern void setMaximum (key, min); - -struct _rangeTable -{ - int nelements; - int nspace; - /*@reldef@*/ /*@only@*/ e_sRef *keys; - /*@reldef@*/ /*@only@*/ o_sRefSet *values; -/*@reldef@*/ /*@only@*/ rangeAt *ranges; - -} ; - -extern /*@unused@*/ /*@nullwhentrue@*/ bool rangeTable_isUndefined (rangeTable p_s); -extern /*@unused@*/ /*@nullwhentrue@*/ bool - rangeTable_isEmpty (/*@sef@*/ rangeTable p_s); -extern /*@falsewhennull@*/ bool rangeTable_isDefined (rangeTable p_s); - -/*@constant null rangeTable rangeTable_undefined; @*/ -# define rangeTable_undefined ((rangeTable) NULL) -# define rangeTable_isDefined(s) ((s) != rangeTable_undefined) -# define rangeTable_isUndefined(s) ((s) == rangeTable_undefined) -# define rangeTable_isEmpty(s) (rangeTable_size(s) == 0) - -extern int rangeTable_size (/*@sef@*/ rangeTable p_s); -# define rangeTable_size(s) (rangeTable_isDefined (s) ? (s)->nelements : 0) - -/*@iter rangeTable_elements (sef rangeTable t, yield exposed sRef key, yield exposed sRefSet values); @*/ -# define rangeTable_elements(t, m_key, m_value) \ - { if (rangeTable_isDefined (t)) \ - { int m_ind; sRef *m_keys = &((t)->keys[0]); \ - sRefSet *m_values = &((t)->values[0]); \ - for (m_ind = 0 ; m_ind < (t)->nelements; m_ind++) \ - { sRef m_key = *(m_keys++); sRefSet m_value = *(m_values++); - -# define end_rangeTable_elements }}} - -extern rangeTable rangeTable_new (void) /*@*/ ; - -extern void rangeTable_clearRangees (rangeTable p_s, sRef p_sr) - /*@modifies p_s, p_sr@*/ ; - -extern /*@only@*/ sRefSet rangeTable_canRange (rangeTable p_s, sRef p_sr) /*@*/ ; -extern rangeTable rangeTable_copy (rangeTable p_s) /*@*/ ; - -extern /*@only@*/ cstring rangeTable_unparse (rangeTable p_s) /*@*/ ; -extern void rangeTable_free (/*@only@*/ rangeTable p_s) ; - -extern rangeTable - rangeTable_addMustRange (/*@returned@*/ rangeTable p_s, /*@exposed@*/ sRef p_sr, sRef p_al) - /*@modifies p_s@*/ ; - -extern rangeTable - rangeTable_levelUnion (/*@returned@*/ rangeTable p_t1, rangeTable p_t2, int p_level) - /*@modifies p_t1@*/ ; - -extern rangeTable - rangeTable_levelUnionNew (rangeTable p_t1, rangeTable p_t2, int p_level) - /*@modifies nothing*/ ; - -extern void rangeTable_checkGlobs (rangeTable p_t) /*@modifies g_msgstream@*/ ; -extern /*@only@*/ sRefSet rangeTable_rangeedBy (rangeTable p_s, sRef p_sr) /*@*/ ; -extern void rangeTable_fixSrefs (rangeTable p_s); -extern rangeTable rangeTable_levelUnionSeq (/*@returned@*/ rangeTable p_t1, - /*@only@*/ rangeTable p_t2, int p_level); - -/*@constant int rangeTableBASESIZE; @*/ -# define rangeTableBASESIZE MIDBASESIZE - -# else -# error "Multiple include" -# endif - - - - diff --git a/src/Headers/source.h b/src/Headers/source.h deleted file mode 100644 index d422db8..0000000 --- a/src/Headers/source.h +++ /dev/null @@ -1,59 +0,0 @@ -/* -** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000. -** See ../LICENSE for license information. -*/ -/* -** source.h -*/ - -# ifndef TSOURCE_H -# define TSOURCE_H - -/*@constant int STUBMAXRECORDSIZE; @*/ -# define STUBMAXRECORDSIZE 800 - -typedef struct { - char *name; - /*@dependent@*/ /*@null@*/ FILE *file; - char buffer[STUBMAXRECORDSIZE+1]; - unsigned int lineNo; - bool echo, fromString; - /*@owned@*/ /*@null@*/ char *stringSource; - /*@null@*/ /*@dependent@*/ char *stringSourceTail; -} tsource; /* renamed from "source" to avoid cc parse bug on lex.yy.c */ - -extern void tsource_free (/*@null@*/ /*@only@*/ tsource *p_s); -extern bool tsource_close (tsource *p_s) - /*@modifies *p_s, fileSystem@*/ ; -extern tsource * - tsource_create (/*@temp@*/ char *p_name, char *p_suffix, bool p_echo) /*@*/ ; -extern tsource *tsource_fromString (char *p_name, char *p_str) /*@*/ ; -extern /*@dependent@*/ /*@null@*/ char *tsource_nextLine(tsource *p_s) - /*@modifies *p_s@*/ ; -extern bool tsource_open (tsource *p_s) /*@modifies p_s, fileSystem@*/ ; -extern bool tsource_getPath (char *p_path, tsource *p_s) - /*@modifies *p_s@*/ ; - -# ifndef NOLCL -extern /*@observer@*/ char *tsource_fileName (tsource *p_s) /*@*/ ; -# define tsource_fileName(pS) ((pS)->name) - -extern bool tsource_isOpen (/*@sef@*/ tsource *p_s) /*@*/ ; -# define tsource_isOpen(pS) ((pS)->file != 0 || (pS)->fromString) - -extern unsigned int tsource_thisLineNumber(tsource *p_s) /*@*/ ; -# define tsource_thisLineNumber(pS) ((pS)->lineNo) - -extern char *specFullName (char *p_specfile, /*@out@*/ char **p_inpath) - /*@modifies *p_inpath@*/ ; - -# endif - -# else -# error "Multiple include" -# endif - - - - - diff --git a/src/Headers/lclintMacros.nf b/src/Headers/splintMacros.nf similarity index 100% rename from src/Headers/lclintMacros.nf rename to src/Headers/splintMacros.nf diff --git a/src/Headers/version.h b/src/Headers/version.h index ff60553..9f5096d 100644 --- a/src/Headers/version.h +++ b/src/Headers/version.h @@ -9,8 +9,8 @@ # ifndef VERSION_H # define VERSION_H -/*@constant observer char *LCLINT_MAINTAINER; @*/ -# define LCLINT_MAINTAINER "lclint-bug@cs.virginia.edu" +/*@constant observer char *SPLINT_MAINTAINER; @*/ +# define SPLINT_MAINTAINER "splint-bug@cs.virginia.edu" /*@constant observer char *CPP_VERSION;@*/ # define CPP_VERSION "cygnus-2.7.2-970404" diff --git a/src/Makefile.am b/src/Makefile.am index bad7f05..6543b66 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -315,7 +315,8 @@ Headers/mtgrammar_tokens.h mtgrammar.c: mtgrammar.y @if test x$(BISON) = xno; then \ $(CP) mtgrammar.c.der mtgrammar.c; \ else \ - echo '* Making mygrammar.c'; \ + echo '* Making mtgrammar.c'; \ + echo '* Expect 11 shift/reduce conflicts.'; \ $(BISON) $(YFLAGS) -p mt mtgrammar.y; \ $(CAT) bison.head mtgrammar.tab.c bison.reset >mtgrammar.c; \ $(CP) mtgrammar.c mtgrammar.c.der; \ @@ -384,6 +385,11 @@ lintbuffercheck: all: splint$(EXEEXT) + +up: + -rm cgrammar.c llgrammar.c mtgrammar.c signature.c cscanner.c + $(MAKE) clean + CLEANFILES = splint$(EXEEXT) .c.o: diff --git a/src/Makefile.in b/src/Makefile.in index ad6573f..864439a 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -353,6 +353,7 @@ BUILT_SOURCES = Headers/signature_gen.h Headers/cgrammar_tokens.h \ CHECKS = $(subst .c,.check,$(splint_SOURCES)) + CLEANFILES = splint$(EXEEXT) subdir = src mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs @@ -993,7 +994,8 @@ Headers/mtgrammar_tokens.h mtgrammar.c: mtgrammar.y @if test x$(BISON) = xno; then \ $(CP) mtgrammar.c.der mtgrammar.c; \ else \ - echo '* Making mygrammar.c'; \ + echo '* Making mtgrammar.c'; \ + echo '* Expect 11 shift/reduce conflicts.'; \ $(BISON) $(YFLAGS) -p mt mtgrammar.y; \ $(CAT) bison.head mtgrammar.tab.c bison.reset >mtgrammar.c; \ $(CP) mtgrammar.c mtgrammar.c.der; \ @@ -1054,6 +1056,10 @@ lintbuffercheck: all: splint$(EXEEXT) +up: + -rm cgrammar.c llgrammar.c mtgrammar.c signature.c cscanner.c + $(MAKE) clean + .c.o: @echo "Compiling "$<"..."; \ source='$<' object='$@' libtool=no \ diff --git a/src/abstract.c b/src/abstract.c index 98549db..7f55b8d 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -34,7 +34,7 @@ ** Massachusetts Institute of Technology */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "lslparse.h" # include "llgrammar.h" /* need simpleOp, MULOP and logicalOp in makeInfixTermNode */ @@ -237,7 +237,7 @@ void LCLBuiltins (void) ti->modifiable = FALSE; ti->abstract = TRUE; ti->basedOn = sort_bool; - ti->export = FALSE; /* this wasn't set (detected by lclint) */ + ti->export = FALSE; /* this wasn't set (detected by Splint) */ symtable_enterType (g_symtab, ti); /* do "constant bool FALSE = false;" */ @@ -487,7 +487,7 @@ interfaceNode_makePrivFcn (/*@only@*/ fcnNode x) privateNode e = (privateNode) dmalloc (sizeof (*e)); /* - ** bug detected by lclint enum checking + ** bug detected by enum checking ** e->kind = XPK_FCN; */ @@ -3690,7 +3690,7 @@ makeQuantifiedTermNode (quantifierNodeList qn, ltoken open, termNode n = (termNode) dmalloc (sizeof (*n)); quantifiedTermNode q = (quantifiedTermNode) dmalloc (sizeof (*q)); - n->name = NULL; /*> missing this --- detected by lclint <*/ + n->name = NULL; /*> missing this --- detected by splint <*/ n->error_reported = FALSE; n->wrapped = 0; n->error_reported = FALSE; @@ -5806,7 +5806,7 @@ nameNode nameNode_copySafe (nameNode n) } else { - /* error should be detected by lclint: forgot to copy opform! */ + /* error should be detected by splint: forgot to copy opform! */ return (makeNameNodeForm (opFormNode_copy (n->content.opform))); } } diff --git a/src/aliasTable.c b/src/aliasTable.c index 82bf80b..f7eb7ca 100644 --- a/src/aliasTable.c +++ b/src/aliasTable.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** aliasTable.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" /*@constant int ATINVALID; @*/ diff --git a/src/annotationInfo.c b/src/annotationInfo.c index bb6c75d..c60e397 100644 --- a/src/annotationInfo.c +++ b/src/annotationInfo.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** annotationInfo.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" annotationInfo annotationInfo_create (cstring name, diff --git a/src/annotationTable.c b/src/annotationTable.c index 53b475a..7e54dac 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -26,7 +26,7 @@ ** Based on genericTable.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "randomNumbers.h" diff --git a/src/cgrammar.c.der b/src/cgrammar.c.der index dd9f47a..8ad6414 100644 --- a/src/cgrammar.c.der +++ b/src/cgrammar.c.der @@ -251,12 +251,12 @@ ** ** cgrammar.y ** -** Yacc/Bison grammar for extended ANSI C used by LCLint. +** Yacc/Bison grammar for extended ANSI C used by Splint. ** ** original grammar by Nate Osgood --- ** hacrat@catfish.lcs.mit.edu Mon Jun 14 13:06:32 1993 ** -** changes for LCLint --- handle typedef names correctly +** changes for Splint --- handle typedef names correctly ** fix struct/union parsing bug (empty struct is accepted) ** add productions to handle macros --- require ** error correction --- main source of conflicts in grammar. @@ -275,7 +275,7 @@ extern int yylex (); extern void swallowMacro (void); extern void yyerror (char *); -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "cscanner.h" # include "cgrammar.h" @@ -707,74 +707,74 @@ static const short yyrhs[] = { -1, #if YYDEBUG != 0 static const short yyrline[] = { 0, - 318, 319, 322, 323, 326, 327, 328, 329, 330, 331, - 332, 335, 337, 341, 341, 348, 354, 358, 359, 363, - 364, 366, 368, 380, 383, 393, 396, 404, 405, 407, - 409, 425, 428, 436, 439, 447, 449, 449, 453, 454, - 455, 456, 459, 462, 466, 466, 469, 469, 474, 475, - 478, 483, 484, 487, 492, 493, 496, 497, 498, 501, - 502, 503, 508, 509, 512, 514, 516, 518, 527, 529, - 531, 533, 549, 553, 554, 561, 562, 570, 572, 576, - 577, 578, 579, 580, 581, 584, 585, 586, 587, 588, - 589, 592, 595, 596, 603, 606, 609, 615, 623, 625, - 629, 632, 633, 636, 639, 645, 649, 650, 653, 656, - 657, 660, 661, 662, 665, 666, 667, 668, 669, 672, - 673, 674, 675, 676, 679, 680, 683, 689, 693, 695, - 699, 700, 702, 709, 719, 720, 723, 724, 725, 726, - 727, 728, 729, 730, 734, 735, 739, 740, 743, 745, - 747, 748, 749, 750, 751, 753, 757, 758, 761, 765, - 777, 778, 779, 780, 781, 782, 785, 786, 787, 788, - 789, 790, 791, 792, 793, 796, 797, 800, 801, 802, - 803, 804, 805, 806, 807, 808, 809, 810, 813, 814, - 817, 821, 822, 825, 826, 827, 828, 831, 832, 836, - 837, 838, 839, 842, 843, 844, 847, 848, 849, 852, - 853, 854, 855, 856, 859, 860, 861, 864, 865, 868, - 869, 873, 874, 877, 878, 883, 889, 890, 896, 902, - 903, 903, 905, 908, 909, 910, 911, 912, 913, 914, - 915, 916, 917, 918, 919, 922, 923, 926, 927, 930, - 935, 936, 937, 940, 954, 959, 965, 967, 973, 978, - 978, 982, 983, 985, 986, 989, 992, 995, 998, 999, - 1002, 1003, 1006, 1007, 1008, 1012, 1014, 1023, 1024, 1025, - 1026, 1027, 1029, 1033, 1036, 1042, 1051, 1054, 1057, 1064, - 1071, 1077, 1102, 1103, 1106, 1107, 1108, 1109, 1110, 1113, - 1114, 1115, 1116, 1119, 1120, 1121, 1122, 1123, 1124, 1125, - 1126, 1127, 1128, 1129, 1130, 1131, 1132, 1133, 1134, 1135, - 1139, 1140, 1143, 1144, 1147, 1148, 1151, 1152, 1153, 1154, - 1157, 1158, 1159, 1160, 1161, 1162, 1165, 1166, 1167, 1168, - 1171, 1172, 1173, 1174, 1177, 1178, 1179, 1180, 1181, 1182, - 1183, 1184, 1185, 1186, 1187, 1194, 1195, 1196, 1197, 1198, - 1199, 1200, 1201, 1202, 1203, 1204, 1205, 1206, 1207, 1210, - 1214, 1215, 1219, 1220, 1224, 1225, 1226, 1229, 1230, 1233, - 1235, 1237, 1238, 1240, 1242, 1243, 1245, 1247, 1249, 1251, - 1252, 1253, 1256, 1257, 1259, 1261, 1262, 1265, 1268, 1269, - 1270, 1273, 1275, 1279, 1281, 1285, 1286, 1287, 1291, 1293, - 1293, 1295, 1298, 1300, 1302, 1305, 1310, 1317, 1318, 1319, - 1326, 1330, 1331, 1335, 1336, 1339, 1340, 1343, 1344, 1347, - 1348, 1349, 1350, 1353, 1354, 1357, 1358, 1361, 1362, 1363, - 1366, 1366, 1367, 1368, 1371, 1383, 1399, 1400, 1403, 1404, - 1405, 1408, 1409, 1412, 1414, 1415, 1417, 1418, 1420, 1422, - 1424, 1426, 1432, 1433, 1434, 1435, 1436, 1437, 1438, 1439, - 1440, 1455, 1458, 1461, 1462, 1466, 1468, 1470, 1472, 1476, - 1477, 1479, 1483, 1485, 1487, 1490, 1491, 1492, 1493, 1494, - 1495, 1496, 1497, 1498, 1499, 1500, 1501, 1502, 1505, 1506, - 1511, 1514, 1517, 1518, 1521, 1522, 1523, 1524, 1525, 1526, - 1527, 1528, 1529, 1530, 1531, 1534, 1535, 1542, 1543, 1549, - 1550, 1551, 1552, 1555, 1556, 1557, 1558, 1561, 1562, 1566, - 1569, 1572, 1575, 1578, 1581, 1584, 1585, 1586, 1587, 1589, - 1590, 1592, 1594, 1600, 1604, 1606, 1608, 1610, 1614, 1615, - 1618, 1619, 1622, 1623, 1626, 1627, 1630, 1631, 1632, 1635, - 1648, 1653, 1654, 1658, 1659, 1662, 1667, 1670, 1671, 1672, - 1680, 1681, 1681, 1685, 1686, 1687, 1698, 1705, 1706, 1709, - 1710, 1713, 1714, 1715, 1716, 1717, 1719, 1720, 1721, 1722, - 1725, 1726, 1727, 1728, 1729, 1730, 1731, 1732, 1733, 1734, - 1737, 1738, 1741, 1742, 1743, 1744, 1747, 1748, 1749, 1752, - 1753, 1754, 1757, 1758, 1759, 1760, 1761, 1764, 1765, 1766, - 1769, 1770, 1773, 1774, 1778, 1779, 1782, 1783, 1786, 1787, - 1790, 1791, 1792, 1793, 1796, 1797, 1798, 1799, 1800, 1801, - 1802, 1803, 1804, 1805, 1806, 1807, 1810, 1811, 1814, 1817, - 1819, 1821, 1825, 1826, 1828, 1830, 1833, 1834, 1835, 1837, - 1838, 1839, 1840, 1841, 1842, 1843, 1846, 1847, 1850, 1853, - 1854, 1855, 1856, 1857, 1860, 1861 + 317, 318, 321, 322, 325, 326, 327, 328, 329, 330, + 331, 334, 336, 340, 340, 347, 353, 357, 358, 362, + 363, 365, 367, 379, 382, 392, 395, 403, 404, 406, + 408, 424, 427, 435, 438, 446, 448, 448, 452, 453, + 454, 455, 458, 461, 465, 465, 468, 468, 473, 474, + 477, 482, 483, 486, 491, 492, 495, 496, 497, 500, + 501, 502, 507, 508, 511, 513, 515, 517, 526, 528, + 530, 532, 548, 552, 553, 560, 561, 569, 571, 575, + 576, 577, 578, 579, 580, 583, 584, 585, 586, 587, + 588, 591, 594, 595, 602, 605, 608, 614, 622, 624, + 628, 631, 632, 635, 638, 644, 648, 649, 652, 655, + 656, 659, 660, 661, 664, 665, 666, 667, 668, 671, + 672, 673, 674, 675, 678, 679, 682, 688, 692, 694, + 698, 699, 701, 708, 718, 719, 722, 723, 724, 725, + 726, 727, 728, 729, 733, 734, 738, 739, 742, 744, + 746, 747, 748, 749, 750, 752, 756, 757, 760, 764, + 776, 777, 778, 779, 780, 781, 784, 785, 786, 787, + 788, 789, 790, 791, 792, 795, 796, 799, 800, 801, + 802, 803, 804, 805, 806, 807, 808, 809, 812, 813, + 816, 820, 821, 824, 825, 826, 827, 830, 831, 835, + 836, 837, 838, 841, 842, 843, 846, 847, 848, 851, + 852, 853, 854, 855, 858, 859, 860, 863, 864, 867, + 868, 872, 873, 876, 877, 882, 888, 889, 895, 901, + 902, 902, 904, 907, 908, 909, 910, 911, 912, 913, + 914, 915, 916, 917, 918, 921, 922, 925, 926, 929, + 934, 935, 936, 939, 953, 958, 964, 966, 972, 977, + 977, 981, 982, 984, 985, 988, 991, 994, 997, 998, + 1001, 1002, 1005, 1006, 1007, 1011, 1013, 1022, 1023, 1024, + 1025, 1026, 1028, 1032, 1035, 1041, 1050, 1053, 1056, 1063, + 1070, 1076, 1101, 1102, 1105, 1106, 1107, 1108, 1109, 1112, + 1113, 1114, 1115, 1118, 1119, 1120, 1121, 1122, 1123, 1124, + 1125, 1126, 1127, 1128, 1129, 1130, 1131, 1132, 1133, 1134, + 1138, 1139, 1142, 1143, 1146, 1147, 1150, 1151, 1152, 1153, + 1156, 1157, 1158, 1159, 1160, 1161, 1164, 1165, 1166, 1167, + 1170, 1171, 1172, 1173, 1176, 1177, 1178, 1179, 1180, 1181, + 1182, 1183, 1184, 1185, 1186, 1193, 1194, 1195, 1196, 1197, + 1198, 1199, 1200, 1201, 1202, 1203, 1204, 1205, 1206, 1209, + 1213, 1214, 1218, 1219, 1223, 1224, 1225, 1228, 1229, 1232, + 1234, 1236, 1237, 1239, 1241, 1242, 1244, 1246, 1248, 1250, + 1251, 1252, 1255, 1256, 1258, 1260, 1261, 1264, 1267, 1268, + 1269, 1272, 1274, 1278, 1280, 1284, 1285, 1286, 1290, 1292, + 1292, 1294, 1297, 1299, 1301, 1304, 1309, 1316, 1317, 1318, + 1325, 1329, 1330, 1334, 1335, 1338, 1339, 1342, 1343, 1346, + 1347, 1348, 1349, 1352, 1353, 1356, 1357, 1360, 1361, 1362, + 1365, 1365, 1366, 1367, 1370, 1382, 1398, 1399, 1402, 1403, + 1404, 1407, 1408, 1411, 1413, 1414, 1416, 1417, 1419, 1421, + 1423, 1425, 1431, 1432, 1433, 1434, 1435, 1436, 1437, 1438, + 1439, 1442, 1445, 1448, 1449, 1453, 1455, 1457, 1459, 1463, + 1464, 1466, 1470, 1472, 1474, 1477, 1478, 1479, 1480, 1481, + 1482, 1483, 1484, 1485, 1486, 1487, 1488, 1489, 1492, 1493, + 1498, 1501, 1504, 1505, 1508, 1509, 1510, 1511, 1512, 1513, + 1514, 1515, 1516, 1517, 1518, 1521, 1522, 1529, 1530, 1536, + 1537, 1538, 1539, 1542, 1543, 1544, 1545, 1548, 1549, 1553, + 1556, 1559, 1562, 1565, 1568, 1571, 1572, 1573, 1574, 1576, + 1577, 1579, 1581, 1587, 1591, 1593, 1595, 1597, 1601, 1602, + 1605, 1606, 1609, 1610, 1613, 1614, 1617, 1618, 1619, 1622, + 1635, 1640, 1641, 1645, 1646, 1649, 1654, 1657, 1658, 1659, + 1667, 1668, 1668, 1672, 1673, 1674, 1685, 1692, 1693, 1696, + 1697, 1700, 1701, 1702, 1703, 1704, 1706, 1707, 1708, 1709, + 1712, 1713, 1714, 1715, 1716, 1717, 1718, 1719, 1720, 1721, + 1724, 1725, 1728, 1729, 1730, 1731, 1734, 1735, 1736, 1739, + 1740, 1741, 1744, 1745, 1746, 1747, 1748, 1751, 1752, 1753, + 1756, 1757, 1760, 1761, 1765, 1766, 1769, 1770, 1773, 1774, + 1777, 1778, 1779, 1780, 1783, 1784, 1785, 1786, 1787, 1788, + 1789, 1790, 1791, 1792, 1793, 1794, 1797, 1798, 1801, 1804, + 1806, 1808, 1812, 1813, 1815, 1817, 1820, 1821, 1822, 1824, + 1825, 1826, 1827, 1828, 1829, 1830, 1833, 1834, 1837, 1840, + 1841, 1842, 1843, 1844, 1847, 1848 }; #endif diff --git a/src/cgrammar.y b/src/cgrammar.y index d2f428b..eb78741 100644 --- a/src/cgrammar.y +++ b/src/cgrammar.y @@ -1,6 +1,6 @@ /*;-*-C-*-; ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2001 University of Virginia, +** Copyright (C) 1994-2002 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it @@ -17,8 +17,8 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ %{ @@ -26,12 +26,12 @@ ** ** cgrammar.y ** -** Yacc/Bison grammar for extended ANSI C used by LCLint. +** Yacc/Bison grammar for extended ANSI C used by Splint. ** ** original grammar by Nate Osgood --- ** hacrat@catfish.lcs.mit.edu Mon Jun 14 13:06:32 1993 ** -** changes for LCLint --- handle typedef names correctly +** changes for Splint --- handle typedef names correctly ** fix struct/union parsing bug (empty struct is accepted) ** add productions to handle macros --- require ** error correction --- main source of conflicts in grammar. @@ -50,7 +50,7 @@ extern int yylex (); extern void swallowMacro (void); extern void yyerror (char *); -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "cscanner.h" # include "cgrammar.h" @@ -161,7 +161,7 @@ extern void yyerror (char *); %token QUNDEF QKILLED %token QENDMACRO -/* additional tokens introduced by lclint pre-processor. */ +/* additional tokens introduced by splint pre-processor. */ %token LLMACRO LLMACROITER LLMACROEND TENDMACRO /* break comments: */ @@ -308,7 +308,6 @@ extern void yyerror (char *); %type optGlobQuals %type completeType completeTypeSpecifier optCompleteType %type completeTypeSpecifierAux altType typeExpression -/*%type lclintassertion*/ %start file @@ -1438,18 +1437,6 @@ stmt | iterationStmt | iterStmt | jumpStmt -/* | lclintassertion {$$ = $1; printf ("Doing stmt lclintassertion\n"); }*/ - -/* -lclintassertion - : QSETBUFFERSIZE id CCONSTANT QENDMACRO { printf(" QSETBUFFERSIZE id CCONSTANT HEllo World\n"); uentry_setBufferSize($2, $3); $$ = exprNode_createTok ($4); - } - | QSETSTRINGLENGTH id CCONSTANT QENDMACRO { printf(" QSETSTRINGLENGTH id CCONSTANT HEllo World\n"); uentry_setStringLength($2, $3); $$ = exprNode_createTok ($4); - } - | QTESTINRANGE id CCONSTANT QENDMACRO {printf(" QTESTINRANGE\n"); uentry_testInRange($2, $3); $$ = exprNode_createTok ($4); - } - -/* | QSETBUFFERSIZE id id {$$ = $2; printf(" QSETBUFFERSIZE id id HEllo World\n");} */ iterBody : iterDefStmtList { $$ = $1; } diff --git a/src/checking.c b/src/checking.c index 5c82a44..a75595f 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -31,7 +31,7 @@ ** Massachusetts Institute of Technology */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "llgrammar.h" # include "checking.h" diff --git a/src/clabstract.c b/src/clabstract.c index 8f2fa20..e804f35 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -28,7 +28,7 @@ ** */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "cgrammar.h" @@ -1077,7 +1077,7 @@ fixUentryList (idDeclList tl, qtype q) ** Microsoft VC++. It is not supported by the ANSI standard. ** ** The inner fields are added to the outer structure. This is meaningful -** for nesting structs inside unions, but lclint does no related +** for nesting structs inside unions, but Splint does no related ** checking. */ @@ -2069,11 +2069,11 @@ sRef checkStateClausesId (uentry ue) { voptgenerror (FLG_COMMENTERROR, - message ("Global variable %s used special clause. (Global variables " - "are not recognized in special clauses. If there is " + message ("Global variable %s used state clause. (Global variables " + "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 " - "lclint@cs.virginia.edu.)", + "splint@cs.virginia.edu.)", 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 " - "lclint@cs.virginia.edu.)", + "splint@cs.virginia.edu.)", s), g_currentloc); diff --git a/src/clause.c b/src/clause.c index f65db3d..5e54ae5 100644 --- a/src/clause.c +++ b/src/clause.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** clause.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" cstring diff --git a/src/clauseStack.c b/src/clauseStack.c index 8c721c7..a34b0a9 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" clauseStack diff --git a/src/constraint.c b/src/constraint.c index 66ca75c..a2ff50f 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ @@ -29,7 +29,7 @@ /* #define DEBUGPRINT 1 */ # include /* for isdigit */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "cgrammar.h" # include "cgrammar_tokens.h" diff --git a/src/constraintExpr.c b/src/constraintExpr.c index 8ea3ded..5dded48 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ @@ -28,7 +28,7 @@ /* #define DEBUGPRINT 1 */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "cgrammar.h" # include "cgrammar_tokens.h" diff --git a/src/constraintExprData.c b/src/constraintExprData.c index 69ed4a3..a7fdce6 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ @@ -26,7 +26,7 @@ ** constraintExprData.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "cgrammar.h" # include "cgrammar_tokens.h" diff --git a/src/constraintGeneration.c b/src/constraintGeneration.c index 71947b6..c288172 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ @@ -29,7 +29,7 @@ /* #define DEBUGPRINT 1 */ # include /* for isdigit */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "cgrammar_tokens.h" @@ -1110,7 +1110,7 @@ static void exprNode_booleanTraverse (/*@dependent@*/ exprNode e, /*@unused@*/ b tempList = constraintList_logicalOr (tempList, t1->falseEnsuresConstraints); constraintList_free (temp); - /* evans - was constraintList_addList - memory leak detected by lclint */ + /* evans - was constraintList_addList - memory leak detected by splint */ e->falseEnsuresConstraints = constraintList_addListFree (e->falseEnsuresConstraints, tempList); } else if (lltok_isOr_Op (tok) ) diff --git a/src/constraintList.c b/src/constraintList.c index ac1a26f..e7e8b1d 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ @@ -30,7 +30,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" diff --git a/src/constraintOutput.c b/src/constraintOutput.c index 7dfa1fd..a802676 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ @@ -26,7 +26,7 @@ ** constraintOutput.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "portab.h" diff --git a/src/constraintResolve.c b/src/constraintResolve.c index 9af334b..e2f1dc1 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ @@ -30,7 +30,7 @@ /* #define DEBUGPRINT 1 */ # include /* for isdigit */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "cgrammar.h" # include "cgrammar_tokens.h" diff --git a/src/constraintTerm.c b/src/constraintTerm.c index fd19785..b2337f0 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ @@ -29,7 +29,7 @@ /* #define DEBUGPRINT 1 */ # include /* for isdigit */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "cgrammar.h" # include "cgrammar_tokens.h" diff --git a/src/context.c b/src/context.c index f1a8bd7..f345427 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -33,7 +33,7 @@ * or, if not set "." will be used. */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # ifndef NOLCL diff --git a/src/cpperror.c b/src/cpperror.c index e0bfeb8..725af10 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -83,7 +83,7 @@ Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. # define FATAL_EXIT_CODE EXIT_FAILURE -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "cpplib.h" # include "cpperror.h" diff --git a/src/cppexp.c b/src/cppexp.c index 65a0a69..835c71a 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -56,7 +56,7 @@ Written by Per Bothner 1994. */ /*@+matchanyintegral@*/ # include -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "cpplib.h" # include "cpphash.h" diff --git a/src/cpphash.c b/src/cpphash.c index 4a7b9e2..8850def 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -51,7 +51,7 @@ Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. You are forbidden to forbid anyone else to use, share and improve what you give them. Help stamp out software-hoarding! */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include # include "cpplib.h" @@ -213,7 +213,7 @@ static void hashNode_delete (/*@only@*/ /*@null@*/ hashNode node) ** From: "N.Komazaki" */ - /*! why doesn't lclint report an error for this? */ + /*! why doesn't splint report an error for this? */ nd->args.argnames = mstring_createEmpty (); } } diff --git a/src/cpplib.c b/src/cpplib.c index d85cf81..2c15062 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -92,7 +92,7 @@ Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. /* This defines "errno" properly for VMS, and gives us EACCES. */ # include -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "lcllib.h" # include "cpplib.h" @@ -3641,7 +3641,7 @@ cpplib_installBuiltinType (/*@observer@*/ char *name, ctype ctyp, /*@only@*/ /*@null@*/ char *value, int hash) { cstring sname = cstring_fromChars (name); - /* evs 2000 07 10 - removed a memory leak, detected by lclint */ + /* evs 2000 07 10 - removed a memory leak, detected by splint */ llassert (usymtab_inGlobalScope ()); diff --git a/src/cppmain.c b/src/cppmain.c index 1176859..1ebcc1b 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -46,7 +46,7 @@ Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. You are forbidden to forbid anyone else to use, share and improve what you give them. Help stamp out software-hoarding! */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "cpplib.h" # include "cpphash.h" diff --git a/src/cprim.c b/src/cprim.c index 8b15832..e86325b 100644 --- a/src/cprim.c +++ b/src/cprim.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** cprim.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" static bool cprim_isReal (cprim c) diff --git a/src/cscanner.l b/src/cscanner.l index 360ba29..0a7f383 100644 --- a/src/cscanner.l +++ b/src/cscanner.l @@ -1,6 +1,6 @@ /*;-*-C-*-; ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2001 University of Virginia, +** Copyright (C) 1994-2002 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it @@ -17,8 +17,8 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -36,7 +36,7 @@ /* ** Modified by Mike Smith ** Corrected missing 'line' in scanf() calls in handleSpecial(). -** Without this, I get an error when LCLint hits a '#line' directive +** Without this, I get an error when Splint hits a '#line' directive ** in the pre-pre-processed source files. For safety, I have made these ** conditional on OS2 and MSDOS because I don't understand why noone else ** has seen this problem. @@ -64,7 +64,7 @@ IS (u|U|l|L)* ULSuffix ({U}{L}|{L}{U}) %{ -# include "lclintMacros.nf" +# include "splintMacros.nf" # if defined(OS2) && defined(__IBMC__) /* needed for isatty()... */ # include @@ -776,9 +776,8 @@ static int tokenMacroCode (cstring s) voptgenerror (FLG_WARNLINTCOMMENTS, cstring_makeLiteral - ("Traditional lint comment /*FALLTHROUGH*/ used. " - "This is interpreted by " - "LCLint in the same way as most Unix lints, but it is " + ("Traditional lint comment /*FALLTHROUGH*/ used. " + "Splint interprets this in the same way as most Unix lints, but it is " "preferable to replace it with the /*@fallthrough@*/ " "semantic comment"), g_currentloc); @@ -789,9 +788,8 @@ static int tokenMacroCode (cstring s) voptgenerror (FLG_WARNLINTCOMMENTS, cstring_makeLiteral - ("Traditional lint comment /*FALLTHRU*/ used. " - "This is interpreted by " - "LCLint in the same way as most Unix lints, but it is " + ("Traditional lint comment /*FALLTHRU*/ used. " + "Splint interprets this in the same way as most Unix lints, but it is " "preferable to replace it with the /*@fallthrough@*/ " "semantic comment"), g_currentloc); @@ -802,9 +800,8 @@ static int tokenMacroCode (cstring s) voptgenerror (FLG_WARNLINTCOMMENTS, cstring_makeLiteral - ("Traditional lint comment /*NOTREACHED*/ used. " - "This is interpreted by " - "LCLint in the same way as most Unix lints, but it is " + ("Traditional lint comment /*NOTREACHED*/ used. " + "Splint interprets this in the same way as most Unix lints, but it is " "preferable to replace it with the /*@notreached@*/ " "semantic comment."), g_currentloc); @@ -821,9 +818,8 @@ static int tokenMacroCode (cstring s) voptgenerror (FLG_WARNLINTCOMMENTS, cstring_makeLiteral - ("Traditional lint comment /*PRINTFLIKE*/ used. " - "This is interpreted by " - "LCLint in the same way as most Unix lints, but it is " + ("Traditional lint comment /*PRINTFLIKE*/ used. " + "Splint interprets this in the same way as most Unix lints, but it is " "preferable to replace it with either /*@printflike@*/, " "/*@scanflike@*/ or /*@messagelike@*/."), g_currentloc); @@ -846,9 +842,8 @@ static int tokenMacroCode (cstring s) voptgenerror (FLG_WARNLINTCOMMENTS, cstring_makeLiteral - ("Traditional lint comment /*ARGSUSED*/ used. " - "This is interpreted by " - "LCLint in the same way as most Unix lints, but it is " + ("Traditional lint comment /*ARGSUSED*/ used. " + "Splint interprets this in the same way as most Unix lints, but it is " "preferable to use /*@unused@*/ annotations on " "the unused parameters."), g_currentloc); diff --git a/src/cstring.c b/src/cstring.c index e5ed0fa..bd0e806 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -31,7 +31,7 @@ * - cstring_replaceAll () needed in cpplib.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "osd.h" # include "portab.h" diff --git a/src/cstringList.c b/src/cstringList.c index 13c5820..1a71e71 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" cstringList diff --git a/src/cstringSList.c b/src/cstringSList.c index 50c0619..4e5aba7 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" cstringSList diff --git a/src/cstringTable.c b/src/cstringTable.c index 0f5f970..c6b71b5 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -33,7 +33,7 @@ ** */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "randomNumbers.h" diff --git a/src/ctbase.i b/src/ctbase.i index ebb1612..cea6f18 100644 --- a/src/ctbase.i +++ b/src/ctbase.i @@ -1,20 +1,25 @@ /* ;-*-C-*-; -** Copyright (c) Massachusetts Institute of Technology 1994-1998. -** All Rights Reserved. -** Unpublished rights reserved under the copyright laws of -** the United States. +** Splint - annotation-assisted static program checker +** Copyright (C) 1994-2002 University of Virginia, +** Massachusetts Institute of Technology ** -** THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED -** OR IMPLIED. ANY USE IS AT YOUR OWN RISK. +** This program is free software; you can redistribute it and/or modify it +** under the terms of the GNU General Public License as published by the +** Free Software Foundation; either version 2 of the License, or (at your +** option) any later version. +** +** This program is distributed in the hope that it will be useful, but +** WITHOUT ANY WARRANTY; without even the implied warranty of +** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +** General Public License for more details. +** +** The GNU General Public License is available from http://www.gnu.org/ or +** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, +** MA 02111-1307, USA. ** -** This code is distributed freely and may be used freely under the -** following conditions: -** -** 1. This notice may not be removed or altered. -** -** 2. Works derived from this code are not distributed for -** commercial gain without explicit permission from MIT -** (for permission contact lclint-request@sds.lcs.mit.edu). +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu +** For more information: http://www.splint.org */ /* ** ctbase.i diff --git a/src/cttable.i b/src/cttable.i index 0cbe38a..efff90e 100644 --- a/src/cttable.i +++ b/src/cttable.i @@ -1,20 +1,25 @@ /* ;-*-C-*-; -** Copyright (c) Massachusetts Institute of Technology 1994-1998. -** All Rights Reserved. -** Unpublished rights reserved under the copyright laws of -** the United States. +** Splint - annotation-assisted static program checker +** Copyright (C) 1994-2002 University of Virginia, +** Massachusetts Institute of Technology ** -** THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED -** OR IMPLIED. ANY USE IS AT YOUR OWN RISK. +** This program is free software; you can redistribute it and/or modify it +** under the terms of the GNU General Public License as published by the +** Free Software Foundation; either version 2 of the License, or (at your +** option) any later version. +** +** This program is distributed in the hope that it will be useful, but +** WITHOUT ANY WARRANTY; without even the implied warranty of +** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +** General Public License for more details. +** +** The GNU General Public License is available from http://www.gnu.org/ or +** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, +** MA 02111-1307, USA. ** -** This code is distributed freely and may be used freely under the -** following conditions: -** -** 1. This notice may not be removed or altered. -** -** 2. Works derived from this code are not distributed for -** commercial gain without explicit permission from MIT -** (for permission contact lclint-request@sds.lcs.mit.edu). +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu +** For more information: http://www.splint.org */ /* ** cttable.i diff --git a/src/ctype.c b/src/ctype.c index 1423bbd..6b91052 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -28,7 +28,7 @@ ** They should probably be separated soon. */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "structNames.h" diff --git a/src/ctypeList.c b/src/ctypeList.c index 186b5ec..d177040 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" /*@only@*/ ctypeList diff --git a/src/cvar.c b/src/cvar.c index 0a27cfa..7bcb718 100644 --- a/src/cvar.c +++ b/src/cvar.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** cvar.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "cvar.h" diff --git a/src/declaratorInvNodeList.c b/src/declaratorInvNodeList.c index 6125725..5466428 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" declaratorInvNodeList diff --git a/src/declaratorNodeList.c b/src/declaratorNodeList.c index 7516f88..fbe7e78 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" declaratorNodeList diff --git a/src/dummy.c b/src/dummy.c deleted file mode 100644 index 15abc35..0000000 --- a/src/dummy.c +++ /dev/null @@ -1,3 +0,0 @@ -# include "lclintMacros.nf" -# include "llbasic.h" -# include "gram.h" diff --git a/src/ekind.c b/src/ekind.c index 3997762..f393f8a 100644 --- a/src/ekind.c +++ b/src/ekind.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** ekind.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" ekind diff --git a/src/enumNameList.c b/src/enumNameList.c index 5801b36..9e4b4ae 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -31,7 +31,7 @@ ** used to be cenum.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" enumNameList diff --git a/src/enumNameSList.c b/src/enumNameSList.c index 6ee14cb..df36d16 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -31,7 +31,7 @@ ** used to be cenum.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" /*@access enumNameList@*/ diff --git a/src/exprChecks.c b/src/exprChecks.c index 70aadca..a2c3871 100644 --- a/src/exprChecks.c +++ b/src/exprChecks.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** exprChecks.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "cgrammar.h" # include "cgrammar_tokens.h" diff --git a/src/exprData.c b/src/exprData.c index 18d1805..3468afd 100644 --- a/src/exprData.c +++ b/src/exprData.c @@ -3,7 +3,7 @@ */ # include /* for isdigit */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "cgrammar.h" # include "cgrammar_tokens.h" diff --git a/src/exprNode.c b/src/exprNode.c index 748f887..9796fdf 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -26,7 +26,7 @@ */ # include /* for isdigit */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "cgrammar.h" # include "cgrammar_tokens.h" @@ -979,7 +979,7 @@ exprNode exprNode_createId (/*@observer@*/ uentry c) /* ** yoikes! leaving this out was a heinous bug...that would have been - ** caught if i had lclint working first. gag! + ** caught if i had splint working first. gag! */ e->etext = cstring_undefined; @@ -1009,7 +1009,7 @@ exprNode exprNode_createId (/*@observer@*/ uentry c) e->msets = sRefSet_new (); e->uses = sRefSet_new (); - /*> missing fields, detected by lclint <*/ + /*> missing fields, detected by splint <*/ e->exitCode = XK_NEVERESCAPE; e->isJumpPoint = FALSE; e->canBreak = FALSE; @@ -1194,7 +1194,7 @@ exprNode_arrayFetch (/*@only@*/ exprNode e1, /*@only@*/ exprNode e2) /* ** this sets up funny aliasing, that leads to spurious - ** lclint errors. Hence, the i2 comments. + ** splint errors. Hence, the i2 comments. */ /* evans 2001-09-09 added ctype_isKnown so there is no swap when e1 type is unknown */ @@ -3142,7 +3142,7 @@ checkGlobMods (/*@notnull@*/ /*@dependent@*/ exprNode f, if (freshMods) { /* - ** Spurious errors reported, because lclint can't tell + ** Spurious errors reported, because splint can't tell ** mods must be fresh if freshMods is true. */ @@ -8586,7 +8586,7 @@ exprNode_iterNewId (/*@only@*/ cstring s) e->isJumpPoint = FALSE; e->exitCode = XK_NEVERESCAPE; - /*> missing fields, detected by lclint <*/ + /*> missing fields, detected by splint <*/ e->canBreak = FALSE; e->mustBreak = FALSE; e->etext = cstring_undefined; diff --git a/src/exprNodeList.c b/src/exprNodeList.c index b190e76..5321d5f 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" /*@only@*/ exprNodeList diff --git a/src/exprNodeSList.c b/src/exprNodeSList.c index 02efc19..71146c9 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "exprNodeSList.h" diff --git a/src/fcnNodeList.c b/src/fcnNodeList.c index 84b344d..ac59de1 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" fcnNodeList diff --git a/src/fileIdList.c b/src/fileIdList.c index b411a1d..5ebd394 100644 --- a/src/fileIdList.c +++ b/src/fileIdList.c @@ -17,14 +17,14 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** fileIdList.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "fileIdList.h" diff --git a/src/fileLib.c b/src/fileLib.c index 2f5dcac..a331416 100644 --- a/src/fileLib.c +++ b/src/fileLib.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** fileLib.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "portab.h" @@ -163,7 +163,7 @@ fileLib_addExtension (/*@temp@*/ cstring s, cstring suffix) if (strrchr (s, '.') == (char *) 0) { - /* <<< was mstring_concatFree1 --- bug detected by lclint >>> */ + /* <<< was mstring_concatFree1 --- bug detected by splint >>> */ return (cstring_concat (s, suffix)); } else diff --git a/src/fileTable.c b/src/fileTable.c index dfa591d..ab627d5 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -44,7 +44,7 @@ * - Added conditional stuff (#define and #include) for IBM's compiler. */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "osd.h" # include "llmain.h" diff --git a/src/fileloc.c b/src/fileloc.c index 25e0460..24c2a4b 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -33,7 +33,7 @@ * instead of fileloc_unparseFilename(). */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "fileIdList.h" # include "osd.h" diff --git a/src/filelocList.c b/src/filelocList.c index 8c69143..6d0ff21 100644 --- a/src/filelocList.c +++ b/src/filelocList.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** filelocList.c (from slist_template.c) */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "filelocList.h" diff --git a/src/filelocStack.c b/src/filelocStack.c index 3fb4190..d35fa39 100644 --- a/src/filelocStack.c +++ b/src/filelocStack.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** filelocStack.c (from slist_template.c) */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "filelocStack.h" diff --git a/src/flagMarker.c b/src/flagMarker.c index d88f381..efb9b0a 100644 --- a/src/flagMarker.c +++ b/src/flagMarker.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** flagMarker.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" flagMarker flagMarker_createLocalSet (flagcode code, ynm set, fileloc loc) diff --git a/src/flagMarkerList.c b/src/flagMarkerList.c index dc80f21..3b863c7 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -31,7 +31,7 @@ ** invariant: flagMarker's are listed in order */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" static int flagMarkerList_lastBeforeLoc (flagMarkerList p_s, fileloc p_loc) /*@*/ ; diff --git a/src/flagSpec.c b/src/flagSpec.c index eb63483..f1a90f9 100644 --- a/src/flagSpec.c +++ b/src/flagSpec.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** flagSpec.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" static /*@only@*/ flagSpecItem flagSpecItem_create (/*@only@*/ cstring fname) diff --git a/src/flags.c b/src/flags.c index d85fe21..e19c00e 100644 --- a/src/flags.c +++ b/src/flags.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** flags.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "portab.h" @@ -58,7 +58,7 @@ static flagcatinfo categories[] = { FK_SYNCOMMENTS, "syncomments", "interpretation of annotation comments" } , { FK_COMPLETE, "complete", "completely defined, used, or specified system" } , { FK_CONTROL, "controlflow", "suspicious control structures" } , - { FK_DEBUG, "debug", "flags for debugging lclint" } , + { FK_DEBUG, "debug", "flags for debugging splint" } , { FK_DECL, "declarations", "consistency of declarations" } , { FK_DEF, "definition", "undefined storage errors" } , { FK_DIRECT, "directories", "set directores" } , @@ -1018,7 +1018,7 @@ flags_identifyFlagAux (cstring s, bool quiet) ("accessunspec flag is no longer supported. It has been replaced by accessmodule, accessfile and " "accessfunction to provide more precise control of accessibility " "of representations. For more information, " - "see lclint -help accessmodule")); + "see splint -help accessmodule")); } return SKIP_FLAG; @@ -1041,7 +1041,7 @@ flags_identifyFlagAux (cstring s, bool quiet) (cstring_makeLiteral ("staticmods flag is obsolete. You probably " "want impcheckmodstatics. For more information, " - "see lclint -help impcheckmodstatics")); + "see splint -help impcheckmodstatics")); } return SKIP_FLAG; @@ -1088,7 +1088,7 @@ flags_identifyFlagAux (cstring s, bool quiet) ("stdio flag is obsolete. You may " "want strictlib or one of the gloabls " "checking flags. For more information, " - "see lclint -help strictlib or lclint -help flags globals")); + "see splint -help strictlib or splint -help flags globals")); } return SKIP_FLAG; diff --git a/src/functionClause.c b/src/functionClause.c index 9d19c6b..177fc09 100644 --- a/src/functionClause.c +++ b/src/functionClause.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** functionClause.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" static /*@only@*/ /*@notnull@*/ /*@special@*/ functionClause /*@i32 need special? @*/ diff --git a/src/functionClauseList.c b/src/functionClauseList.c index 1b125fe..abf3dd0 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" functionClauseList diff --git a/src/functionConstraint.c b/src/functionConstraint.c index 39415ca..593ba3f 100644 --- a/src/functionConstraint.c +++ b/src/functionConstraint.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** functionConstraint.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" static /*@only@*/ /*@notnull@*/ /*@special@*/ functionConstraint /*@i32 need special? @*/ diff --git a/src/general.c b/src/general.c index 4ede8a4..cc6cb95 100644 --- a/src/general.c +++ b/src/general.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** general.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # undef malloc # undef realloc diff --git a/src/genericTable.c b/src/genericTable.c index e2c00d7..bdc0797 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -28,7 +28,7 @@ ** We sacrific type checking here for code reuse. */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "randomNumbers.h" diff --git a/src/globSet.c b/src/globSet.c index 1462bc0..747dbce 100644 --- a/src/globSet.c +++ b/src/globSet.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** globSet.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" globSet diff --git a/src/globals.c b/src/globals.c index 00aa29d..7d4e2ea 100644 --- a/src/globals.c +++ b/src/globals.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** globals.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" fileloc g_currentloc; diff --git a/src/globalsClause.c b/src/globalsClause.c index dd9b892..4cf0231 100644 --- a/src/globalsClause.c +++ b/src/globalsClause.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** globalsClause.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" extern globalsClause diff --git a/src/guardSet.c b/src/guardSet.c index 277c6d8..693f0b7 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -32,7 +32,7 @@ ** Either guards is obsolete and should be removed soon. */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" guardSet guardSet_new () diff --git a/src/hashTable.c b/src/hashTable.c index 5f01b1d..769e4ed 100644 --- a/src/hashTable.c +++ b/src/hashTable.c @@ -17,8 +17,8 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -33,7 +33,7 @@ ** */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" /*@constant null hbucket hbucket_undefined; @*/ diff --git a/src/idDecl.c b/src/idDecl.c index ebfc81a..e252c43 100644 --- a/src/idDecl.c +++ b/src/idDecl.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** idDecl.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" /*@only@*/ idDecl diff --git a/src/idDeclList.c b/src/idDeclList.c index b5ccab4..0eac765 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" idDeclList diff --git a/src/importNodeList.c b/src/importNodeList.c index 63eb08f..4fc07e3 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /*@only@*/ importNodeList diff --git a/src/imports.c b/src/imports.c index cf9270f..0d7a200 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -31,7 +31,7 @@ ** Massachusetts Institute of Technology */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "osd.h" # include "llgrammar.h" /* need simpleOp, MULOP and logicalOp in makeInfixTermNode */ diff --git a/src/initDeclNodeList.c b/src/initDeclNodeList.c index e1e384e..deb5268 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /*@only@*/ initDeclNodeList diff --git a/src/inputStream.c b/src/inputStream.c index f2788f7..4850811 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -44,7 +44,7 @@ ** Joe Wild, Technical Languages and Environments, DECspec project */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "osd.h" # include "portab.h" diff --git a/src/intSet.c b/src/intSet.c index f32c38d..04cddf5 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "intSet.h" diff --git a/src/interfaceNodeList.c b/src/interfaceNodeList.c index d0b8066..57273df 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /*@only@*/ interfaceNodeList diff --git a/src/lclctypes.c b/src/lclctypes.c index cfbf142..134f566 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -27,7 +27,7 @@ ** This contains definitions used in processing C builtin types. ** ** WARNING: there is a different file ctype.c for handling types -** in the C checking of lclint. This is only for handling +** in the C checking of splint. This is only for handling ** C builtin types in LCL files. ** ** AUTHORS: @@ -37,7 +37,7 @@ ** */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" typedef struct diff --git a/src/lclinit.c b/src/lclinit.c index 51f378b..1efb405 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -27,7 +27,7 @@ ** Processor for Larch Shared Language Init Files */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "gram.h" # include "lclscan.h" diff --git a/src/lclint.lcd b/src/lclint.lcd index b8d9068..d541c8b 100644 --- a/src/lclint.lcd +++ b/src/lclint.lcd @@ -28029,7 +28029,7 @@ ^7383 23$#DEFAULT_BOOLTYPE#PRAGMA_EXPAND ^7385 5@i6@0@0#PRAGMA_LEN_EXPAND ^7386 5$#MAX_PRAGMA_LEN -^7387 16$#LCLINT_LIBVERSION +^7387 16$#SPLINT_LIBVERSION ^7388 23$#BEFORE_COMMENT_MARKER#AFTER_COMMENT_MARKER *8 (Union tag) ^7390 9625@9626#$!225 @@ -28208,7 +28208,7 @@ ^7554 15670$$$@0#lcllib_isSkipHeader ^7555 10993$$$@0#cppReader_parseExpression *1 (Constant) -^7556 23$#LCLINT_MAINTAINER#CPP_VERSION +^7556 23$#SPLINT_MAINTAINER#CPP_VERSION ^7558 63$#MAXPATHLEN *2 (Enum member) ^7559 10522$#OSD_FILEFOUND#OSD_FILENOTFOUND#OSD_PATHTOOLONG diff --git a/src/lcllib.c b/src/lcllib.c index 9382000..e44132a 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -31,7 +31,7 @@ ** */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "osd.h" @@ -419,7 +419,7 @@ loadLCDFile (FILE *f, cstring name) char buf[BUFLEN]; /* - ** Check version. Should be >= LCLINT_LIBVERSION + ** Check version. Should be >= SPLINT_LIBVERSION */ if (reader_readLine (f, buf, BUFLEN) == NULL @@ -442,7 +442,7 @@ loadLCDFile (FILE *f, cstring name) { loadllmsg (message ("Load library %s is in obsolete Splint library format. Attempting " "to continue anyway, but results may be incorrect. Rebuild " - "the library with this version of lclint.", + "the library with this version of splint.", name)); } else @@ -459,7 +459,7 @@ loadLCDFile (FILE *f, cstring name) } else { - if ((LCLINT_LIBVERSION - version) >= FLT_EPSILON) + if ((SPLINT_LIBVERSION - version) >= FLT_EPSILON) { cstring vname; char *nl = strchr (buf, '\n'); @@ -468,10 +468,10 @@ loadLCDFile (FILE *f, cstring name) vname = cstring_fromChars (buf + 9); - loadllmsg (message ("Load library %s is in obsolete LCLint library " + loadllmsg (message ("Load library %s is in obsolete Splint library " "format (version %s). Attempting " "to continue anyway, but results may be incorrect. Rebuild " - "the library with this version of lclint.", + "the library with this version of splint.", name, vname)); } else diff --git a/src/lclscan.c b/src/lclscan.c index f759a7c..772564c 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -42,7 +42,7 @@ ** yet implemented in this version). */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /*@-redecl@*/ /* from llgrammar.y */ diff --git a/src/lclscanline.c b/src/lclscanline.c index 5f8b028..b249e99 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -49,7 +49,7 @@ */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "gram.h" # include "lclscan.h" diff --git a/src/lclsyntable.c b/src/lclsyntable.c index 43a968b..dc02928 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -37,7 +37,7 @@ ** CREATION DATE: 90.08.10 */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "lcltokentable.h" # include "lclsyntable.h" diff --git a/src/lcltokentable.c b/src/lcltokentable.c index 925bebd..034f3d5 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -28,7 +28,7 @@ ** This table stores predefined tokens for LCL. */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "lcltokentable.h" diff --git a/src/letDeclNodeList.c b/src/letDeclNodeList.c index 29fd4f0..c82d3f7 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /*@only@*/ letDeclNodeList diff --git a/src/lh.c b/src/lh.c index d94c3fb..fc34fad 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -39,7 +39,7 @@ ** The lh.c module controls formatting policy. */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "osd.h" # include "lh.h" diff --git a/src/llerror.c b/src/llerror.c index dd66d54..34e43cb 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -27,7 +27,7 @@ ** error reporting procedures */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include # include # include "llbasic.h" @@ -88,7 +88,7 @@ static void printBugReport (void) { fprintf (stderr, " *** Please report bug to %s ***\n", - LCLINT_MAINTAINER); + SPLINT_MAINTAINER); llflush (); /* don't exit (EXIT_FAILURE); */ } @@ -1827,7 +1827,7 @@ void llparseerror (cstring s) llfatalerror (message ("%q: %s (For help on parse errors, " - "see lclint -help parseerrors.)", + "see splint -help parseerrors.)", fileloc_unparse (g_currentloc), msg)); } } diff --git a/src/llgrammar.c.der b/src/llgrammar.c.der index 3a01c20..01338b6 100644 --- a/src/llgrammar.c.der +++ b/src/llgrammar.c.der @@ -200,7 +200,7 @@ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "lclscan.h" # include "checking.h" diff --git a/src/llgrammar.y b/src/llgrammar.y index 6ee48b0..b61d9ff 100644 --- a/src/llgrammar.y +++ b/src/llgrammar.y @@ -1,6 +1,6 @@ /*;-*-C-*-; ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2001 University of Virginia, +** Copyright (C) 1994-2002 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it @@ -17,8 +17,8 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -26,7 +26,7 @@ */ %{ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "lclscan.h" # include "checking.h" diff --git a/src/llmain.c b/src/llmain.c index 00ce04b..195cafa 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -48,7 +48,7 @@ # include # endif -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "osd.h" @@ -616,7 +616,7 @@ static void addXHFile (fileIdList files, /*@temp@*/ cstring s) } /* -** Disable MSVC++ warning about return value. Methinks humbly lclint control +** Disable MSVC++ warning about return value. Methinks humbly splint control ** comments are a mite more legible. */ @@ -846,7 +846,7 @@ int main (int argc, char *argv[]) readhomerc = readOptionsFile (homename, &passThroughArgs, FALSE); /* - ** Try ~/.lclintrc also for historical accuracy + ** Try ~/.splintrc also for historical accuracy */ altname = message ("%s%h%s", home, CONNECTCHAR, @@ -1803,7 +1803,7 @@ printParseErrors (void) llmsglit ("Parse Errors"); llmsglit ("------------"); llmsglit (""); - llmsglit ("LCLint will sometimes encounter a parse error for code that " + llmsglit ("Splint will sometimes encounter a parse error for code that " "can be parsed with a local compiler. There are a few likely " "causes for this and a number of techniques that can be used " "to work around the problem."); @@ -1839,12 +1839,12 @@ printParseErrors (void) "header files."); llmsglit (""); llmsglit ("Otherwise, you may need to either manually define the problematic " - "type (e.g., add -Dmlink_t=int to your .lclintrc file) or force " - "lclint to process the header file that defines it. This is done " + "type (e.g., add -Dmlink_t=int to your .splintrc file) or force " + "splint to process the header file that defines it. This is done " "by setting -skipansiheaders or -skipposixheaders before " "the file that defines the type is #include'd."); - llmsglit ("(See lclint -help " - "skipansiheaders and lclint -help skipposixheaders for a list of " + llmsglit ("(See splint -help " + "skipansiheaders and splint -help skipposixheaders for a list of " "standard headers.) For example, if uses a type " "defined by posix header but not defined by the " "posix library, we might do: "); @@ -2044,15 +2044,15 @@ printFlags (void) llmsglit ("Flag Categories"); llmsglit ("---------------"); listAllCategories (); - llmsglit ("\nTo see the flags in a flag category, do\n lclint -help flags "); - llmsglit ("To see a list of all flags in alphabetical order, do\n lclint -help flags alpha"); - llmsglit ("To see a full description of all flags, do\n lclint -help flags full"); + llmsglit ("\nTo see the flags in a flag category, do\n splint -help flags "); + llmsglit ("To see a list of all flags in alphabetical order, do\n splint -help flags alpha"); + llmsglit ("To see a full description of all flags, do\n splint -help flags full"); } void printMaintainer (void) { - llmsg (message ("Maintainer: %s", cstring_makeLiteralTemp (LCLINT_MAINTAINER))); + llmsg (message ("Maintainer: %s", cstring_makeLiteralTemp (SPLINT_MAINTAINER))); llmsglit (LCL_COMPILE); } @@ -2072,7 +2072,7 @@ printMail (void) llmsglit (""); llmsglit (" lclint-interest@virginia.edu"); llmsglit (""); - llmsglit (" Informal discussions on the use and development of lclint."); + llmsglit (" Informal discussions on the use and development of Splint."); llmsglit (" To subscribe, send a message to majordomo@virginia.edu with body: "); llmsglit (" subscribe lclint-interest"); } @@ -2184,7 +2184,7 @@ interrupt (int i) cstring_toCharsSafe (loc)); cstring_free (loc); printCodePoint (); - fprintf (stderr, "*** Please report bug to %s\n", LCLINT_MAINTAINER); + fprintf (stderr, "*** Please report bug to %s\n", SPLINT_MAINTAINER); exit (LLGIVEUP); } default: @@ -2194,7 +2194,7 @@ interrupt (int i) cstring_toCharsSafe (fileloc_unparse (g_currentloc))); /*@=mustfree@*/ printCodePoint (); - fprintf (stderr, "*** Please report bug to %s ***\n", LCLINT_MAINTAINER); + fprintf (stderr, "*** Please report bug to %s ***\n", SPLINT_MAINTAINER); exit (LLGIVEUP); } } diff --git a/src/lltok.c b/src/lltok.c index ee7a2b6..a6c4abe 100644 --- a/src/lltok.c +++ b/src/lltok.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** lltok.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "cgrammar.h" diff --git a/src/loopHeuristics.c b/src/loopHeuristics.c index f910e18..e722e45 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ @@ -33,7 +33,7 @@ /* #define DEBUGPRINT 1 */ # include /* for isdigit */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "cgrammar.h" # include "cgrammar_tokens.h" diff --git a/src/lslOpList.c b/src/lslOpList.c index 76e456c..4266667 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /*@only@*/ lslOpList diff --git a/src/lslOpSet.c b/src/lslOpSet.c index c0d923d..f28982f 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ @@ -30,7 +30,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "checking.h" /* for lslOp_equal */ diff --git a/src/lslinit.c b/src/lslinit.c index 82ebe6d..bced7f6 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -27,7 +27,7 @@ ** Processor for Larch Shared Language Init Files */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "signature.h" # include "signature2.h" @@ -1324,7 +1324,7 @@ ProcessExtensionChar (void) /* Can only have one extension char. Release old one. */ lsetCharClass (firstChar, CHC_EXTENSION); - /* this is a (bogus) type bug! caught by lclint */ + /* this is a (bogus) type bug! caught by splint */ /* lsetCharClass (currentExtensionChar, SINGLECHAR); */ lsetCharClass ((char) currentExtensionChar, SINGLECHAR); diff --git a/src/lslparse.c b/src/lslparse.c index 5accf5f..d0839a1 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -31,7 +31,7 @@ ** Massachusetts Institute of Technology */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "lclscan.h" # include "signature.h" diff --git a/src/lsymbol.c b/src/lsymbol.c index 24d9e7f..9ee3af0 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -69,7 +69,7 @@ ** {n} Who at Where -- yy.mm.dd -- what */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" /*@+ignorequals@*/ diff --git a/src/lsymbolList.c b/src/lsymbolList.c index ba70af9..1f6fca4 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /*@only@*/ lsymbolList diff --git a/src/lsymbolSet.c b/src/lsymbolSet.c index 6a756ab..064cc2d 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" lsymbolSet lsymbolSet_new () diff --git a/src/ltoken.c b/src/ltoken.c index 3b0aa29..8106a24 100644 --- a/src/ltoken.c +++ b/src/ltoken.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** ltoken.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "llgrammar.h" # include "scanline.h" diff --git a/src/ltokenList.c b/src/ltokenList.c index 69535d9..aec0a82 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /*@notnull@*/ /*@only@*/ ltokenList diff --git a/src/macrocache.c b/src/macrocache.c index 8590c0a..38db652 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "llmain.h" diff --git a/src/mapping.c b/src/mapping.c index 2c8bedc..5b29e3a 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -31,7 +31,7 @@ ** Massachusetts Institute of Technology */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /*@constant int MAPPING_SIZE; @*/ diff --git a/src/message.c b/src/message.c index 45fa6fe..5749560 100644 --- a/src/message.c +++ b/src/message.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** message.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" /* patch for linux? solaris? */ diff --git a/src/messageLog.c b/src/messageLog.c index 16bfeb4..f0fe9b2 100644 --- a/src/messageLog.c +++ b/src/messageLog.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** messageLog.c (from slist_template.c) */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" /*@only@*/ messageLog diff --git a/src/metaStateConstraint.c b/src/metaStateConstraint.c index aa463e8..4394af3 100644 --- a/src/metaStateConstraint.c +++ b/src/metaStateConstraint.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** metaStateConstraint.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" metaStateConstraint diff --git a/src/metaStateConstraintList.c b/src/metaStateConstraintList.c index 940679a..dcf2613 100644 --- a/src/metaStateConstraintList.c +++ b/src/metaStateConstraintList.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** metaStateConstraintList.c (from slist_template.c) */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "metaStateConstraintList.h" diff --git a/src/metaStateExpression.c b/src/metaStateExpression.c index 89da585..d0b05a5 100644 --- a/src/metaStateExpression.c +++ b/src/metaStateExpression.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** metaStateExpression.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" metaStateExpression diff --git a/src/metaStateInfo.c b/src/metaStateInfo.c index 074cc74..9851bf6 100644 --- a/src/metaStateInfo.c +++ b/src/metaStateInfo.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** metaStateInfo.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" /*@notnull@*/ metaStateInfo diff --git a/src/metaStateSpecifier.c b/src/metaStateSpecifier.c index d88c568..6d879ac 100644 --- a/src/metaStateSpecifier.c +++ b/src/metaStateSpecifier.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** metaStateSpecifier.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" metaStateSpecifier diff --git a/src/metaStateTable.c b/src/metaStateTable.c index cb3bb74..81fea8e 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -26,7 +26,7 @@ ** Based on genericTable.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "randomNumbers.h" diff --git a/src/modifiesClause.c b/src/modifiesClause.c index d9eb791..abd8d82 100644 --- a/src/modifiesClause.c +++ b/src/modifiesClause.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** modifiesClause.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" extern modifiesClause diff --git a/src/mtAnnotationDecl.c b/src/mtAnnotationDecl.c index 38cd0f7..7356455 100644 --- a/src/mtAnnotationDecl.c +++ b/src/mtAnnotationDecl.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** mtAnnotationDecl.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" extern mtAnnotationDecl mtAnnotationDecl_create (mttok id, mtContextNode c, mttok value) diff --git a/src/mtAnnotationList.c b/src/mtAnnotationList.c index 3903495..0f4b601 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" mtAnnotationList diff --git a/src/mtAnnotationsNode.c b/src/mtAnnotationsNode.c index 9f89ef5..2560655 100644 --- a/src/mtAnnotationsNode.c +++ b/src/mtAnnotationsNode.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** mtAnnotationsNode.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" extern mtAnnotationsNode mtAnnotationsNode_create (mtAnnotationList annots) diff --git a/src/mtContextNode.c b/src/mtContextNode.c index c0ad120..ccac6f0 100644 --- a/src/mtContextNode.c +++ b/src/mtContextNode.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** mtContextNode.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" static bool mtContextNode_matchesType (mtContextNode, ctype) /*@*/ ; diff --git a/src/mtDeclarationNode.c b/src/mtDeclarationNode.c index bc3a1de..b07f3e6 100644 --- a/src/mtDeclarationNode.c +++ b/src/mtDeclarationNode.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** mtDeclarationNode.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" extern mtDeclarationNode mtDeclarationNode_create (mttok name, mtDeclarationPieces pieces) /*@*/ @@ -86,7 +86,7 @@ extern void mtDeclarationNode_process (mtDeclarationNode node, bool isglobal) mvals = mtValuesNode_getValues (mtv); } - /*@-usedef@*/ /*@i34 lclint should figure this out... */ + /*@-usedef@*/ /*@i34 splint should figure this out... */ nvalues = cstringList_size (mvals); /*@=usedef@*/ diff --git a/src/mtDeclarationPiece.c b/src/mtDeclarationPiece.c index db259ca..2aebdc3 100644 --- a/src/mtDeclarationPiece.c +++ b/src/mtDeclarationPiece.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** mtDeclarationPiece.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" static mtDeclarationPiece diff --git a/src/mtDeclarationPieces.c b/src/mtDeclarationPieces.c index a8b2051..a91751b 100644 --- a/src/mtDeclarationPieces.c +++ b/src/mtDeclarationPieces.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** mtDeclarationPieces.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" extern mtDeclarationPieces mtDeclarationPieces_create (void) /*@*/ diff --git a/src/mtDefaultsDecl.c b/src/mtDefaultsDecl.c index 8eedb83..101a4d2 100644 --- a/src/mtDefaultsDecl.c +++ b/src/mtDefaultsDecl.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** mtDefaultsDecl.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" extern mtDefaultsDecl diff --git a/src/mtDefaultsDeclList.c b/src/mtDefaultsDeclList.c index 0f0fa44..062c4d3 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" mtDefaultsDeclList diff --git a/src/mtDefaultsNode.c b/src/mtDefaultsNode.c index 8de9b6c..332046b 100644 --- a/src/mtDefaultsNode.c +++ b/src/mtDefaultsNode.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** mtDefaultsNode.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" extern mtDefaultsNode mtDefaultsNode_create (mttok t, mtDefaultsDeclList decls) diff --git a/src/mtLoseReference.c b/src/mtLoseReference.c index 53c49f9..1baca49 100644 --- a/src/mtLoseReference.c +++ b/src/mtLoseReference.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** mtLoseReference.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" extern mtLoseReference mtLoseReference_create (mttok fromname, mtTransferAction action) diff --git a/src/mtLoseReferenceList.c b/src/mtLoseReferenceList.c index 1b194c6..d822e01 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" mtLoseReferenceList diff --git a/src/mtMergeClause.c b/src/mtMergeClause.c index 18faf79..8a25efb 100644 --- a/src/mtMergeClause.c +++ b/src/mtMergeClause.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** mtMergeClause.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" extern mtMergeClause diff --git a/src/mtMergeClauseList.c b/src/mtMergeClauseList.c index 6b7c0b4..9c404b4 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" mtMergeClauseList diff --git a/src/mtMergeItem.c b/src/mtMergeItem.c index b688d17..405b020 100644 --- a/src/mtMergeItem.c +++ b/src/mtMergeItem.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** mtMergeItem.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" extern mtMergeItem mtMergeItem_createValue (mttok value) diff --git a/src/mtMergeNode.c b/src/mtMergeNode.c index 4299ad4..7424c2f 100644 --- a/src/mtMergeNode.c +++ b/src/mtMergeNode.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** mtMergeNode.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" extern mtMergeNode mtMergeNode_create (mtMergeClauseList mlist) diff --git a/src/mtTransferAction.c b/src/mtTransferAction.c index 4994706..6b1766d 100644 --- a/src/mtTransferAction.c +++ b/src/mtTransferAction.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** mtTransferAction.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" extern mtTransferAction mtTransferAction_createValue (mttok value) diff --git a/src/mtTransferClause.c b/src/mtTransferClause.c index c4f7244..10a760e 100644 --- a/src/mtTransferClause.c +++ b/src/mtTransferClause.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** mtTransferClause.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" extern mtTransferClause mtTransferClause_create (mttok fromname, mttok toname, mtTransferAction action) diff --git a/src/mtTransferClauseList.c b/src/mtTransferClauseList.c index 3cf0c45..ecbd323 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" mtTransferClauseList diff --git a/src/mtValuesNode.c b/src/mtValuesNode.c index ab74989..230b3a3 100644 --- a/src/mtValuesNode.c +++ b/src/mtValuesNode.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** mtValuesNode.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" extern mtValuesNode mtValuesNode_create (cstringList values) diff --git a/src/mtgrammar.c b/src/mtgrammar.c index 1e124aa..940df59 100644 --- a/src/mtgrammar.c +++ b/src/mtgrammar.c @@ -113,7 +113,7 @@ # include "bison.reset" -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # ifndef S_SPLINT_S @@ -265,16 +265,16 @@ static const short yyrhs[] = { -1, #if YYDEBUG != 0 static const short yyrline[] = { 0, - 152, 153, 156, 158, 162, 166, 167, 171, 172, 173, - 174, 175, 176, 177, 178, 179, 180, 183, 187, 188, - 191, 192, 193, 194, 195, 196, 203, 204, 207, 208, - 211, 212, 216, 219, 220, 224, 225, 226, 229, 230, - 231, 232, 235, 236, 239, 240, 243, 244, 245, 252, - 253, 254, 255, 256, 257, 258, 259, 260, 261, 267, - 270, 273, 274, 278, 281, 284, 286, 290, 293, 294, - 298, 302, 305, 306, 309, 313, 314, 317, 320, 323, - 326, 329, 330, 333, 336, 337, 340, 344, 345, 348, - 349, 352 + 157, 158, 161, 163, 167, 171, 172, 176, 177, 178, + 179, 180, 181, 182, 183, 184, 185, 188, 192, 193, + 196, 197, 198, 199, 200, 201, 208, 209, 212, 213, + 216, 217, 221, 224, 225, 229, 230, 231, 234, 235, + 236, 237, 240, 241, 244, 245, 248, 249, 250, 257, + 258, 259, 260, 261, 262, 263, 264, 265, 266, 272, + 275, 278, 279, 283, 286, 289, 291, 295, 298, 299, + 303, 307, 310, 311, 314, 318, 319, 322, 325, 328, + 331, 334, 335, 338, 341, 342, 345, 349, 350, 353, + 354, 357 }; #endif diff --git a/src/mtgrammar.c.der b/src/mtgrammar.c.der index 1e124aa..940df59 100644 --- a/src/mtgrammar.c.der +++ b/src/mtgrammar.c.der @@ -113,7 +113,7 @@ # include "bison.reset" -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # ifndef S_SPLINT_S @@ -265,16 +265,16 @@ static const short yyrhs[] = { -1, #if YYDEBUG != 0 static const short yyrline[] = { 0, - 152, 153, 156, 158, 162, 166, 167, 171, 172, 173, - 174, 175, 176, 177, 178, 179, 180, 183, 187, 188, - 191, 192, 193, 194, 195, 196, 203, 204, 207, 208, - 211, 212, 216, 219, 220, 224, 225, 226, 229, 230, - 231, 232, 235, 236, 239, 240, 243, 244, 245, 252, - 253, 254, 255, 256, 257, 258, 259, 260, 261, 267, - 270, 273, 274, 278, 281, 284, 286, 290, 293, 294, - 298, 302, 305, 306, 309, 313, 314, 317, 320, 323, - 326, 329, 330, 333, 336, 337, 340, 344, 345, 348, - 349, 352 + 157, 158, 161, 163, 167, 171, 172, 176, 177, 178, + 179, 180, 181, 182, 183, 184, 185, 188, 192, 193, + 196, 197, 198, 199, 200, 201, 208, 209, 212, 213, + 216, 217, 221, 224, 225, 229, 230, 231, 234, 235, + 236, 237, 240, 241, 244, 245, 248, 249, 250, 257, + 258, 259, 260, 261, 262, 263, 264, 265, 266, 272, + 275, 278, 279, 283, 286, 289, 291, 295, 298, 299, + 303, 307, 310, 311, 314, 318, 319, 322, 325, 328, + 331, 334, 335, 338, 341, 342, 345, 349, 350, 353, + 354, 357 }; #endif diff --git a/src/mtgrammar.y b/src/mtgrammar.y index 5defaa5..5c90ea4 100644 --- a/src/mtgrammar.y +++ b/src/mtgrammar.y @@ -1,20 +1,25 @@ /*;-*-C-*-; -** Copyright (c) Massachusetts Institute of Technology 1994-1998. -** All Rights Reserved. -** Unpublished rights reserved under the copyright laws of -** the United States. +** Splint - annotation-assisted static program checker +** Copyright (C) 1994-2002 University of Virginia, +** Massachusetts Institute of Technology ** -** THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED -** OR IMPLIED. ANY USE IS AT YOUR OWN RISK. +** This program is free software; you can redistribute it and/or modify it +** under the terms of the GNU General Public License as published by the +** Free Software Foundation; either version 2 of the License, or (at your +** option) any later version. +** +** This program is distributed in the hope that it will be useful, but +** WITHOUT ANY WARRANTY; without even the implied warranty of +** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU +** General Public License for more details. +** +** The GNU General Public License is available from http://www.gnu.org/ or +** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, +** MA 02111-1307, USA. ** -** This code is distributed freely and may be used freely under the -** following conditions: -** -** 1. This notice may not be removed or altered. -** -** 2. Works derived from this code are not distributed for -** commercial gain without explicit permission from MIT -** (for permission contact lclint-request@sds.lcs.mit.edu). +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu +** For more information: http://www.splint.org */ /* ** mtgrammar.y @@ -25,7 +30,7 @@ %{ # include "bison.reset" -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # ifndef S_SPLINT_S diff --git a/src/mtreader.c b/src/mtreader.c index e31264c..b63f909 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -27,7 +27,7 @@ ** Controls reading of .mts files. */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "mtgrammar.h" # include "mtscanner.h" diff --git a/src/mtscanner.c b/src/mtscanner.c index 012d35f..e377938 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** generator tools one day... */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "mtgrammar.h" # include "mtscanner.h" diff --git a/src/mttok.c b/src/mttok.c index ef1820e..06deb68 100644 --- a/src/mttok.c +++ b/src/mttok.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** mttok.c - based on lltok.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "mtgrammar.h" diff --git a/src/multiVal.c b/src/multiVal.c index e00b9a9..db295eb 100644 --- a/src/multiVal.c +++ b/src/multiVal.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** multiVal.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" /*@only@*/ multiVal multiVal_unknown () diff --git a/src/nameChecks.c b/src/nameChecks.c index d7a80f9..b9e1a33 100644 --- a/src/nameChecks.c +++ b/src/nameChecks.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** nameChecks.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "nameChecks.h" @@ -1150,7 +1150,7 @@ checkCppName (uentry ue) static ob_mstring cppNames[NCPPNAMES] = { "and", "and_eq", "asm", - "bitand", "bitor", "bool", /* gasp: "bool", is special for lclint */ + "bitand", "bitor", "bool", /* gasp: "bool", is special for splint */ "catch", "class", "compl", "const_class", "delete", "dynamic_cast", "false", "friend", "inline", "mutable", "namespace", "new", diff --git a/src/osd.c b/src/osd.c index 15a5f2b..fc98d9a 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -55,7 +55,7 @@ /*@end@*/ /*@=allmacros*/ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "osd.h" # include "portab.h" @@ -1015,7 +1015,7 @@ cstring osd_outputPath (cstring filename) return cstring_makeLiteral ("."); else { - /*@i324 ! lclint didn't report an errors for: return ++path_p; */ + /*@i324 ! splint didn't report an errors for: return ++path_p; */ return cstring_fromCharsNew (++path_p); } } diff --git a/src/pairNodeList.c b/src/pairNodeList.c index e2f8445..d4fe8f3 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /*@only@*/ pairNodeList diff --git a/src/paramNodeList.c b/src/paramNodeList.c index fa1db6b..72a4d07 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /*@only@*/ paramNodeList diff --git a/src/programNodeList.c b/src/programNodeList.c index 9fb5a2c..b73f857 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /*@only@*/ programNodeList diff --git a/src/qtype.c b/src/qtype.c index 5bdc866..bcb2bff 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -28,7 +28,7 @@ ** qtypes are mutable */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" /*@notnull@*/ qtype qtype_create (ctype c) diff --git a/src/qual.c b/src/qual.c index c46230f..8816779 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -27,7 +27,7 @@ ** representation of type qualifiers */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" static qual qual_createPlainAux (int i) diff --git a/src/qualList.c b/src/qualList.c index fcf8ee6..8b51286 100644 --- a/src/qualList.c +++ b/src/qualList.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** qualList.c (from slist_template.c) */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" qualList diff --git a/src/quantifierNodeList.c b/src/quantifierNodeList.c index 2bc65a6..4a98948 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /*@only@*/ quantifierNodeList diff --git a/src/randomNumbers.c b/src/randomNumbers.c index ba9a16f..e9c35a0 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* diff --git a/src/rangeTable.c b/src/rangeTable.c deleted file mode 100644 index 0b67c72..0000000 --- a/src/rangeTable.c +++ /dev/null @@ -1,829 +0,0 @@ -/* -** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2000 University of Virginia, -** Massachusetts Institute of Technology -** -** This program is free software; you can redistribute it and/or modify it -** under the terms of the GNU General Public License as published by the -** Free Software Foundation; either version 2 of the License, or (at your -** option) any later version. -** -** This program is distributed in the hope that it will be useful, but -** WITHOUT ANY WARRANTY; without even the implied warranty of -** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -** General Public License for more details. -** -** The GNU General Public License is available from http://www.gnu.org/ or -** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, -** MA 02111-1307, USA. -** -** For information on lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu -** For more information: http://www.splint.org -*/ -/* -** rangeTable.c -*/ - -# include "lclintMacros.nf" -# include "basic.h" - -/*@constant int ATINVALID; @*/ -# define ATINVALID -1 - -static sRefSet - rangeTable_canRangeAux (rangeTable p_s, sRef p_sr, int p_lim) /*@*/ ; -static sRefSet - rangeTable_aliasedByLimit (rangeTable p_s, sRef p_sr, int p_lim) /*@*/ ; -static sRefSet - rangeTable_aliasedByAux (rangeTable p_s, sRef p_sr, int p_lim) /*@*/ ; - -rangeTable -rangeTable_new () -{ - return (rangeTable_undefined); -} - -static /*@only@*/ /*@notnull@*/ rangeTable -rangeTable_newEmpty (void) -{ - rangeTable s = (rangeTable) dmalloc (sizeof (*s)); - - s->nelements = 0; - s->nspace = rangeTableBASESIZE; - s->keys = (sRef *) dmalloc (sizeof (*s->keys) * rangeTableBASESIZE); - s->values = (sRefSet *) dmalloc (sizeof (*s->values) * rangeTableBASESIZE); - s->ranges = (sRefSet *) dmalloc (sizeof (*s->ranges) * rangeTableBASESIZE); - return (s); -} - -static void -rangeTable_grow (/*@notnull@*/ rangeTable s) -{ - int i; - o_sRefSet *oldvalues = s->values; - sRef *oldkeys = s->keys; - RangeAt *oldranges = s->ranges; - - s->nspace += rangeTableBASESIZE; - - s->values = (sRefSet *) dmalloc (sizeof (*s->values) - * (s->nelements + s->nspace)); - s->keys = (sRef *) dmalloc (sizeof (*s->keys) * (s->nelements + rangeTableBASESIZE)); - - s->ranges = (sRef *) dmalloc (sizeof (*s->ranges) * (s->nelements + rangeTableBASESIZE)); - - - if (s->keys == (sRef *) 0 || s->values == (sRefSet *)0 || s->ranges = (range_At*) 0 ) - { - llfatalerror (cstring_makeLiteral ("rangeTable_grow: out of memory!")); - } - - for (i = 0; i < s->nelements; i++) - { - s->values[i] = oldvalues[i]; - s->keys[i] = oldkeys[i]; - s->ranges[i] = oldranges[i]; - } - - sfree (oldvalues); - sfree (oldkeys); -} - -static int rangeTable_lookupRefs (/*@notnull@*/ rangeTable s, sRef sr) -{ - int i; - - - for (i = 0; i < rangeTable_size (s); i++) - { - if (sRef_same (sr, s->keys[i])) - { - return i; - } - } - - return ATINVALID; -} - -/* -** sr rangees al (and anything al rangees!) -*/ - -rangeTable -rangeTable_addMustRange (/*@returned@*/ rangeTable s, - /*@exposed@*/ sRef sr, - sRef al) -{ - int ind; - sRefSet ss; - - llassert (NORANGE (sr, al)); - - if (rangeTable_isUndefined (s)) - { - s = rangeTable_newEmpty (); - ind = ATINVALID; - } - else - { - ind = rangeTable_lookupRefs (s, sr); - } - - ss = rangeTable_canRange (s, al); - - - if (ind == ATINVALID) - { - if (s->nspace <= 0) { - rangeTable_grow (s); - } - - s->nspace--; - s->keys[s->nelements] = sr; - s->values[s->nelements] = sRefSet_single (al); - ind = s->nelements; - s->nelements++; - } - else - { - s->values[ind] = sRefSet_insert (s->values[ind], al); - } - - s->values[ind] = sRefSet_unionExcept (s->values[ind], ss, s->keys[ind]); - - sRefSet_free (ss); - return s; -} - -static rangeTable - rangeTable_addSet (/*@returned@*/ rangeTable s, - /*@exposed@*/ sRef key, /*@only@*/ sRefSet value) -{ - if (!sRefSet_isEmpty (value)) - { - if (rangeTable_isUndefined (s)) - { - s = rangeTable_newEmpty (); - } - else - { - if (s->nspace <= 0) - { - rangeTable_grow (s); - } - } - - s->nspace--; - s->keys[s->nelements] = key; - s->values[s->nelements] = value; - s->nelements++; - } - else - { - sRefSet_free (value); - } - - return s; -} - -/* -** When rangees are cleared: -** -** o remove all entries for sr -** o replace all rangees for things which range sr with sr's rangees -** -** Clear rangees for sr; if sr is a direct param reference, clear its rangees too. -*/ - -static void rangeTable_clearRangeesAux (/*@notnull@*/ rangeTable p_s, sRef p_sr) - /*@modifies p_s@*/ ; - -void rangeTable_clearRangees (rangeTable s, sRef sr) -{ - if (rangeTable_isUndefined (s)) - { - return; - } - else - { - sRef rb = sRef_getRootBase (sr); - - - if (!sRef_isCvar (sr) && sRef_isLocalVar (rb)) - { - int ind = rangeTable_lookupRefs (s, rb); - - if (ind != ATINVALID) - { - sRefSet al = s->values[ind]; - - - sRefSet_realElements (al, el) - { - - if (sRef_isParam (el)) - { - if (sRef_sameName (el, rb)) - { - sRef fb = sRef_fixBase (sr, el); - - rangeTable_clearRangeesAux (s, fb); - } - } - } end_sRefSet_realElements ; - } - } - - rangeTable_clearRangeesAux (s, sr); - } -} - -static -void rangeTable_clearRangeesAux (/*@notnull@*/ rangeTable s, sRef sr) -{ - int i; - - for (i = 0; i < s->nelements; i++) - { - sRef key = s->keys[i]; - - if (sRef_includedBy (key, sr)) - { - sRefSet_clear (s->values[i]); - } - else - { - (void) sRefSet_deleteBase (s->values[i], sr); - } - } -} - -/* -** returns set of all sRefs that must range sr (but are different from sr) -*/ - -static /*@only@*/ sRefSet rangeTable_rangeedByAux (rangeTable s, sRef sr, int lim) -{ - static bool hadWarning = FALSE; - sRefSet res = sRefSet_undefined; - int i; - - llassert (!sRef_isConj (sr)); - - - if (rangeTable_isUndefined (s) || lim >= RANGESEARCHLIMIT) - { - if (lim >= RANGESEARCHLIMIT && !hadWarning) - { - llquietbug - (message ("Range search limit exceeded, checking %q. " - "This either means there is a variable with at least " - "%d indirections, or there is a bug in Splint.", - sRef_unparse (sr), - RANGESEARCHLIMIT)); - - hadWarning = TRUE; - } - - return sRefSet_undefined; - } - else - { - sRefSet abl; - - if (sRef_isPointer (sr)) - { - abl = rangeTable_rangeedByLimit (s, sRef_getBase (sr), lim); - res = sRefSet_addIndirection (abl); - } - else if (sRef_isAddress (sr)) - { - abl = rangeTable_rangeedByLimit (s, sRef_getBase (sr), lim); - res = sRefSet_removeIndirection (abl); - } - else if (sRef_isField (sr)) - { - abl = rangeTable_rangeedByLimit (s, sRef_getBase (sr), lim); - res = sRefSet_accessField (abl, sRef_getField (sr)); - } - else if (sRef_isArrayFetch (sr)) - { - abl = rangeTable_rangeedByLimit (s, sRef_getBase (sr), lim); - - if (sRef_isIndexKnown (sr)) - { - int idx = sRef_getIndex (sr); - - res = sRefSet_fetchKnown (abl, idx); - } - else - { - res = sRefSet_fetchUnknown (abl); - } - } - else - { - abl = sRefSet_undefined; - } - - sRefSet_free (abl); - } - - for (i = 0; i < s->nelements; i++) - { - sRef elem = s->keys[i]; - - if (!sRef_same (sr, elem)) /* was sameName */ - { - - sRefSet_realElements (s->values[i], current) - { - - if (sRef_similar (sr, current)) - { - res = sRefSet_insert (res, sRef_fixOuterRef (elem)); - /*@innerbreak@*/ break; - } - } end_sRefSet_realElements; - } - } - - return res; -} - -static /*@only@*/ sRefSet rangeTable_rangeedByLimit (rangeTable s, sRef sr, int lim) -{ - sRefSet res; - - - if (sRef_isConj (sr)) - { - res = sRefSet_unionFree (rangeTable_rangeedByLimit (s, sRef_getConjA (sr), lim), - rangeTable_rangeedByLimit (s, sRef_getConjB (sr), lim)); - } - else - { - res = rangeTable_rangeedByAux (s, sr, lim + 1); - } - - return res; -} - -/*@only@*/ sRefSet rangeTable_rangeedBy (rangeTable s, sRef sr) -{ - if (sRef_isConj (sr)) - { - return (sRefSet_unionFree (rangeTable_rangeedBy (s, sRef_getConjA (sr)), - rangeTable_rangeedBy (s, sRef_getConjB (sr)))); - } - - return (rangeTable_rangeedByAux (s, sr, 0)); -} - -/*@only@*/ sRefSet rangeTable_canRange (rangeTable s, sRef sr) -{ - sRefSet res; - - - if (sRef_isConj (sr)) - { - res = sRefSet_unionFree (rangeTable_canRange (s, sRef_getConjA (sr)), - rangeTable_canRange (s, sRef_getConjB (sr))); - } - else - { - res = rangeTable_canRangeAux (s, sr, 0); - } - - return res; -} - -/* -** need to limit the depth of rangeing searches -*/ - -static /*@only@*/ sRefSet rangeTable_canRangeLimit (rangeTable s, sRef sr, int lim) -{ - sRefSet res; - - if (sRef_isConj (sr)) - { - sRefSet a = rangeTable_canRangeLimit (s, sRef_getConjA (sr), lim); - sRefSet b = rangeTable_canRangeLimit (s, sRef_getConjB (sr), lim); - - res = sRefSet_unionFree (a, b); - } - else - { - res = rangeTable_canRangeAux (s, sr, lim + 1); - } - - return res; -} - -static /*@only@*/ sRefSet - rangeTable_canRangeAux (rangeTable s, sRef sr, int lim) -{ - static bool hadWarning = FALSE; - llassert (!sRef_isConj (sr)); - - - if (rangeTable_isUndefined (s) || lim >= RANGESEARCHLIMIT) - { - if (lim >= RANGESEARCHLIMIT && !hadWarning) - { - llquietbug - (message ("Range search limit exceeded, checking %q. " - "This either means there is a variable with at least " - "%d indirections, or there is a bug in Splint.", - sRef_unparse (sr), - RANGESEARCHLIMIT)); - - hadWarning = TRUE; - } - - return sRefSet_undefined; - } - else - { - int ind = rangeTable_lookupRefs (s, sr); - - if (sRef_isPointer (sr) || sRef_isAddress (sr) || sRef_isField (sr) - || sRef_isArrayFetch (sr)) - { - sRef base = sRef_getBase (sr); - sRefSet tmp = rangeTable_canRangeLimit (s, base, lim); - sRefSet ret; - - if (sRef_isPointer (sr)) - { - ret = sRefSet_addIndirection (tmp); - } - else if (sRef_isAddress (sr)) - { - ret = sRefSet_removeIndirection (tmp); - } - else if (sRef_isField (sr)) - { - ret = sRefSet_accessField (tmp, sRef_getField (sr)); - } - else if (sRef_isArrayFetch (sr)) - { - if (sRef_isIndexKnown (sr)) - { - ret = sRefSet_fetchKnown (tmp, sRef_getIndex (sr)); - } - else - { - ret = sRefSet_fetchUnknown (tmp); - } - } - else - { - BADBRANCH; - } - - if (ind != ATINVALID) - { - ret = sRefSet_union (ret, s->values[ind]); - } - - sRefSet_free (tmp); - return ret; - } - - if (ind == ATINVALID) return sRefSet_undefined; - - return sRefSet_newCopy (s->values[ind]); - } -} - -rangeTable rangeTable_copy (rangeTable s) -{ - if (rangeTable_isEmpty (s)) - { - return rangeTable_undefined; - } - else - { - rangeTable t = (rangeTable) dmalloc (sizeof (*s)); - int i; - - t->nelements = s->nelements; - t->nspace = 0; - t->keys = (sRef *) dmalloc (sizeof (*s->keys) * s->nelements); - t->values = (sRefSet *) dmalloc (sizeof (*s->values) * t->nelements); - - for (i = 0; i < s->nelements; i++) - { - t->keys[i] = s->keys[i]; - t->values[i] = sRefSet_newCopy (s->values[i]); - } - - return t; - } -} - -static void -rangeTable_levelPrune (rangeTable s, int lexlevel) -{ - - - if (rangeTable_isEmpty (s)) - { - return; - } - else - { - int i; - int backcount = s->nelements - 1; - - for (i = 0; i <= backcount; i++) - { - sRef key = s->keys[i]; - - if (sRef_lexLevel (key) > lexlevel) - { - int j; - for (j = backcount; j > i; j--) - { - backcount--; - s->nelements--; - s->nspace++; - - if (sRef_lexLevel (s->keys[j]) <= lexlevel) - { - s->keys[i] = s->keys[j]; - s->values[i] = s->values[j]; - sRefSet_levelPrune (s->values[i], lexlevel); - /*@innerbreak@*/ break; - } - } - if (backcount == i) - s->nelements--; - } - else - { - sRefSet_levelPrune (s->values[i], lexlevel); - } - } - } -} - -/* -** levelUnionSeq -** -** like level union, but know that t2 was executed after t1. So if -** t1 has x -> { a, b } and t2 has x -> { a }, then result has x -> { a }. -** -** NOTE: t2 is "only". -*/ - -rangeTable rangeTable_levelUnionSeq (/*@returned@*/ rangeTable t1, - /*@only@*/ rangeTable t2, int level) -{ - if (rangeTable_isUndefined (t2)) - { - return t1; - } - - if (rangeTable_isUndefined (t1)) - { - t1 = rangeTable_newEmpty (); - } - else - { - rangeTable_levelPrune (t1, level); - } - - rangeTable_elements (t2, key, value) - { - if (sRef_lexLevel (key) <= level) - { - int ind = rangeTable_lookupRefs (t1, key); - - sRefSet_levelPrune (value, level); - - if (ind == ATINVALID) - { - /* okay, t2 is killed */ - /*@-exposetrans@*/ /*@-dependenttrans@*/ - t1 = rangeTable_addSet (t1, key, value); - /*@=exposetrans@*/ /*@=dependenttrans@*/ - } - else - { - sRefSet_free (t1->values[ind]); - - /*@-dependenttrans@*/ /* okay, t2 is killed */ - t1->values[ind] = value; - /*@=dependenttrans@*/ - } - } - else - { - /*@-exposetrans@*/ /*@-dependenttrans@*/ - sRefSet_free (value); - /*@=exposetrans@*/ /*@=dependenttrans@*/ - } - - } end_rangeTable_elements; - - sfree (t2->keys); - sfree (t2->values); - sfree (t2); - - return t1; -} - -rangeTable -rangeTable_levelUnion (/*@returned@*/ rangeTable t1, rangeTable t2, int level) -{ - if (rangeTable_isUndefined (t1)) - { - if (rangeTable_isUndefined (t2)) - { - return t1; - } - else - { - t1 = rangeTable_newEmpty (); - } - } - else - { - rangeTable_levelPrune (t1, level); - } - - rangeTable_elements (t2, key, cvalue) - { - sRefSet value = sRefSet_newCopy (cvalue); - - if (sRef_lexLevel (key) <= level) - { - sRefSet_levelPrune (value, level); - - if (sRefSet_size (value) > 0) - { - int ind = rangeTable_lookupRefs (t1, key); - - if (ind == ATINVALID) - { - t1 = rangeTable_addSet (t1, key, value); - } - else - { - t1->values[ind] = sRefSet_union (t1->values[ind], value); - sRefSet_free (value); - } - } - else - { - sRefSet_free (value); - } - } - else - { - sRefSet_free (value); - } - } end_rangeTable_elements; - - return t1; -} - -rangeTable rangeTable_levelUnionNew (rangeTable t1, rangeTable t2, int level) -{ - rangeTable ret = rangeTable_levelUnion (rangeTable_copy (t1), t2, level); - - return ret; -} - -/*@only@*/ cstring -rangeTable_unparse (rangeTable s) -{ - cstring st = cstring_undefined; - - if (rangeTable_isUndefined (s)) return (cstring_makeLiteral ("")); - - rangeTable_elements (s, key, value) - { - st = message ("%q\t%q -> %q\n", st, sRef_unparse (key), - sRefSet_unparse (value)); - } end_rangeTable_elements; - - return st; -} - -/* -** bogus! -*/ - -void -rangeTable_fixSrefs (rangeTable s) -{ - int i; - - if (rangeTable_isUndefined (s)) return; - - for (i = 0; i < s->nelements; i++) - { - sRef old = s->keys[i]; - - if (sRef_isLocalVar (old)) - { - s->keys[i] = uentry_getSref (sRef_getUentry (old)); - } - - sRefSet_fixSrefs (s->values[i]); - } -} - -void -rangeTable_free (/*@only@*/ rangeTable s) -{ - int i; - - if (rangeTable_isUndefined (s)) return; - - for (i = 0; i < s->nelements; i++) - { - sRefSet_free (s->values[i]); - } - - sfree (s->values); - sfree (s->keys); - sfree (s); -} - -void -rangeTable_checkGlobs (rangeTable t) -{ - rangeTable_elements (t, key, value) - { - sRef root = sRef_getRootBase (key); - - if (sRef_isRangeCheckedGlobal (root)) - { - sRefSet_realElements (value, sr) - { - root = sRef_getRootBase (sr); - - if (((sRef_isRangeCheckedGlobal (root) - && !(sRef_similar (root, key))) - || sRef_isAnyParam (root)) - && !sRef_isExposed (root)) - { - if (sRef_isRangeCheckedGlobal (key)) - { - if (!(sRef_isShared (key) - && sRef_isShared (root))) - { - voptgenerror - (FLG_GLOBRANGE, - message - ("Function returns with %q variable %q rangeing %q %q", - cstring_makeLiteral (sRef_isRealGlobal (key) - ? "global" : "file static"), - sRef_unparse (key), - cstring_makeLiteral (sRef_isAnyParam (root) - ? "parameter" : "global"), - sRef_unparse (sr)), - g_currentloc); - } - } - - } - } end_sRefSet_realElements; - } - else if (sRef_isAnyParam (key) || sRef_isAnyParam (root)) - { - sRefSet_realElements (value, sr) - { - root = sRef_getRootBase (sr); - - if (sRef_isRangeCheckedGlobal (root) - && !sRef_isExposed (root) - && !sRef_isDead (key) - && !sRef_isShared (root)) - { - voptgenerror - (FLG_GLOBRANGE, - message ("Function returns with parameter %q rangeing %q %q", - sRef_unparse (key), - cstring_makeLiteral (sRef_isRealGlobal (root) - ? "global" : "file static"), - sRef_unparse (sr)), - g_currentloc); - } - } end_sRefSet_realElements; - } - else - { - ; - } - } end_rangeTable_elements; -} - - - diff --git a/src/reader.c b/src/reader.c index 0b6bcf2..cd63fe9 100644 --- a/src/reader.c +++ b/src/reader.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** reader.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" int reader_getInt (char **s) diff --git a/src/replaceNodeList.c b/src/replaceNodeList.c index 236269f..d2896b9 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /*@only@*/ replaceNodeList diff --git a/src/sRef.c b/src/sRef.c index 9a18b79..3d94f62 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -34,7 +34,7 @@ ** */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "exprChecks.h" # include "transferChecks.h" diff --git a/src/sRefList.c b/src/sRefList.c index 926674e..63fe053 100644 --- a/src/sRefList.c +++ b/src/sRefList.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** sRefList.c (from slist_template.c) */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" sRefList diff --git a/src/sRefSet.c b/src/sRefSet.c index 33a438c..d9bcee2 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" sRefSet diff --git a/src/sRefSetList.c b/src/sRefSetList.c index 09dc86f..8afdb9b 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" static /*@notnull@*/ /*@only@*/ sRefSetList diff --git a/src/sRefTable.c b/src/sRefTable.c index 992598d..82bc3a7 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "sRefTable.h" diff --git a/src/scan.c b/src/scan.c index 1a326e0..9a00372 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -42,7 +42,7 @@ ** yet implemented in this version). */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "signature.h" # include "signature2.h" diff --git a/src/scanline.c b/src/scanline.c index aa5af0b..106a906 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -39,7 +39,7 @@ ** and determine its kind. */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "signature.h" # include "signature2.h" diff --git a/src/shift.c b/src/shift.c index 9e9359f..3dd6f39 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ @@ -34,7 +34,7 @@ ** */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "shift.h" diff --git a/src/sigNodeSet.c b/src/sigNodeSet.c index f13e3af..bb34190 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "intSet.h" diff --git a/src/signature.c.der b/src/signature.c.der index 5e66090..58a9dbb 100644 --- a/src/signature.c.der +++ b/src/signature.c.der @@ -112,7 +112,7 @@ # include -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "lslparse.h" # include "signature.h" @@ -1220,7 +1220,7 @@ void lslerror (char *s) llfatalbug (cstring_makeLiteral ("There has been a problem in the parser with LSL signatures. This is believed to result " - "from a problem with bison v. 1.25. Please try rebuidling LCLint " + "from a problem with bison v. 1.25. Please try rebuidling Splint " "using the pre-compiled grammar files by commenting out the " "BISON= line in the top-level Makefile.")); } diff --git a/src/signature.y b/src/signature.y index 1201d4e..c6f30e7 100644 --- a/src/signature.y +++ b/src/signature.y @@ -1,6 +1,6 @@ /*;-*-C-*-; ** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2001 University of Virginia, +** Copyright (C) 1994-2002 University of Virginia, ** Massachusetts Institute of Technology ** ** This program is free software; you can redistribute it and/or modify it @@ -17,8 +17,8 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -32,7 +32,7 @@ %{ # include -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "lslparse.h" # include "signature.h" @@ -255,7 +255,7 @@ void lslerror (char *s) llfatalbug (cstring_makeLiteral ("There has been a problem in the parser with LSL signatures. This is believed to result " - "from a problem with bison v. 1.25. Please try rebuidling LCLint " + "from a problem with bison v. 1.25. Please try rebuidling Splint " "using the pre-compiled grammar files by commenting out the " "BISON= line in the top-level Makefile.")); } diff --git a/src/sort.c b/src/sort.c index 31fb45b..964f575 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -35,7 +35,7 @@ ** Massachusetts Institute of Technology */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "llgrammar.h" # include "lclscan.h" @@ -2399,7 +2399,9 @@ sort_dump (FILE *f, bool lco) } else { - llcontbug (message ("Invalid sort in sort_dump: sort %d; sortname: %s. This may result from using .lcs files produced by an old version of LCLint. Remove the .lcs files, and rerun Splint.", + llcontbug (message ("Invalid sort in sort_dump: sort %d; sortname: %s. " + "This may result from using .lcs files produced by an old version of Splint. " + "Remove the .lcs files, and rerun Splint.", i, lsymbol_toString (s->name))); fprintf (f, "sort _error_ "); } diff --git a/src/sortList.c b/src/sortList.c index 656b983..740a85e 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /*@only@*/ sortList diff --git a/src/sortSet.c b/src/sortSet.c index 0858b86..4702b4f 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" sortSet sortSet_new () diff --git a/src/sortSetList.c b/src/sortSetList.c index 82c823d..598b076 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /*@only@*/ sortSetList diff --git a/src/source.c b/src/source.c deleted file mode 100644 index fe12ac8..0000000 --- a/src/source.c +++ /dev/null @@ -1,391 +0,0 @@ -/* -** Splint - annotation-assisted static program checker -** Copyright (C) 1994-2000 University of Virginia, -** Massachusetts Institute of Technology -** -** This program is free software; you can redistribute it and/or modify it -** under the terms of the GNU General Public License as published by the -** Free Software Foundation; either version 2 of the License, or (at your -** option) any later version. -** -** This program is distributed in the hope that it will be useful, but -** WITHOUT ANY WARRANTY; without even the implied warranty of -** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU -** General Public License for more details. -** -** The GNU General Public License is available from http://www.gnu.org/ or -** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, -** MA 02111-1307, USA. -** -** For information on lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu -** For more information: http://www.splint.org -*/ -/* -** source.c -** -** Interface to source file abstraction -** -** NOTE: This module is almost identical to the one for LCL. The -** only difference is that a couple of source lines have been -** commented out. -** -** This module has too many dependencies to be in the common -** source area. Any of the solutions that would allow this -** module to be common had its own set of compromises. It -** seemed best and most straightforward to just keep separte -** copies for LSL and LCL. We should examine this again if we -** ever reorganize the module structure. -** -** AUTHORS: -** -** Steve Garland, -** Massachusetts Institute of Technology -** Joe Wild, Technical Languages and Environments, DECspec project -*/ - -# include "lclintMacros.nf" -# include "llbasic.h" -# include "osd.h" -# include "portab.h" - -extern bool -inputStream_close (inputStream s) -{ - if (s->file != NULL) - { - check (fileTable_closeFile (context_fileTable (),s->file) == 0); - s->file = NULL; - return TRUE; - } - - return FALSE; -} - -extern void -inputStream_free (/*@null@*/ /*@only@*/ inputStream s) -{ - if (s != NULL) - { - sfree (s->name); - sfree (s->stringSource); - sfree (s->curLine); - sfree (s); - } -} - -extern /*@only@*/ inputStream - inputStream_create (char *name, char *suffix, bool echo) -{ - char *ps; - inputStream s = (inputStream) dmalloc (sizeof (*s)); - - s->name = (char *) dmalloc (strlen (name) + strlen (suffix) + 1); - s->file = 0; - strcpy (s->name, name); - - ps = strrchr (s->name, CONNECTCHAR); - - if (ps == (char *) 0) - { - ps = s->name; - } - - if (strchr (ps, '.') == NULL) - { - strcat (s->name, suffix); - } - - s->lineNo = 0; - s->charNo = 0; - s->curLine = NULL; - s->echo = echo; - s->fromString = FALSE; - s->stringSource = NULL; - s->stringSourceTail = NULL; - - return s; -} - -extern /*@only@*/ inputStream -inputStream_fromString (char *name, char *str) -{ - inputStream s = (inputStream) dmalloc (sizeof (*s)); - - s->name = mstring_copy (name); - s->stringSource = mstring_copy (str); - s->stringSourceTail = s->stringSource; - s->file = 0; - s->echo = FALSE; - s->fromString = TRUE; - s->lineNo = 0; - s->charNo = 0; - s->curLine = NULL; - - return s; -} - -extern int inputStream_nextChar (inputStream s) -{ - int res = inputStream_peekChar (s); - - if (res != EOF) - { - if (res == '\n') - { - s->curLine = NULL; - s->charNo = 0; - } - else - { - s->charNo++; - } - } - - DPRINTF (("Next char: %c [%d]", res, res)); - return res; -} - -extern int inputStream_peekNChar (inputStream s, int n) - /* Doesn't work across lines! */ -{ - llassert (s->curLine != NULL); - llassert (s->charNo + n < strlen (s->curLine)); - return ((int) s->curLine [s->charNo + n]); -} - -extern int inputStream_peekChar (inputStream s) -{ - if (s->curLine == NULL) - { - s->curLine = NULL; - s->curLine = inputStream_nextLine (s); - s->charNo = 0; - } - - if (s->curLine == NULL) - { - return EOF; - } - - llassert (s->charNo <= strlen (s->curLine)); - - if (s->curLine[s->charNo] == '\0') - { - return '\n'; - } - - return ((int) s->curLine [s->charNo]); -} - -extern /*@dependent@*/ /*@null@*/ -char *inputStream_nextLine (inputStream s) -{ - char *currentLine; - int len; - - llassert (s->curLine == NULL); - s->charNo = 0; - - if (s->fromString) - { - if (s->stringSourceTail == NULL || (strlen (s->stringSourceTail) == 0)) - { - currentLine = 0; - } - else - { - char *c = strchr (s->stringSourceTail, '\n'); - - - /* in case line is terminated not by newline */ - if (c == 0) - { - c = strchr (s->stringSourceTail, '\0'); - } - - len = c - s->stringSourceTail + 1; - - if (len > STUBMAXRECORDSIZE - 2) - { - len = (STUBMAXRECORDSIZE - 2); - } - - currentLine = &(s->buffer)[0]; - strncpy (currentLine, s->stringSourceTail, size_fromInt (len)); - currentLine[len] = '\0'; - s->stringSourceTail += len; - } - - } - else - { - llassert (s->file != NULL); - currentLine = fgets (&(s->buffer)[0], STUBMAXRECORDSIZE, s->file); - } - if (currentLine == 0) - { - strcpy (s->buffer, "*** End of File ***"); - } - else - { - s->lineNo++; - len = strlen (currentLine) - 1; - if (s->buffer[len] == '\n') - { - s->buffer[len] = '\0'; - } - else - { - if (len >= STUBMAXRECORDSIZE - 2) - { - lldiagmsg (message ("Input line too long: %s", - cstring_fromChars (currentLine))); - } - } - } - - /* if (s->echo) slo_echoLine (currentLine); only needed in LCL */ - return currentLine; -} - -extern bool -inputStream_open (inputStream s) -{ - if (s->fromString) - { - /* not an error: tail is dependent */ - s->stringSourceTail = s->stringSource; - return TRUE; - } - - DPRINTF (("Open: %s", s->name)); - s->file = fileTable_openFile (context_fileTable (), s->name, "r"); - return (s->file != 0 || s->fromString); -} - -/* -** requires -** path != NULL \and -** s != NULL \and -** *s.name == filename (*s.name) || filetype (*s.name) -** *s.name consists of a file name and type only (".) -** No path name is included -** -** ensures -** if filefound (*path, *s) then -** result = true \and *s.name = filespec_where_file_found (*path, *s) -** else -** result = false -*/ - -extern bool inputStream_getPath (char *path, inputStream s) -{ - char *returnPath; - filestatus status; /* return status of osd_getEnvPath.*/ - bool rVal; /* return value of this procedure. */ - - /* Check if requires met. */ - if (path == NULL || s == NULL || s->name == NULL) - { - llbugexitlit ("inputStream_getPath: invalid parameter"); - } - - status = osd_getPath (path, s->name, &returnPath); - - if (status == OSD_FILEFOUND) - { /* Should be majority of cases. */ - rVal = TRUE; - - sfree (s->name); - s->name = returnPath; - } - else if (status == OSD_FILENOTFOUND) - { - rVal = FALSE; - } - else if (status == OSD_PATHTOOLONG) - { - rVal = FALSE; - /* Directory and filename are too long. Report error. */ - llbuglit ("soure_getPath: Filename plus directory from search path too long"); - } - else - { - rVal = FALSE; - llbuglit ("inputStream_getPath: invalid return status"); - } - return rVal; -} - -# ifndef NOLCL -char *specFullName (char *specfile, /*@out@*/ char **inpath) -{ - /* extract the path and the specname associated with the given file */ - char *specname = (char *) dmalloc (sizeof (*specname) - * (strlen (specfile) + 9)); - char *ospecname = specname; - char *path = (char *) dmalloc (sizeof (*path) * (strlen (specfile))); - size_t size; - long int i, j; - - /* initialized path to empty string or may have accidental garbage */ - *path = '\0'; - - /*@-mayaliasunique@*/ - strcpy (specname, specfile); - /*@=mayaliasunique@*/ - - /* trim off pathnames in specfile */ - size = strlen (specname); - - for (i = size_toInt (size) - 1; i >= 0; i--) - { - if (specname[i] == CONNECTCHAR) - { - /* strcpy (specname, (char *)specname+i+1); */ - for (j = 0; j <= i; j++) /* include '/' */ - { - path[j] = specname[j]; - } - - path[i + 1] = '\0'; - specname += i + 1; - break; - } - } - - /* - ** also remove .lcl file extension, assume it's the last extension - ** of the file name - */ - - size = strlen (specname); - - for (i = size_toInt (size) - 1; i >= 0; i--) - { - if (specname[i] == '.') - { - specname[i] = '\0'; - break; - } - } - - *inpath = path; - - /* - ** If specname no longer points to the original char, - ** we need to allocate a new pointer and copy the string. - */ - - if (specname != ospecname) { - char *rspecname = (char *) dmalloc (sizeof (*rspecname) * (strlen (specname) + 1)); - strcpy (rspecname, specname); /* evs 2000-05-16: Bug: was ospecname! */ - sfree (ospecname); - return rspecname; - } - - return specname; -} -# endif - diff --git a/src/stDeclNodeList.c b/src/stDeclNodeList.c index 0c6579c..01578bf 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /*@only@*/ stDeclNodeList diff --git a/src/stateClause.c b/src/stateClause.c index a362a64..8d196b9 100644 --- a/src/stateClause.c +++ b/src/stateClause.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** stateClause.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "cgrammar.h" # include "cgrammar_tokens.h" diff --git a/src/stateClauseList.c b/src/stateClauseList.c index f3cbe96..e3c92fc 100644 --- a/src/stateClauseList.c +++ b/src/stateClauseList.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** stateClauseList.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" static /*@notnull@*/ stateClauseList stateClauseList_new (void) diff --git a/src/stateCombinationTable.c b/src/stateCombinationTable.c index 41953eb..2f6f2e8 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -27,7 +27,7 @@ ** A stateCombinationTable is a mapping from keys to value tables. */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /* diff --git a/src/stateInfo.c b/src/stateInfo.c index de7f8f0..033b4a2 100644 --- a/src/stateInfo.c +++ b/src/stateInfo.c @@ -17,12 +17,12 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" void stateInfo_free (/*@only@*/ stateInfo a) diff --git a/src/stateValue.c b/src/stateValue.c index 1530035..3150cfd 100644 --- a/src/stateValue.c +++ b/src/stateValue.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** stateValue.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" extern diff --git a/src/storeRefNodeList.c b/src/storeRefNodeList.c index 5863cb5..ea1119a 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /*@only@*/ storeRefNodeList diff --git a/src/structNames.c b/src/structNames.c index d519152..de1a4b4 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -27,7 +27,7 @@ ** Hacks to fit tags into the same namespace. */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "structNames.h" diff --git a/src/symtable.c b/src/symtable.c index 10f3772..069f518 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -40,7 +40,7 @@ ** 20 January 1991 */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "gram.h" # include "lclscan.h" @@ -1306,7 +1306,7 @@ parseLine (char *line, inputStream srce, mapping map) } else { - /* evans 2001-05-27: detected by lclint after fixing external alias bug. */ + /* evans 2001-05-27: detected by splint after fixing external alias bug. */ if (op->name != NULL) { ltoken_free (op->name->content.opid); diff --git a/src/syntable.c b/src/syntable.c index f550f72..515d465 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -34,7 +34,7 @@ ** J.P. Wild */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "tokentable.h" # include "syntable.h" diff --git a/src/termNodeList.c b/src/termNodeList.c index d69db54..cd4c11b 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" termNodeList termNodeList_new () diff --git a/src/tokentable.c b/src/tokentable.c index 42e0322..4663da5 100644 --- a/src/tokentable.c +++ b/src/tokentable.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** tokentable.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "osd.h" # include "tokentable.h" diff --git a/src/traitRefNodeList.c b/src/traitRefNodeList.c index e9c7e0c..4a2bb2f 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" /*@only@*/ traitRefNodeList diff --git a/src/transferChecks.c b/src/transferChecks.c index 5cff7fd..30f9a98 100644 --- a/src/transferChecks.c +++ b/src/transferChecks.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** transferChecks.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "transferChecks.h" diff --git a/src/typeIdSet.c b/src/typeIdSet.c index e89d3ee..548825d 100644 --- a/src/typeIdSet.c +++ b/src/typeIdSet.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** typeIdSet.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" /*@constant int TISTABLEBASESIZE;@*/ diff --git a/src/typeNameNodeList.c b/src/typeNameNodeList.c index de61730..792ea48 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" typeNameNodeList typeNameNodeList_new () diff --git a/src/uentry.c b/src/uentry.c index f5157be..1deb565 100644 --- a/src/uentry.c +++ b/src/uentry.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** uentry.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "structNames.h" # include "nameChecks.h" @@ -4173,7 +4173,7 @@ uentry_compare (uentry u1, uentry u2) { case KINVALID: case KELIPSMARKER: - /* bug detected by lclint: + /* bug detected by splint: ** uentry.c:753,14: Return value type bool does not match declared type int: TRUE */ return 0; @@ -8539,7 +8539,7 @@ checkFunctionConformance (/*@unique@*/ /*@notnull@*/ uentry old, paramno++; /* - ** Forgot this! detected by lclint: + ** Forgot this! detected by splint: ** uentry.c:1257,15: Suspected infinite loop */ } diff --git a/src/uentryList.c b/src/uentryList.c index fd45247..f0b662c 100644 --- a/src/uentryList.c +++ b/src/uentryList.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** uentryList.c (from slist_template.c) */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" /*@only@*/ /*@notnull@*/ uentryList diff --git a/src/usymIdSet.c b/src/usymIdSet.c index 15f546b..65a4eca 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" usymIdSet diff --git a/src/usymtab.c b/src/usymtab.c index d9073d5..04bd060 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -46,7 +46,7 @@ ** weird C syntax. */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "structNames.h" # include "exprChecks.h" @@ -1897,7 +1897,7 @@ void usymtab_load (FILE *f) { llfatalerror (cstring_makeLiteral - ("Library is in obsolete format. Use lclint +whichlib " + ("Library is in obsolete format. Use splint +whichlib " "to see which library is being loaded.")); } diff --git a/src/usymtab_interface.c b/src/usymtab_interface.c index c3af74c..bd8553c 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -31,7 +31,7 @@ ** */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" # include "gram.h" # include "lclscan.h" diff --git a/src/valueTable.c b/src/valueTable.c index eea0916..092f61f 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -26,7 +26,7 @@ ** Based on genericTable.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" # include "randomNumbers.h" diff --git a/src/varDeclarationNodeList.c b/src/varDeclarationNodeList.c index a971fb0..4e92a2c 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" varDeclarationNodeList varDeclarationNodeList_new () diff --git a/src/varKinds.c b/src/varKinds.c index e811698..bbe0712 100644 --- a/src/varKinds.c +++ b/src/varKinds.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** varKinds.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" alkind alkind_fromInt (int n) diff --git a/src/varNodeList.c b/src/varNodeList.c index 1b4ac36..1e79745 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 lclint: lclint-request@cs.virginia.edu -** To report a bug: lclint-bug@cs.virginia.edu +** For information on splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* @@ -29,7 +29,7 @@ ** where T has T_equal (or change this) and T_unparse */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "llbasic.h" varNodeList varNodeList_new () diff --git a/src/warnClause.c b/src/warnClause.c index cbe2e4d..7455108 100644 --- a/src/warnClause.c +++ b/src/warnClause.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** warnClause.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" static warnClause warnClause_createAux (/*@only@*/ fileloc loc, diff --git a/src/ynm.c b/src/ynm.c index 19d2044..994908f 100644 --- a/src/ynm.c +++ b/src/ynm.c @@ -17,15 +17,15 @@ ** 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 splint: splint@cs.virginia.edu +** To report a bug: splint-bug@cs.virginia.edu ** For more information: http://www.splint.org */ /* ** ynm.c */ -# include "lclintMacros.nf" +# include "splintMacros.nf" # include "basic.h" ynm ynm_fromCodeChar (char c) diff --git a/test/lintcomments.expect b/test/lintcomments.expect index 45bfb19..46dec81 100644 --- a/test/lintcomments.expect +++ b/test/lintcomments.expect @@ -1,18 +1,18 @@ lintcomments.c: (in function f) -lintcomments.c:7:51: Traditional lint comment /*FALLTHROUGH*/ used. This is - interpreted by LCLint in the same way as most Unix lints, but it is - preferable to replace it with the /*@fallthrough@*/ semantic comment -lintcomments.c:8:33: Traditional lint comment /*FALLTHROUGH*/ used. This is - interpreted by LCLint in the same way as most Unix lints, but it is - preferable to replace it with the /*@fallthrough@*/ semantic comment -lintcomments.c:9:30: Traditional lint comment /*FALLTHRU*/ used. This is - interpreted by LCLint in the same way as most Unix lints, but it is - preferable to replace it with the /*@fallthrough@*/ semantic comment +lintcomments.c:7:51: Traditional lint comment /*FALLTHROUGH*/ used. Splint + interprets this in the same way as most Unix lints, but it is preferable to + replace it with the /*@fallthrough@*/ semantic comment +lintcomments.c:8:33: Traditional lint comment /*FALLTHROUGH*/ used. Splint + interprets this in the same way as most Unix lints, but it is preferable to + replace it with the /*@fallthrough@*/ semantic comment +lintcomments.c:9:30: Traditional lint comment /*FALLTHRU*/ used. Splint + interprets this in the same way as most Unix lints, but it is preferable to + replace it with the /*@fallthrough@*/ semantic comment lintcomments.c:11:13: Fall through case (no preceding break) -lintcomments.c:23:21: Traditional lint comment /*NOTREACHED*/ used. This is - interpreted by LCLint in the same way as most Unix lints, but it is - preferable to replace it with the /*@notreached@*/ semantic comment. +lintcomments.c:23:21: Traditional lint comment /*NOTREACHED*/ used. Splint + interprets this in the same way as most Unix lints, but it is preferable to + replace it with the /*@notreached@*/ semantic comment. Finished checking --- 5 code warnings, as expected diff --git a/test/printflike.expect b/test/printflike.expect index 35f0e89..adcd121 100644 --- a/test/printflike.expect +++ b/test/printflike.expect @@ -5,9 +5,9 @@ printflike.c:5:5: Function kprint is marked printflike, but has no elipsis parameter printflike.c:8:5: Function sprint is marked scanflike, but has no elipsis parameter -printflike.c:13:15: Traditional lint comment /*PRINTFLIKE*/ used. This is - interpreted by LCLint in the same way as most Unix lints, but it is - preferable to replace it with either /*@printflike@*/, /*@scanflike@*/ or +printflike.c:13:15: Traditional lint comment /*PRINTFLIKE*/ used. Splint + interprets this in the same way as most Unix lints, but it is preferable to + replace it with either /*@printflike@*/, /*@scanflike@*/ or /*@messagelike@*/. printflike.c:16:35: Multiple special function codes: printflike, messagelike (first code is ignored) diff --git a/test/tests2.2.expect b/test/tests2.2.expect index e50a6f2..5dbeac6 100644 --- a/test/tests2.2.expect +++ b/test/tests2.2.expect @@ -45,7 +45,7 @@ Finished checking --- no warnings Finished checking --- no warnings extension.c:2:18: Parse Error: New function scope inside function. (For help on - parse errors, see lclint -help parseerrors.) + parse errors, see splint -help parseerrors.) *** Cannot continue. Finished checking --- no warnings -- 2.45.2