]> andersk Git - splint.git/log
splint.git
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 ***

22 years ago*** empty log message ***
drl7x [Fri, 30 Nov 2001 02:34:28 +0000 (02:34 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
drl7x [Fri, 30 Nov 2001 00:44:48 +0000 (00:44 +0000)] 
*** empty log message ***

22 years agoAdded additonal files to DIST_EXTRA so that autoconf's make dist feature can be used.
drl7x [Thu, 29 Nov 2001 23:55:57 +0000 (23:55 +0000)] 
Added additonal files to DIST_EXTRA so that autoconf's make dist feature can be used.

22 years agoCahnged default LCLIMPORTDIR
drl7x [Thu, 29 Nov 2001 06:23:53 +0000 (06:23 +0000)] 
Cahnged default LCLIMPORTDIR

22 years agoFixed to handled double requires clauses cleanly
drl7x [Thu, 29 Nov 2001 06:22:41 +0000 (06:22 +0000)] 
Fixed to handled double requires clauses cleanly

22 years agoFixed double requires clauses in posix.h
drl7x [Thu, 29 Nov 2001 06:20:46 +0000 (06:20 +0000)] 
Fixed double requires clauses in posix.h

22 years agoFixed help.expect
drl7x [Thu, 29 Nov 2001 06:19:49 +0000 (06:19 +0000)] 
Fixed help.expect

22 years agoTook makefile out of repository.
drl7x [Thu, 29 Nov 2001 02:28:18 +0000 (02:28 +0000)] 
Took makefile out of repository.

22 years agoWork around for the MaxSet(c) >= sizeof c -1 simplification.
drl7x [Thu, 29 Nov 2001 02:26:29 +0000 (02:26 +0000)] 
Work around for the MaxSet(c) >= sizeof c -1 simplification.

Added comments to ignore array bounds errors in lex and bison files

22 years agoAdded additional tests for buffer overflow detection fixes to the test suite.
drl7x [Wed, 28 Nov 2001 22:07:31 +0000 (22:07 +0000)] 
Added additional tests for buffer overflow detection fixes to the test suite.
Test are fore the constructs char c[CONSTEXPR+ CONSTREXPR] and char b[UNKNOWNCONSTANT].

22 years agoTook tests2.2a out of Makefile temporalily.
drl7x [Tue, 27 Nov 2001 19:54:02 +0000 (19:54 +0000)] 
Took tests2.2a out of Makefile temporalily.

22 years agoTried to fix some problems with the configuration system.
drl7x [Tue, 27 Nov 2001 18:19:30 +0000 (18:19 +0000)] 
Tried to fix some problems with the configuration system.

Added the flag slashslashcomment which detects // comments

Made numberous improvements in the buffer overflow checking.  Among other things char array[literal + literal] is now handled correctly.
We also try to handle char array[CONSTANT] where the value of constant is system dependent and not known to LCLint.

22 years ago Removed .out files from the repository because they are automaticaly gnerated durrin...
drl7x [Thu, 15 Nov 2001 21:25:07 +0000 (21:25 +0000)] 
Removed .out files from the repository because they are automaticaly gnerated durring make test and have no propose after that.

22 years agoAdded mtgrammar.c.der
evans1629 [Fri, 19 Oct 2001 22:42:33 +0000 (22:42 +0000)] 
Added mtgrammar.c.der

22 years agoTried to fix more problmes with the Makefiles
drl7x [Wed, 17 Oct 2001 03:27:52 +0000 (03:27 +0000)] 
Tried to fix more problmes with the Makefiles

22 years agoMade some additional changes to the makefile. Now it builds correctly.
drl7x [Wed, 17 Oct 2001 03:00:15 +0000 (03:00 +0000)] 
Made some additional changes to the makefile.  Now it builds correctly.

Although the binary isn't copied to bin.

22 years agoI'm trying to fix some of the problems with the Makefile.
drl7x [Wed, 17 Oct 2001 02:43:23 +0000 (02:43 +0000)] 
I'm trying to fix some of the problems with the Makefile.

I can't test this because it doesn't seem to like the automake 1.4 on debian.

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