]> andersk Git - splint.git/log
splint.git
22 years agoMeaningless changes made to test cvs. structDevel
drl7x [Mon, 18 Feb 2002 08:07:42 +0000 (08:07 +0000)] 
Meaningless changes made to test cvs.

22 years agoFixed bug preventing the expression of a return statement from being checked for errors.
drl7x [Thu, 14 Feb 2002 03:34:20 +0000 (03:34 +0000)] 
Fixed bug preventing the expression of a return statement from being checked for errors.

22 years agoFixed warning message for shiftsigned flag. (Reported by Melson Beebe.)
evans1629 [Wed, 13 Feb 2002 15:24:58 +0000 (15:24 +0000)] 
Fixed warning message for shiftsigned flag.  (Reported by Melson Beebe.)

22 years agoPut instruction files from web site into CVS development directory. splint-3_0_1_6
drl7x [Tue, 12 Feb 2002 07:58:52 +0000 (07:58 +0000)] 
Put instruction files from web site into CVS development directory.

22 years agoSym link install.html correctly to web site directory.
drl7x [Mon, 11 Feb 2002 20:10:07 +0000 (20:10 +0000)] 
Sym link install.html correctly to web site directory.

22 years agoPut .c and .expect files for new test cases into the extra dist in test/Makefile...
drl7x [Mon, 11 Feb 2002 20:04:18 +0000 (20:04 +0000)] 
Put .c and .expect files for new test cases into the extra dist in test/Makefile.am so they'll get included in the distributions.
Include index.html in release tar balls.

22 years agoAdded warnsysfiles flag to manual.
evans1629 [Mon, 11 Feb 2002 03:14:40 +0000 (03:14 +0000)] 
Added warnsysfiles flag to manual.

22 years agoFixed bug with unrecognized files in #line commands.
evans1629 [Sun, 10 Feb 2002 23:25:10 +0000 (23:25 +0000)] 
Fixed bug with unrecognized files in #line commands.

22 years agoExtended grammar to support designators in initializers.
evans1629 [Sun, 10 Feb 2002 23:20:48 +0000 (23:20 +0000)] 
Extended grammar to support designators in initializers.

22 years agoFixed but with parenthesized pointer declarations.
evans1629 [Sun, 10 Feb 2002 20:29:52 +0000 (20:29 +0000)] 
Fixed but with parenthesized pointer declarations.

22 years agoFixed bug with FIELDASSIGN
evans1629 [Thu, 7 Feb 2002 00:02:52 +0000 (00:02 +0000)] 
Fixed bug with FIELDASSIGN

22 years agoFixed internal errors for field assignments --- this is a temporary fix,
evans1629 [Wed, 6 Feb 2002 01:27:13 +0000 (01:27 +0000)] 
Fixed internal errors for field assignments --- this is a temporary fix,
should probably report errors but I need to look into it.

22 years agoFixed internal bug for if ((a[0][1]) != 0)
evans1629 [Wed, 6 Feb 2002 00:08:27 +0000 (00:08 +0000)] 
Fixed internal bug for if ((a[0][1]) != 0)

22 years agoFixed internal bug for enum lists defined in structures without field names.
evans1629 [Wed, 6 Feb 2002 00:03:08 +0000 (00:03 +0000)] 
Fixed internal bug for enum lists defined in structures without field names.

22 years agoRelaxed grammar to allow null external declarations.
evans1629 [Tue, 5 Feb 2002 23:41:23 +0000 (23:41 +0000)] 
Relaxed grammar to allow null external declarations.

22 years agoAdded test case for division by zero.
evans1629 [Tue, 5 Feb 2002 23:13:13 +0000 (23:13 +0000)] 
Added test case for division by zero.

22 years agoForgot to commit multiVal.c
evans1629 [Tue, 5 Feb 2002 23:02:04 +0000 (23:02 +0000)] 
Forgot to commit multiVal.c

22 years ago3.0.1.5 release. splint-3_0_1_5
drl7x [Tue, 5 Feb 2002 06:02:27 +0000 (06:02 +0000)] 
3.0.1.5 release.

22 years agoFixed automake related problems.
drl7x [Tue, 5 Feb 2002 03:36:19 +0000 (03:36 +0000)] 
Fixed automake related problems.
Added the flag boundscompacterrormessages to help output.

22 years agoFixed bug preventing +showconstraintlocation from being the default.
drl7x [Tue, 5 Feb 2002 02:36:57 +0000 (02:36 +0000)] 
Fixed bug preventing +showconstraintlocation from being the default.
Update the test cases accordingly.

