home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test

Jump To: Directory (27)  |  Text (385)

Directories (27)
Name# Files   Name# Files   Name# Files
conditions4   CVS3   db138
db236   db342   fileio11
for4   globalbufferannotation4   manual45
maxset4   mergestate7   metastate26
moreBufferTests8   moreBufferTests25   nullterminatedtest6
simplebufferConstraintTests6   sizeoftest2   strchr4
suppressfile3   tainted16   tclauses6
temp2   tests2.228   tests2.2a18
tests2.441   tests2.524   warnuse6

Text (385)
NameFormat# LinesSizeDate
abst_t.lcl Text File 4 60b 2000-06-12
abst_t.lcs Text File 132 5KB 2002-02-17
abstptr.c Text File 25 790b 2000-06-12
abstptr.expect Text File 26 1KB 2002-02-13
abstptr.lcl Text File 2 20b 2000-06-12
abstptr.lcs Text File 124 4KB 2002-02-17
abstract.expect Text File 23 1KB 2002-02-13
alias.c Text File 59 1KB 2000-06-12
alias.expect Text File 127 6KB 2002-02-13
alias.lcl Text File 9 120b 2000-06-12
alias.lcs Text File 166 6KB 2002-02-17
alias2.c Text File 65 1KB 2000-06-12
alias2.lcl Text File 6 81b 2000-06-12
alias2.lcs Text File 155 6KB 2002-02-17
alias3.c Text File 68 1KB 2000-06-12
alias3.lcl Text File 14 307b 2001-07-03
alias3.lcs Text File 229 10KB 2002-02-17
alias3.lh Text File 28 478b 2002-02-17
alias4.c Text File 35 522b 2000-06-12
alias4.lcl Text File 11 207b 2000-06-12
alias4.lcs Text File 206 9KB 2002-02-17
alias4.lh Text File 15 269b 2002-02-17
alias5.c Text File 34 658b 2000-06-12
alias5.lcl Text File 10 199b 2000-06-12
alias5.lcs Text File 136 5KB 2002-02-17
alias5.lh Text File 11 307b 2002-02-17
alttypes.c C/C++ Source or Header 26 256b 2000-06-12
alttypes.expect Text File 12 535b 2002-02-13
ansireserved.c Text File 21 283b 2001-07-03
ansireserved.expect Text File 85 5KB 2002-02-13
ansireserved2.c Text File 6 37b 2001-07-03
argorder.c Text File 15 314b 2000-06-12
argorder.expect Text File 87 5KB 2002-02-13
argorder2.c Text File 21 392b 2000-06-12
argorder2.lcl Text File 5 111b 2000-06-12
argorder2.lcs Text File 128 4KB 2002-02-17
argorder3.c Text File 14 226b 2000-06-12
argorder4.c Text File 40 483b 2000-06-12
argorder4.lcl Text File 9 125b 2000-06-12
argorder4.lcs Text File 128 4KB 2002-02-17
argorder5.c C/C++ Source or Header 13 428b 2000-06-12
args.c Text File 80 1KB 2000-06-12
args.expect Text File 28 1KB 2002-02-13
args.lcl Text File 8 219b 2000-06-12
args.lcs Text File 134 5KB 2002-02-17
arraydims.c Text File 14 562b 2002-01-16
arraydims.expect Text File 10 392b 2002-01-16
arrayinit.c Text File 15 781b 2001-10-07
arrayinit.expect Text File 41 2KB 2001-10-07
blocks.c Text File 26 324b 2000-06-12
blocks.expect Text File 65 3KB 2002-02-13
bool.h C/C++ Source or Header 35 637b 2000-08-02
branchstate.c Text File 21 277b 2001-10-06
branchstate.expect Text File 7 207b 2001-10-06
break.c Text File 49 730b 2000-06-12
break.expect Text File 34 2KB 2002-02-13
buffertest.expect Text File 23 885b 2001-12-29
buffertest1.c C/C++ Source or Header 23 200b 2001-10-14
cases.c C/C++ Source or Header 42 769b 2000-06-12
cases.expect Text File 43 2KB 2002-02-13
cases2.c C/C++ Source or Header 41 607b 2000-06-12
cast.c Text File 24 1KB 2000-06-12
cast.expect Text File 41 2KB 2002-02-13
cast.lcl Text File 2 39b 2000-06-12
cast.lcs Text File 128 4KB 2002-02-17
cast2.c Text File 27 464b 2000-06-12
charlit.c Text File 13 129b 2000-06-12
charlit.expect Text File 32 2KB 2002-02-13
clauses.c Text File 25 571b 2000-06-12
clauses.expect Text File 41 2KB 2002-02-13
clauses2.c C/C++ Source or Header 20 207b 2000-06-12
clauses3.c Text File 70 808b 2000-06-12
commentchar.c Text File 16 225b 2000-06-12
commentchar.expect Text File 18 738b 2002-02-13
commentcmd.c Text File 52 2KB 2000-06-12
compdestroy.c Text File 29 398b 2000-06-12
compdestroy.expect Text File 40 2KB 2002-02-13
constannot.c Text File 23 361b 2001-07-24
constannot.expect Text File 20 672b 2002-02-13
controldepth.c Text File 27 349b 2000-06-12
controldepth.expect Text File 17 608b 2002-02-13
csyntax.c C/C++ Source or Header 36 525b 2000-06-12
csyntax.expect Text File 25 954b 2000-08-02
csyntax10.c C/C++ Source or Header 21 158b 2000-06-12
csyntax11.c Text File 8 73b 2000-06-12
csyntax12.c Text File 12 154b 2000-06-12
csyntax13.c Text File 13 116b 2000-06-12
csyntax14.c Text File 13 171b 2000-06-12
csyntax15.c Text File 12 74b 2000-06-12
csyntax16.c C/C++ Source or Header 49 950b 2000-06-12
csyntax17.c C/C++ Source or Header 14 148b 2000-06-12
csyntax2.c Text File 18 217b 2000-06-12
csyntax3.c C/C++ Source or Header 13 85b 2000-06-12
csyntax4.c Text File 13 135b 2000-06-12
csyntax5.c Text File 8 95b 2000-06-12
csyntax6.c Text File 2 20b 2000-06-12
csyntax7.c Text File 4 42b 2000-06-12
csyntax8.c Text File 9 65b 2000-06-12
csyntax9.c C/C++ Source or Header 3 103b 2000-06-12
czechnames.c Text File 39 487b 2000-06-12
czechnames.expect Text File 44 2KB 2002-02-13
czechoslovaknames.c Text File 39 487b 2000-06-12
czechoslovaknames.expect Text File 26 1KB 2002-02-13
db1.expect Text File 657 36KB 2002-02-13
db2.expect Text File 113 6KB 2002-02-13
db2.old-expect Text File 170 8KB 2001-07-03
db3.expect Text File 146 8KB 2002-02-13
deadparam.c C/C++ Source or Header 12 195b 2001-07-03
deadparam.expect Text File 11 438b 2002-02-13
decl.c C/C++ Source or Header 9 127b 2000-06-12
decl.expect Text File 28 1KB 2002-02-13
decl2.c Text File 10 80b 2000-06-12
decl2.h C/C++ Source or Header 5 72b 2000-06-12
decl2.lcl Text File 2 10b 2000-06-12
decl2.lcs Text File 122 4KB 2002-02-17
divzero.c Text File 7 62b 2002-02-05
divzero.expect Text File 3 35b 2002-02-05
dkf5kEnum.c C/C++ Source or Header 32 305b 2001-07-18
dkf5kRange.c C/C++ Source or Header 19 412b 2001-07-18
dkf5kSprintf.c C/C++ Source or Header 12 143b 2001-07-18
empty.lcs Text File 423 19KB 2002-02-16
ensures.c C/C++ Source or Header 39 776b 2001-07-03
enum.c C/C++ Source or Header 65 1KB 2000-06-12
enum.expect Text File 73 4KB 2002-02-13
enum.lcl Text File 8 317b 2000-06-12
enum.lcs Text File 228 9KB 2002-02-17
exports.c Text File 9 76b 2000-06-12
exports.expect Text File 21 759b 2002-02-13
exports.h C/C++ Source or Header 6 66b 2000-06-12
external.c Text File 12 237b 2000-06-12
external.expect Text File 53 3KB 2002-02-13
fields.c C/C++ Source or Header 78 1KB 2000-06-12
fields.expect Text File 45 2KB 2002-02-13
fields2.c C/C++ Source or Header 48 1KB 2000-06-12
fields3.c Text File 41 382b 2000-06-12
fileio.expect Text File 32 1KB 2002-02-13
flags.c Text File 19 231b 2002-02-17
flags.expect Text File 43 1KB 2002-02-13
for.expect Text File 11 285b 2002-02-13
forbody.c Text File 9 186b 2001-07-03
forbody.expect Text File 7 218b 2002-02-13
format.c Text File 8 117b 2001-07-03
format.expect Text File 13 420b 2002-02-13
freearray.c Text File 24 387b 2001-07-03
freearray.expect Text File 7 240b 2002-02-13
funcpointer.c Text File 81 3KB 2000-06-12
funcpointer.expect Text File 33 2KB 2002-02-13
functionmacro.c C/C++ Source or Header 20 247b 2001-12-30
functionmacro.expect Text File 8 279b 2001-12-30
glob.c Text File 29 232b 2000-06-12
glob.expect Text File 32 1KB 2002-02-13
glob.lcl Text File 17 168b 2000-06-12
glob.lcs Text File 130 5KB 2002-02-17
globalbufferannotation.expect Text File 3 35b 2002-02-13
globals.c Text File 23 715b 2000-06-12
globals.expect Text File 62 3KB 2002-02-13
globals2.c C/C++ Source or Header 12 149b 2001-07-03
help.expect Text File 519 17KB 2002-02-13
impabstract.c Text File 18 244b 2001-07-03
impabstract.expect Text File 34 2KB 2002-02-13
impabstract.lcl Text File 3 37b 2001-07-03
impabstract.lcs Text File 126 4KB 2002-02-17
info.c Text File 12 168b 2001-12-30
info.expect Text File 13 501b 2001-12-30
init.c C/C++ Source or Header 17 400b 2000-06-12
init.expect Text File 47 3KB 2002-02-13
innerfree.c C/C++ Source or Header 25 259b 2001-07-03
inparam.c C/C++ Source or Header 15 234b 2001-08-19
inparam.expect Text File 15 481b 2002-02-13
internal.c C/C++ Source or Header 32 522b 2000-06-12
internal.expect Text File 85 4KB 2002-02-13
iter.c Text File 35 720b 2000-06-12
iter.expect Text File 53 3KB 2002-02-13
iter.h Text File 14 409b 2000-06-12
iter.lcl Text File 5 222b 2000-06-12
iter.lcs Text File 120 4KB 2002-02-17
iter2.c Text File 33 600b 2000-06-12
iter2.h Text File 16 463b 2000-06-12
keep.c Text File 67 949b 2000-06-12
keep.expect Text File 21 786b 2002-02-13
libs.c Text File 61 1KB 2000-06-12
libs.expect Text File 197 10KB 2002-02-13
linked.c C/C++ Source or Header 26 422b 2001-07-03
linked.expect Text File 81 4KB 2002-02-13
linked2.c C/C++ Source or Header 26 471b 2001-07-03
linked3.c C/C++ Source or Header 29 503b 2001-07-03
linked4.c C/C++ Source or Header 33 553b 2001-07-03
linked5.c C/C++ Source or Header 33 557b 2001-07-03
linked6.c C/C++ Source or Header 36 597b 2001-07-03
lintcomments.c Text File 29 380b 2002-02-13
lintcomments.expect Text File 31 1KB 2002-02-13
list.c C/C++ Source or Header 42 682b 2001-07-12
list.expect Text File 12 447b 2002-02-13
longconstants.c Text File 5 94b 2001-10-07
longconstants.expect Text File 6 189b 2001-10-07
loopexec.c Text File 36 356b 2002-01-02
loopexec.expect Text File 15 448b 2002-01-02
macros.c Text File 30 1KB 2000-06-12
macros.expect Text File 130 7KB 2002-02-13
macros.lcl Text File 23 550b 2000-06-12
macros.lcs Text File 153 5KB 2002-02-17
macrosef.c Text File 16 209b 2000-06-12
macrosef.expect Text File 35 2KB 2002-02-13
macrosef.lcl Text File 3 58b 2000-06-12
macrosef.lcs Text File 138 5KB 2002-02-17
Makefile Makefile 1,680 52KB 2002-02-13
Makefile.am Makefile 1,507 46KB 2002-02-11
Makefile.in Makefile 1,680 51KB 2002-02-11
Makefile.os2 Makefile 803 23KB 2002-02-16
manual.expect Text File 233 8KB 2002-01-06
maxset.expect Text File 17 576b 2002-02-13
merge.c Text File 56 659b 2000-06-12
merge.expect Text File 12 432b 2002-02-13
mergenull.c C/C++ Source or Header 21 251b 2001-12-30
mergenull.expect Text File 3 35b 2001-12-30
mergestate.expect Text File 26 1KB 2002-02-13
metastate.expect Text File 138 6KB 2002-02-13
minc1.h Text File 5 80b 2000-06-12
minc2.h Text File 4 60b 2000-06-12
minc3.h Text File 3 40b 2000-06-12
minc4.h Text File 2 20b 2000-06-12
minc5.h Text File 2 12b 2000-06-12
modclient.c Text File 8 115b 2000-06-12
modifies.c Text File 38 758b 2000-06-12
modifies.expect Text File 23 1KB 2002-02-13
modifies.h C/C++ Source or Header 5 163b 2000-06-12
modtest.c Text File 38 400b 2000-06-12
modtest.expect Text File 60 3KB 2002-02-13
modtest.lcl Text File 21 335b 2000-06-12
modtest.lcs Text File 175 7KB 2002-02-17
moduncon.c Text File 16 195b 2000-06-12
moduncon.expect Text File 58 3KB 2002-02-13
mongoincludes.c Text File 4 60b 2000-06-12
mongoincludes.expect Text File 125 5KB 2002-02-13
moreBufferTests.expect Text File 46 2KB 2002-02-13
moreBufferTests2.expect Text File 22 725b 2002-02-04
mparen.c Text File 7 60b 2001-07-03
mut.c Text File 19 204b 2000-06-12
mut.h Text File 4 38b 2000-06-12
mut.lcl Text File 6 90b 2000-06-12
mut.lcs Text File 128 4KB 2002-02-17
mut.lh Text File 7 137b 2002-02-17
mut.lh.expect Text File 7 129b 2000-06-12
mystrncat.c C/C++ Source or Header 19 419b 2001-07-24
mystrncat.expect Text File 27 1KB 2002-02-13
noeffect.c Text File 5 189b 2001-07-24
noeffect.expect Text File 14 635b 2002-02-13
null.expect Text File 184 8KB 2002-02-13
null1.c Text File 72 2KB 2002-02-13
null2.c Text File 44 1KB 2000-06-12
null3.c Text File 80 2KB 2000-06-12
null4.c C/C++ Source or Header 48 653b 2000-06-12
null5.c C/C++ Source or Header 39 553b 2000-06-12
null6.c C/C++ Source or Header 86 1KB 2000-06-12
null6.lcd Text File 1,849 32KB 2002-02-17
null6.lcl Text File 1 19b 2000-06-12
null6.lcs Text File 124 4KB 2002-02-17
nullassign.c Text File 6 65b 2001-07-03
nullret.c Text File 8 106b 2001-07-03
nullterminatedtest.expect Text File 23 789b 2000-12-23
observer.c C/C++ Source or Header 52 919b 2001-07-03
observer.expect Text File 58 3KB 2002-02-13
observer.lcl Text File 3 50b 2000-06-12
observer.lcs Text File 126 4KB 2002-02-17
oldstyle.c Text File 23 330b 2001-07-28
oldstyle.expect Text File 15 598b 2002-02-13
oldstyle.lcl Text File 3 71b 2000-06-12
oldstyle.lcs Text File 126 4KB 2002-02-17
oldstyle2.c Text File 32 225b 2002-02-04
outglob.c Text File 60 897b 2001-07-03
outglob.expect Text File 21 930b 2002-02-13
outglob.lcl Text File 8 155b 2000-06-12
outglob.lcs Text File 128 4KB 2002-02-17
outparam.c Text File 53 1KB 2000-06-12
outparam.expect Text File 21 912b 2002-02-13
outparam.lcl Text File 7 151b 2000-06-12
outparam.lcs Text File 168 6KB 2002-02-17
parentype.c Text File 9 93b 2002-02-10
parentype.expect Text File 3 35b 2002-02-10
pivo.h Text File 2 33b 2000-06-12
postnotnull.c C/C++ Source or Header 21 253b 2002-02-13
postnotnull.expect Text File 7 235b 2002-02-13
preds.c Text File 50 385b 2000-06-12
preds.expect Text File 70 4KB 2002-02-13
prefixes.c C/C++ Source or Header 25 344b 2000-06-12
prefixes.expect Text File 162 8KB 2002-02-13
printflike.c Text File 19 285b 2000-06-12
printflike.expect Text File 31 2KB 2002-02-13
rc.c Text File 5 37b 2000-06-12
rc.expect Text File 36 1KB 2002-02-13
rc1.splintrc Text File 8 67b 2001-12-29
rc2.splintrc Text File 1 17b 2001-12-29
rc3.splintrc Text File 6 94b 2001-12-29
rc3.splintrc.os2 Text File 7 99b 2001-12-29
refcounts.c C/C++ Source or Header 76 1KB 2000-06-12
refcounts.expect Text File 24 1KB 2002-02-13
release.c Text File 27 294b 2000-06-12
release.expect Text File 7 182b 2002-02-13
repexpose.c Text File 67 2KB 2000-06-12
repexpose.expect Text File 125 7KB 2002-02-13
repexpose.h C/C++ Source or Header 21 222b 2001-07-03
repexpose.lcl Text File 18 396b 2000-06-12
repexpose.lcs Text File 173 7KB 2002-02-17
repexpose.lh Text File 15 552b 2002-02-17
repexpose.lh.expect Text File 15 536b 2000-06-12
returned.c C/C++ Source or Header 17 224b 2001-07-03
returned.expect Text File 7 185b 2002-02-13
sharing.expect Text File 155 8KB 2002-02-13
sharing1.c Text File 66 2KB 2001-07-03
sharing2.c C/C++ Source or Header 49 822b 2000-06-12
sharing3.c C/C++ Source or Header 62 866b 2000-06-12
sharing4.c C/C++ Source or Header 48 2KB 2000-06-12
sharing5.c C/C++ Source or Header 42 903b 2000-06-12
shifts.c Text File 21 401b 2002-01-02
shifts.expect Text File 21 790b 2002-01-02
simplebufferConstraintTests.expect Text File 38 1KB 2002-02-13
sizeof.c C/C++ Source or Header 10 108b 2001-10-14
sizeof.expect Text File 10 259b 2001-12-29
sizeoftest.expect Text File 10 257b 2001-08-14
slovaknames.c Text File 45 588b 2000-06-12
slovaknames.expect Text File 61 3KB 2002-02-13
specclauses.c C/C++ Source or Header 46 916b 2000-06-12
specclauses.expect Text File 86 4KB 2002-02-13
specclauses2.c C/C++ Source or Header 77 2KB 2000-06-12
specclauses3.c C/C++ Source or Header 62 1KB 2000-06-12
specclauses4.c C/C++ Source or Header 48 760b 2000-06-12
specclauses5.c C/C++ Source or Header 53 937b 2000-06-12
specclauses6.c C/C++ Source or Header 50 824b 2001-07-03
special.c C/C++ Source or Header 48 2KB 2000-06-12
special.expect Text File 94 5KB 2002-02-13
special.lcl Text File 5 73b 2000-06-12
special.lcs Text File 127 4KB 2002-02-17
stack.c Text File 41 658b 2000-06-12
stack.expect Text File 15 591b 2002-02-13
staticarray.c C/C++ Source or Header 29 324b 2000-06-12
staticarray.expect Text File 13 480b 2002-02-13
strchr.expect Text File 8 241b 2002-02-13
stringliteral.c Text File 9 204b 2002-01-22
stringliteral.expect Text File 23 1KB 2002-01-22
strings.c Text File 27 267b 2000-06-12
strings.expect Text File 24 956b 2002-02-13
structassign.c C/C++ Source or Header 47 806b 2000-06-12
structassign.expect Text File 19 861b 2002-02-13
switch.c Text File 74 1KB 2000-06-12
t1.c Text File 9 53b 2000-08-02
tainted.expect Text File 112 5KB 2002-02-13
test.c Text File 5 82b 2000-08-02
tests2.2.expect Text File 85 3KB 2002-02-13
tests2.2.out Text File 85 3KB 2002-02-13
tests2.2a.expect Text File 121 5KB 2000-08-02
tests2.3.expect Text File 118 5KB 2000-06-12
tests2.4.expect Text File 128 4KB 2002-02-13
tests2.5.expect Text File 54 2KB 2002-02-13
tq.h Text File 9 454b 2000-06-12
tq.lcl Text File 6 100b 2000-06-12
tq.lcs Text File 150 5KB 2002-02-17
typequals.c Text File 11 259b 2000-06-12
typequals.expect Text File 19 710b 2002-02-13
ud.c Text File 70 783b 2000-06-12
ud.expect Text File 22 758b 2002-02-13
ud2.c C/C++ Source or Header 25 372b 2000-06-12
ud2.lcl Text File 3 110b 2000-06-12
ud2.lcs Text File 154 6KB 2002-02-17
ullint.c C/C++ Source or Header 43 824b 2001-07-03
ullint.expect Text File 21 860b 2002-02-13
ulstypes.c Text File 26 649b 2000-06-12
ulstypes.expect Text File 55 3KB 2002-02-13
union.c C/C++ Source or Header 85 2KB 2000-06-12
union.expect Text File 26 1KB 2002-02-13
union.pp Text File 86 1KB 2001-07-03
unioninit.c C/C++ Source or Header 14 234b 2001-12-30
unioninit.expect Text File 8 306b 2001-12-30
unreachable.c Text File 49 655b 2000-06-12
unreachable.expect Text File 28 986b 2002-02-13
unsignedcompare.c Text File 17 229b 2001-09-12
unsignedcompare.expect Text File 10 445b 2002-02-13
unused.c C/C++ Source or Header 29 351b 2000-06-12
unused.expect Text File 26 1KB 2002-02-13
utypes.c C/C++ Source or Header 28 744b 2002-02-17
utypes.expect Text File 18 891b 2001-12-30
void.c Text File 8 56b 2001-07-03
void.expect Text File 8 216b 2002-02-13
warnuse.old-expect Text File 24 808b 2001-07-03
widestrings.c C/C++ Source or Header 18 856b 2001-12-30
widestrings.expect Text File 9 351b 2001-12-30