decl divzero enum enumtag exports external fields flags forbody format freearray \
funcpointer functionmacro glob globals impabstract info init inparam internal iter keep libs \
linked lintcomments list longint loopexec looptesteffect \
- macros macrosef merge mergenull modifies modtest moduncon \
- mongoincludes mystrncat noeffect null observer oldstyle outglob outparam \
+ macros macrosef malloc merge mergenull modifies modtest moduncon \
+ mongoincludes mystrncat noeffect null nullret nullassign numabstract observer oldstyle outglob outparam \
parentype postnotnull preds prefixes printflike rc refcounts release repexpose \
- returned sharing shifts sizesigns slovaknames \
+ returned russian sharing shifts sizesigns slovaknames \
specclauses \
special stack staticarray strings \
stringliteral \
help:
-@$(SPLINT)
- -@LARCH_PATH=/dev/null; $(SPLINT) -nof empty.lcl
-@$(SPLINT) -help
-@$(SPLINTP) -asdf
-@$(SPLINTP) +boolint +boolint
-@$(SPLINT) -help flags alpha
-
#commenting these out for the release because they will almost always fail
#since the default will only fit one system
#Don't want to panic the user...
### Two addition errors detected with 2.5 with -numliteral.
+### evans 2002-12-15: finds one more but in charlit
.PHONY: charlit
charlit:
-$(SPLINTR) +hints charlit.c -expect 4
-$(SPLINTR) +hints -numliteral charlit.c -expect 6
- -$(SPLINTR) +hints charlit.c +charintliteral +ignoresigns
+ -$(SPLINTR) +hints charlit.c +charintliteral +ignoresigns -expect 1
.PHONY: clauses
clauses:
-$(SPLINTR) +hints -controlnestdepth 2 controldepth.c -expect 2
-$(SPLINTR) +hints -controlnestdepth 1 controldepth.c -expect 2
+###
+### 1 extra warning reported for +strict now because of out-of-bounds read
+###
+
.PHONY: compdestroy
compdestroy:
-$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader -expect 1
-$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy -expect 2
-$(SPLINTRN) compdestroy.c +checks -exportlocal -exportheader +strictdestroy +strictusereleased -expect 3
- -$(SPLINTRN) compdestroy.c +strict +partial -exportheader -expect 3
+ -$(SPLINTRN) compdestroy.c +strict +partial -exportheader -expect 4
.PHONY: compoundliterals
compoundliterals:
.PHONY: decl
decl:
-$(SPLINTR) decl.c -expect 2
- -$(SPLINTRN) decl.c +strict -exportlocal -expect 5
+ -$(SPLINTRN) decl.c +strict -exportlocal -expect 6
-$(SPLINTR) decl2 -expect 4
.PHONY: divzero
-$(SPLINTR) macrosef.c +allmacros -expect 3
-$(SPLINTR) macrosef.c +allmacros +sefuncon -expect 4
+.PHONY: malloc
+malloc:
+ -$(SPLINTRN) malloc.c +bounds -exportlocal -expect 7
+
.PHONY: merge
merge:
-$(SPLINTRN) merge.c +checks -exportlocal -exportheadervar -exportheader -expect 3
.PHONY: moduncon
moduncon:
-$(SPLINTR) moduncon.c +moduncon -memchecks -expect 4
- -$(SPLINTRN) moduncon.c +strict -exportlocal -expect 22
+ -$(SPLINTRN) moduncon.c +strict +impboundsconstraints -exportlocal -expect 22
.PHONY: mongoincludes
mongoincludes:
-$(SPLINTR) null1.c -null -mustdefine -expect 4
-$(SPLINTR) null2.c -expect 11
-$(SPLINTR) null3.c -expect 15
- -$(SPLINTR) null3.c -warnunixlib +unixlib -expect 16
+ -$(SPLINTR) null3.c +unixlib -expect 16
-$(SPLINTR) null4.c -expect 1
-$(SPLINTR) null5.c -expect 4
-$(SPLINTR) null6 -expect 4
.PHONY: nullret
nullret:
-$(SPLINTR) nullret.c -expect 2
- -$(SPLINTR) -nullret nullret.c -expect 1
+ -$(SPLINTR) -nullret nullret.c -expect 0
.PHONY: nullassign
nullassign:
-$(SPLINTR) -nullassign nullassign.c -expect 1
+### Added for 3.1 - evans 2002-12-14
+
+.PHONY: numabstract
+numabstract:
+ -$(SPLINTR) numabstract.c -expect 11
+ -$(SPLINTR) numabstract.c +numabstractlit -expect 9
+ -$(SPLINTR) numabstract.c -numabstractcast -expect 10
+
#
# Before 2.4, expected one more because error was reported both as
# dependent and observer.
preds:
-$(SPLINTR) +hints preds.c -expect 6
-$(SPLINTRN) +hints preds.c -weak -expect 1
- -$(SPLINTRN) +hints preds.c -strict -exportlocal -exportheader -expect 12
+ -$(SPLINTRN) +hints preds.c -strict +impboundsconstraints -exportlocal -exportheader -expect 10
.PHONY: prefixes
prefixes:
returned:
${SPLINTR} returned.c -expect 1
+### russian added 2003-06-07: bug reported in pre-processing non-standard characters.
+.PHONY: russian
+russian:
+ ${SPLINTR} russian.c
+
.PHONY: sharing
sharing:
-$(SPLINTR) sharing1.c -expect 21
### evans - added 2002-08-17: check warnings with arbitrary integral types
sizesigns:
- -$(SPLINTR) +strict sizesigns.c
- -$(SPLINTR) +strict +ignoresigns sizesigns.c
- -$(SPLINTR) +strict +matcharbitraryintegral sizesigns.c
- -$(SPLINTR) +strict +matcharbitraryintegral +ignoresigns sizesigns.c
+ -$(SPLINTR) +strict sizesigns.c -expect 5
+ -$(SPLINTR) +strict +matchanyintegral sizesigns.c -expect 4
.PHONY: slovaknames
slovaknames:
./db3/erc.lcl \
./db3/eref.lcl \
./db3/ereftab.lcl \
+ ./db3/README \
+ ./db3/clean \
+ ./db3/tidy \
./tq.lcl \
./ud2.lcl \
./for/.splintrc \
./longconstants.c \
./macros.c \
./macrosef.c \
+ ./malloc.c \
./merge.c \
./modclient.c \
./modifies.c \
./simplebufferConstraintTests/test7.c \
./sizeoftest/sizeof.c \
./sizeoftest/sizeofConst.c \
+ ./sizeoftest/Makefile \
./strchr/strchr.c \
./suppressfile/test.c \
./tainted/sprintf.c \
utypes.expect widestrings.expect widestrings.c \
functionmacro.expect functionmacro.c info.c info.expect \
longint.c loopexec.c looptesteffect.c mergenull.c shifts.c \
+ longint.expect nullret.expect numabstract.expect \
+ sizesigns.expect typeof.expect \
manual.expect ./manual/Makefile \
./manual/annotglobs.c ./manual/bool.c ./manual/bool.h ./manual/clauses.c ./manual/employee.h ./manual/exposure.c ./manual/globals.c ./manual/ignore.c ./manual/implicit.c ./manual/intSet.h ./manual/list.c ./manual/loop.c ./manual/macros.c ./manual/modify.c ./manual/mstring.c ./manual/mstring.h ./manual/mstringnn.c ./manual/multiError.c ./manual/names.c ./manual/noeffect.c ./manual/null.c ./manual/only.c ./manual/order.c ./manual/palindrome.c ./manual/palindrome.h ./manual/refs.c ./manual/returned.c ./manual/rgb.c ./manual/rstring.c ./manual/rstring.h ./manual/sample.c ./manual/setChar.c ./manual/setname.c ./manual/setname.h ./manual/special.c ./manual/stack.c ./manual/sumsquares.c ./manual/switch.c ./manual/testpal.c ./manual/types.c ./manual/unique.c ./manual/usedef.c ./manual/bounds.c \
arraydims.expect arraydims.c \
moreBufferTests2/fixedArrayType.c oldstyle2.c \
divzero.expect parentype.expect \
divzero.c parentype.c \
-stringliteral.expect stringliteral.c
+stringliteral.expect stringliteral.c \
+ numabstract.c sizesigns.c typeof.c nullassign.expect
# sizesigns.c sizesigns.expect \