22 years agoFixed problem with handleing oldsytle function declarations.
drl7x [Mon, 4 Feb 2002 09:19:34 +0000 (09:19 +0000)] 
Fixed problem with handleing oldsytle function declarations.
(Problem reported by Thomas Nordin)

22 years agoAdded test case for pproblem with typedefs and fixed size arrays.
drl7x [Sun, 27 Jan 2002 02:45:50 +0000 (02:45 +0000)] 
Added test case for pproblem with typedefs and fixed size arrays.

22 years agoAdded new flag.
drl7x [Fri, 25 Jan 2002 05:57:19 +0000 (05:57 +0000)] 
Added new flag.

22 years agoFixed bug reproted by Jim Francis. Bug was triggered by running splint on typedef...
drl7x [Fri, 25 Jan 2002 05:55:19 +0000 (05:55 +0000)] 
Fixed bug reproted by Jim Francis.  Bug was triggered by running splint on typedef which include an array size. e.g. typedef int Array[10];

22 years agoFixed bug in string initialization checking.
drl7x [Tue, 22 Jan 2002 22:28:04 +0000 (22:28 +0000)] 
Fixed bug in string initialization checking.
add stringliteralnoroomfinalnull.

22 years agoAdded test cases for stringliteral initalization checking
drl7x [Tue, 22 Jan 2002 22:21:40 +0000 (22:21 +0000)] 
Added test cases for stringliteral initalization checking

22 years agoHopefully fixed configuration program caused by running an old version of automake. splint-3_0_1_4
drl7x [Sat, 19 Jan 2002 01:28:33 +0000 (01:28 +0000)] 
Hopefully fixed configuration program caused by running an old version of automake.

