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

22 years agoAdded config/* - CVS apparently doesn't do this automatically!
evans1629 [Tue, 16 Oct 2001 21:22:55 +0000 (21:22 +0000)] 
Added config/* - CVS apparently doesn't do this automatically!

22 years agoRemoved bufferTest
evans1629 [Tue, 16 Oct 2001 16:51:01 +0000 (16:51 +0000)] 
Removed bufferTest

22 years agoAdded doc/ directory
evans1629 [Tue, 16 Oct 2001 00:24:47 +0000 (00:24 +0000)] 
Added doc/ directory

22 years agoFixed test suite (temporarily) to run nested test cases
evans1629 [Sun, 14 Oct 2001 16:28:43 +0000 (16:28 +0000)] 
Fixed test suite (temporarily) to run nested test cases

22 years agoUpdated build to use automake files created by Tim Van Holder.
evans1629 [Sun, 14 Oct 2001 01:16:03 +0000 (01:16 +0000)] 
Updated build to use automake files created by Tim Van Holder.

22 years agoChanged BADBRANCH to avoid gcc warnings.
evans1629 [Sat, 13 Oct 2001 05:48:29 +0000 (05:48 +0000)] 
Changed BADBRANCH to avoid gcc warnings.

22 years agoCleaned up cpplib
evans1629 [Tue, 9 Oct 2001 16:39:12 +0000 (16:39 +0000)] 
Cleaned up cpplib

22 years agoAdded loopHeuristics.c to replace forjunk.c
drl7x [Mon, 8 Oct 2001 23:43:06 +0000 (23:43 +0000)] 
Added loopHeuristics.c to replace forjunk.c
i.e. we "renamed" forjunk.c

22 years agoRemoved src/Headers/local_constants.last from CVS because
drl7x [Mon, 8 Oct 2001 23:41:28 +0000 (23:41 +0000)] 
Removed src/Headers/local_constants.last from CVS because
this file is just a back up of an automaticly generated file.

22 years agoAdded a comment with standard header giving copyright information.
drl7x [Mon, 8 Oct 2001 23:07:30 +0000 (23:07 +0000)] 
Added a comment with standard header giving copyright information.

22 years agoFixed Makefile to create bin directory.
drl7x [Mon, 8 Oct 2001 22:54:59 +0000 (22:54 +0000)] 
Fixed Makefile to create bin directory.

22 years agostring literal initialization sizes
evans1629 [Sun, 7 Oct 2001 06:24:15 +0000 (06:24 +0000)] 
string literal initialization sizes

22 years agoFixed handling of octal constants.
evans1629 [Sun, 7 Oct 2001 04:43:17 +0000 (04:43 +0000)] 
Fixed handling of octal constants.

22 years agodo..while control flow fix in exprNode.c
evans1629 [Sat, 6 Oct 2001 04:58:06 +0000 (04:58 +0000)] 
do..while control flow fix in exprNode.c

22 years agoFixes for 3.0.0.18:
evans1629 [Sat, 6 Oct 2001 04:04:34 +0000 (04:04 +0000)] 
Fixes for 3.0.0.18:

Fixed but in aliasing for += assignments.  (Reported by Nelson Beebe.)

Fixed %c handling in format strings - its an int converted to unsigned
char.  (Reported by Nelson Beebe.)

Fixed spelling of "preceeding" ("preceding").  (Suggested by Nelson Beebe.)

Changed char_fromInt assertions to allow non-ASCII character
sets. (Suggested by Anthony Giorgio)

22 years agoSome work on the files in os2/, removed unnecessary
herbert [Sat, 29 Sep 2001 13:22:08 +0000 (13:22 +0000)] 
Some work on the files in os2/, removed unnecessary
configuration stuff. Changed the expect in unsignedcompare test
target.

22 years agoreadd
herbert [Fri, 28 Sep 2001 08:33:52 +0000 (08:33 +0000)] 
readd

22 years agoversion
herbert [Thu, 27 Sep 2001 10:11:29 +0000 (10:11 +0000)] 
version

22 years agofiles to circumvent automatic header file generation
herbert [Thu, 27 Sep 2001 10:10:50 +0000 (10:10 +0000)] 
files to circumvent automatic header file generation

22 years agocpplib.c: added OS2 conditional after emtpy default: label (see
herbert [Thu, 27 Sep 2001 09:48:03 +0000 (09:48 +0000)] 
cpplib.c: added OS2 conditional after emtpy default: label (see
inline doc), cscanner.l: fixed include for IBMC compiler

22 years agohopefully with crlfs now
herbert [Thu, 27 Sep 2001 09:35:37 +0000 (09:35 +0000)] 
hopefully with crlfs now

22 years agofile format problems
herbert [Thu, 27 Sep 2001 09:35:01 +0000 (09:35 +0000)] 
file format problems

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