22 years ago*** empty log message ***
drl7x [Fri, 18 Jan 2002 23:41:57 +0000 (23:41 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
drl7x [Fri, 18 Jan 2002 21:57:57 +0000 (21:57 +0000)] 
*** empty log message ***

22 years agoSystem file warning message now not printed if -systemdirerrors is used.
drl7x [Fri, 18 Jan 2002 21:38:34 +0000 (21:38 +0000)] 
System file warning message now not printed if -systemdirerrors is used.

22 years agoAdded the flag warnsysfiles (default +) if this flag is set splint warns if the user...
drl7x [Fri, 18 Jan 2002 21:27:38 +0000 (21:27 +0000)] 
Added the flag warnsysfiles (default +) if this flag is set splint warns if the user tries to run splint on a system file.

22 years agoHopefully finially added bin/Makefile.am and bin/Makefile.in
drl7x [Fri, 18 Jan 2002 04:36:32 +0000 (04:36 +0000)] 
Hopefully finially added bin/Makefile.am and bin/Makefile.in

22 years agoTrying to add dummyfile to be bin to stay in the repository.\18
drl7x [Fri, 18 Jan 2002 04:05:07 +0000 (04:05 +0000)] 
Trying to add dummyfile to be bin to stay in the repository.\18

22 years agoTrying to get Makefile in the repository.
drl7x [Fri, 18 Jan 2002 03:56:25 +0000 (03:56 +0000)] 
Trying to get Makefile in the repository.

22 years agoFinished adding flags to the manual.
drl7x [Thu, 17 Jan 2002 20:27:52 +0000 (20:27 +0000)] 
Finished adding flags to the manual.

22 years agoAdded some additonal flag descriptions to the manual.
drl7x [Thu, 17 Jan 2002 11:48:39 +0000 (11:48 +0000)] 
Added some additonal flag descriptions to the manual.

22 years agoFixed buffer overflow in cscanner.l
drl7x [Thu, 17 Jan 2002 06:57:52 +0000 (06:57 +0000)] 
Fixed buffer overflow in cscanner.l

22 years agoFixed handling of array dimensions (bug reported by Randi J. Relander)
evans1629 [Thu, 17 Jan 2002 04:43:41 +0000 (04:43 +0000)] 
Fixed handling of array dimensions (bug reported by Randi J. Relander)
Added arraydims.c test case

22 years agoReplacing the directory preBuilt with bin
drl7x [Tue, 15 Jan 2002 04:47:38 +0000 (04:47 +0000)] 
Replacing the directory preBuilt with bin

22 years agoMakefiles for preBuilt this directory is intended to be part of the binary distributi... splint-3_0_1_2
drl7x [Mon, 14 Jan 2002 20:01:41 +0000 (20:01 +0000)] 
Makefiles for preBuilt this directory is intended to be part of the binary distribution.  It contains an allready built source by and the makefiles.

22 years agoAdded files so that mkae bindist will work on system wihtout up to date(bleeding...
drl7x [Mon, 14 Jan 2002 19:59:42 +0000 (19:59 +0000)] 
Added files so that mkae bindist will work on system wihtout up to date(bleeding edge?) versions of autoconf and automake.

22 years agoAdded files to generate a binary package by doing make bindist
drl7x [Mon, 14 Jan 2002 19:56:39 +0000 (19:56 +0000)] 
Added files to generate a binary package by doing make bindist

22 years agoGot gmake to work on test suit. (Changed the cleanout grep so that it searches for...
drl7x [Mon, 14 Jan 2002 08:36:41 +0000 (08:36 +0000)] 
Got gmake to work on test suit. (Changed the cleanout grep so that it searches for gmake in addition to make.)

used grep -v to exclude hard coded default LARCH and LCLIMPORTDIR values form test output.

22 years agoAdded install.html to CVS.
evans1629 [Thu, 10 Jan 2002 19:05:02 +0000 (19:05 +0000)] 
Added install.html to CVS.

22 years agoFixed problem with identifyFlag revealed by splint -help flags full
evans1629 [Thu, 10 Jan 2002 19:04:42 +0000 (19:04 +0000)] 
Fixed problem with identifyFlag revealed by splint -help flags full
(reported by Jim Zelenka)

Added tests to help test to check -help flags full and -help flags
manual.

22 years agoPatched bug in splint --help flags full
drl7x [Thu, 10 Jan 2002 06:24:44 +0000 (06:24 +0000)] 
Patched bug in splint --help flags full

22 years agoPut builtin -D flags for specific arcitectures.
drl7x [Thu, 10 Jan 2002 05:14:54 +0000 (05:14 +0000)] 
Put builtin -D flags for specific arcitectures.

22 years ago*** empty log message ***
drl7x [Thu, 10 Jan 2002 02:33:17 +0000 (02:33 +0000)] 
*** empty log message ***

22 years agosplint now tried to define a symbol based on the current processor type.
drl7x [Thu, 10 Jan 2002 02:01:05 +0000 (02:01 +0000)] 
splint now tried to define a symbol based on the current processor type.

It use target_cpu from autoconf.

22 years agoReviewed DRL's manual changes. Moved bounds flags to appropriate place.
evans1629 [Wed, 9 Jan 2002 15:50:54 +0000 (15:50 +0000)] 
Reviewed DRL's manual changes.  Moved bounds flags to appropriate place.

22 years agostill trying to add doc files
evans1629 [Wed, 9 Jan 2002 14:43:14 +0000 (14:43 +0000)] 
still trying to add doc files

22 years agoAdded some flags to the manual.
drl7x [Wed, 9 Jan 2002 11:43:57 +0000 (11:43 +0000)] 
Added some flags to the manual.

22 years ago*** empty log message ***
drl7x [Wed, 9 Jan 2002 11:15:44 +0000 (11:15 +0000)] 
*** empty log message ***

22 years agoAdded doc/Makefile.am to get make dist to work.
drl7x [Wed, 9 Jan 2002 06:34:04 +0000 (06:34 +0000)] 
Added doc/Makefile.am to get make dist to work.

22 years agoMoved doc/lclint.1 to doc/splint.1
evans1629 [Wed, 9 Jan 2002 04:13:54 +0000 (04:13 +0000)] 
Moved doc/lclint.1 to doc/splint.1
Changed email addess in source comments

22 years agoRemoved /bin/csh from tainted/Makefile
evans1629 [Wed, 9 Jan 2002 02:08:49 +0000 (02:08 +0000)] 
Removed /bin/csh from tainted/Makefile

22 years agoAdded win32/ files to CVS
evans1629 [Tue, 8 Jan 2002 21:45:08 +0000 (21:45 +0000)] 
Added win32/ files to CVS

22 years agoAdded annotation to fix lint warning.
drl7x [Tue, 8 Jan 2002 20:59:01 +0000 (20:59 +0000)] 
Added annotation to fix lint warning.

22 years agoAdded winconfig.h
evans1629 [Tue, 8 Jan 2002 19:57:04 +0000 (19:57 +0000)] 
Added winconfig.h

22 years agoFixed up for win32 building (winconfig.h required)
evans1629 [Tue, 8 Jan 2002 19:55:58 +0000 (19:55 +0000)] 
Fixed up for win32 building (winconfig.h required)

22 years agoFixed the readme file based on the information on the web page.
drl7x [Tue, 8 Jan 2002 06:12:40 +0000 (06:12 +0000)] 
Fixed the readme file based on the information on the web page.

22 years agoRemoved stray hashTable.c file
evans1629 [Mon, 7 Jan 2002 18:40:35 +0000 (18:40 +0000)] 
Removed stray hashTable.c file

22 years ago*** empty log message ***
drl7x [Mon, 7 Jan 2002 09:11:23 +0000 (09:11 +0000)] 
*** empty log message ***

22 years agoUpdated manual, suppressed warning in constraintResolve.c
evans1629 [Mon, 7 Jan 2002 05:21:44 +0000 (05:21 +0000)] 
Updated manual, suppressed warning in constraintResolve.c

22 years ago*** empty log message ***
drl7x [Mon, 7 Jan 2002 03:37:25 +0000 (03:37 +0000)] 
*** empty log message ***

22 years agoAdding redundantconstraints flags. Set constraintor and showconstraintlocation flags...
drl7x [Mon, 7 Jan 2002 03:30:45 +0000 (03:30 +0000)] 
Adding redundantconstraints flags.  Set constraintor and showconstraintlocation flags to true.

22 years agoFixed problems in library headers.
drl7x [Mon, 7 Jan 2002 02:36:40 +0000 (02:36 +0000)] 
Fixed problems in library headers.
Remove splint generated files.

22 years agoPut manual in CVS
evans1629 [Mon, 7 Jan 2002 02:26:50 +0000 (02:26 +0000)] 
Put manual in CVS

22 years agoRenamed lclintMacros.nf splintMacros.nf
evans1629 [Sun, 6 Jan 2002 19:37:48 +0000 (19:37 +0000)] 
Renamed lclintMacros.nf splintMacros.nf
Replaced remaining "lclint" names with "splint"

22 years agoCleaned up flags to generate manual help.
evans1629 [Sun, 6 Jan 2002 08:14:14 +0000 (08:14 +0000)] 
Cleaned up flags to generate manual help.

Renamed arraybounds and arrayboundsread to boundswrite and boundsread

Replaced +control flag with duplicatecases, alwaysexits, emptyreturn and
macroreturn (all plain, default +)

Split

22 years agoManual flags.
evans1629 [Sun, 6 Jan 2002 00:48:32 +0000 (00:48 +0000)] 
Manual flags.

22 years agoAdded test cases from the buffer checking chapter of the manual.
drl7x [Sat, 5 Jan 2002 22:56:31 +0000 (22:56 +0000)] 
Added test cases from the buffer checking chapter of the manual.

22 years agoGenerating flag manual; separated ARG_STRING into filename, path,
evans1629 [Sat, 5 Jan 2002 22:35:14 +0000 (22:35 +0000)] 
Generating flag manual; separated ARG_STRING into filename, path,
directory ARG_ types.

22 years agounrecognizeddirective->unrecogdirective
evans1629 [Sat, 5 Jan 2002 05:36:09 +0000 (05:36 +0000)] 
unrecognizeddirective->unrecogdirective

22 years agoRemade libraries.
evans1629 [Sat, 5 Jan 2002 05:27:04 +0000 (05:27 +0000)] 
Remade libraries.

22 years agoRenamed truenull nullwhentrue and falsenull falsewhennull
evans1629 [Sat, 5 Jan 2002 04:16:14 +0000 (04:16 +0000)] 
Renamed truenull nullwhentrue and falsenull falsewhennull

22 years agoAdded manual files
evans1629 [Fri, 4 Jan 2002 07:47:45 +0000 (07:47 +0000)] 
Added manual files

22 years agoAdded manual test cases.
evans1629 [Fri, 4 Jan 2002 07:46:33 +0000 (07:46 +0000)] 
Added manual test cases.
Updated to ISO C99 limits (option to still select ANSI 89).

22 years agoChanged checking of complete descruction so +strictdestroy is no
evans1629 [Thu, 3 Jan 2002 19:45:44 +0000 (19:45 +0000)] 
Changed checking of complete descruction so +strictdestroy is no
necessary for struct fields.

22 years agoFixed checking for shift expressions.
evans1629 [Thu, 3 Jan 2002 00:32:18 +0000 (00:32 +0000)] 
Fixed checking for shift expressions.

22 years agoFixed state clauses. Added obvious loop exec checking.
evans1629 [Wed, 2 Jan 2002 09:12:44 +0000 (09:12 +0000)] 
Fixed state clauses.  Added obvious loop exec checking.

22 years agoFixed preds.expect for name change.
evans1629 [Mon, 31 Dec 2001 19:40:18 +0000 (19:40 +0000)] 
Fixed preds.expect for name change.

22 years agoUpdated copyright date.
evans1629 [Mon, 31 Dec 2001 07:23:03 +0000 (07:23 +0000)] 
Updated copyright date.

22 years agoFixed bug in uentry_makeVarFunction reported by Alexander Mai.
evans1629 [Mon, 31 Dec 2001 04:53:58 +0000 (04:53 +0000)] 
Fixed bug in uentry_makeVarFunction reported by Alexander Mai.

22 years agoChanged grammer to allow multiple /*@fallthrough@*/ /*FALLTHRU*/ comments.
evans1629 [Mon, 31 Dec 2001 04:46:18 +0000 (04:46 +0000)] 
Changed grammer to allow multiple /*@fallthrough@*/ /*FALLTHRU*/ comments.

22 years agoFixed handling of wide character strings (L"test").
evans1629 [Mon, 31 Dec 2001 04:24:37 +0000 (04:24 +0000)] 
Fixed handling of wide character strings (L"test").

22 years agoRemoved more temorary files.
evans1629 [Mon, 31 Dec 2001 03:47:48 +0000 (03:47 +0000)] 
Removed more temorary files.

22 years agoRemoved test/*.lcs test/*.lh from CVS
evans1629 [Mon, 31 Dec 2001 03:32:09 +0000 (03:32 +0000)] 
Removed test/*.lcs test/*.lh from CVS

22 years agoChanged configure.ac to incorporate Nelson Beebe's suggestion for
evans1629 [Mon, 31 Dec 2001 03:28:40 +0000 (03:28 +0000)] 
Changed configure.ac to incorporate Nelson Beebe's suggestion for
getting mode_t on IBM AIX.

22 years agoFixed handling of __FUNCTION__
evans1629 [Mon, 31 Dec 2001 03:13:57 +0000 (03:13 +0000)] 
Fixed handling of __FUNCTION__

22 years agoFixed processing of unrecognized pre-processor directives (bug reported
evans1629 [Mon, 31 Dec 2001 02:36:19 +0000 (02:36 +0000)] 
Fixed processing of unrecognized pre-processor directives (bug reported
by Pierluigi Sanzani)

22 years agoAdded checking for union initializers.
evans1629 [Mon, 31 Dec 2001 01:03:16 +0000 (01:03 +0000)] 
Added checking for union initializers.

22 years agoAdded legacy flag for unix lib.
evans1629 [Sun, 30 Dec 2001 22:31:40 +0000 (22:31 +0000)] 
Added legacy flag for unix lib.

22 years agoFixed loading of rc files, warnrc and showscan.
evans1629 [Sun, 30 Dec 2001 20:16:04 +0000 (20:16 +0000)] 
Fixed loading of rc files, warnrc and showscan.

22 years agoFixed branch state bug with definitely null values (reported by Jon Wilson).
evans1629 [Sun, 30 Dec 2001 16:36:16 +0000 (16:36 +0000)] 
Fixed branch state bug with definitely null values (reported by Jon Wilson).

22 years agoRenaming - LCLint => Splint
evans1629 [Sat, 29 Dec 2001 23:52:26 +0000 (23:52 +0000)] 
Renaming - LCLint => Splint

22 years agoUpdated README version number. (Testing sourceforge)
evans1629 [Sat, 29 Dec 2001 20:43:40 +0000 (20:43 +0000)] 
Updated README version number.  (Testing sourceforge)

22 years agoModified configure.ac to new longer check for c++.
drl7x [Wed, 19 Dec 2001 19:20:26 +0000 (19:20 +0000)] 
Modified configure.ac to new longer check for c++.

22 years agoadditional buffer checking annotations
drl7x [Thu, 6 Dec 2001 03:39:42 +0000 (03:39 +0000)] 
additional buffer checking annotations

22 years ago*** empty log message *** Alpha-3_0_0_19
drl7x [Wed, 5 Dec 2001 03:48:51 +0000 (03:48 +0000)] 
*** empty log message ***

This page took 0.110731 seconds and 4 git commands to generate.