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

22 years agoFixed problems with DOS file format.
evans1629 [Thu, 27 Sep 2001 02:11:33 +0000 (02:11 +0000)] 
Fixed problems with DOS file format.

22 years agoSmall additions to library
drl7x [Wed, 26 Sep 2001 15:18:56 +0000 (15:18 +0000)] 
Small additions to library

22 years agoChanges for the OS/2 port: cpplib.c (fixed cstring_replaceAll()
herbert [Wed, 26 Sep 2001 10:42:37 +0000 (10:42 +0000)] 
Changes for the OS/2 port: cpplib.c (fixed cstring_replaceAll()
backslashes to slashes), cscanner.l (fixed includes for IBMC)
and constants.h (changed default rcfile name to .lclintrc).
Added files for building the OS/2 port: os2/ subdirectory
containing Makefile, batches and documentation, src/lclint.def
needed for linking and test-Makefiles.

22 years agoFixed unsignedcompare test. Removed diag for unclosed files.
evans1629 [Tue, 25 Sep 2001 12:55:32 +0000 (12:55 +0000)] 
Fixed unsignedcompare test.  Removed diag for unclosed files.

22 years agoAdded usleep to unix.h in library.
drl7x [Tue, 25 Sep 2001 07:03:37 +0000 (07:03 +0000)] 
Added usleep to unix.h in library.

22 years agoUpdated library headers to include some missing functions.
drl7x [Mon, 24 Sep 2001 22:02:19 +0000 (22:02 +0000)] 
Updated library headers to include some missing functions.

Fixed some stuff in test.

22 years agoRemoved test/temp from CVS control.
evans1629 [Mon, 24 Sep 2001 21:18:32 +0000 (21:18 +0000)] 
Removed test/temp from CVS control.

22 years agoRemoved stray files in test
evans1629 [Mon, 24 Sep 2001 21:15:29 +0000 (21:15 +0000)] 
Removed stray files in test

22 years agoUpdated specifications in the unix library. Added the file stdio.h and stdlib.h...
drl7x [Mon, 24 Sep 2001 21:01:57 +0000 (21:01 +0000)] 
Updated specifications in the unix library.  Added the file stdio.h and stdlib.h will corespond to the library files as defined by the open group.

22 years agoAdded fileTable tracking of open files, so they may be closed on fatal exits.
evans1629 [Sun, 23 Sep 2001 18:14:02 +0000 (18:14 +0000)] 
Added fileTable tracking of open files, so they may be closed on fatal exits.

22 years agoOS/2 command line args fix provided by Herbert Martin Dietze.
evans1629 [Sat, 22 Sep 2001 18:10:56 +0000 (18:10 +0000)] 
OS/2 command line args fix provided by Herbert Martin Dietze.

22 years ago*** empty log message ***
evans1629 [Wed, 12 Sep 2001 23:24:07 +0000 (23:24 +0000)] 
*** empty log message ***

22 years agochanged PLUS to BINARYOP_PLUS
drl7x [Wed, 5 Sep 2001 22:41:26 +0000 (22:41 +0000)] 
changed PLUS to BINARYOP_PLUS

22 years ago*** empty log message ***
drl7x [Wed, 5 Sep 2001 20:22:37 +0000 (20:22 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Mon, 27 Aug 2001 05:07:32 +0000 (05:07 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Wed, 22 Aug 2001 16:33:27 +0000 (16:33 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Mon, 20 Aug 2001 15:30:39 +0000 (15:30 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Sun, 19 Aug 2001 18:04:28 +0000 (18:04 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
drl7x [Wed, 15 Aug 2001 03:18:01 +0000 (03:18 +0000)] 
*** empty log message ***

22 years agoREmoved references to the full working directory of LCLint for test outputs since...
drl7x [Sun, 12 Aug 2001 05:46:46 +0000 (05:46 +0000)] 
REmoved references to the full working directory of LCLint for test outputs since this is nonstand information.

22 years agoAdded klugdy support for malloc (sizeof type * expr) type statement.
drl7x [Sun, 12 Aug 2001 05:45:19 +0000 (05:45 +0000)] 
Added klugdy support for malloc (sizeof type * expr) type statement.

Also fixed ignoring behavior.

22 years ago*** empty log message ***
drl7x [Sun, 12 Aug 2001 05:44:08 +0000 (05:44 +0000)] 
*** empty log message ***

22 years agoFixed test to have correct sort order.
drl7x [Sat, 11 Aug 2001 16:43:26 +0000 (16:43 +0000)] 
Fixed test to have correct sort order.

22 years ago*** empty log message ***
drl7x [Sat, 11 Aug 2001 16:42:03 +0000 (16:42 +0000)] 
*** empty log message ***

22 years agoFix bug in fileloc_compare which was causeing problem in constraint sorting.
drl7x [Sat, 11 Aug 2001 16:41:05 +0000 (16:41 +0000)] 
Fix bug in fileloc_compare which was causeing problem in constraint sorting.

22 years agoREmoved non-working test from make file and changed .expects to reflect the new messa...
drl7x [Wed, 8 Aug 2001 18:33:21 +0000 (18:33 +0000)] 
REmoved non-working test from make file and changed .expects to reflect the new message format.

22 years agoMade cosmetic improves to messages.
drl7x [Wed, 8 Aug 2001 18:32:12 +0000 (18:32 +0000)] 
Made cosmetic improves to messages.

And added an abort if messages become too deep.

22 years ago*** empty log message ***
evans [Wed, 1 Aug 2001 20:17:05 +0000 (20:17 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Mon, 30 Jul 2001 19:42:23 +0000 (19:42 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
drl7x [Mon, 30 Jul 2001 13:34:47 +0000 (13:34 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Sun, 29 Jul 2001 02:01:08 +0000 (02:01 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Sat, 28 Jul 2001 21:41:28 +0000 (21:41 +0000)] 
*** empty log message ***

22 years agoEditng test to reflect additional constraint information.
drl7x [Fri, 27 Jul 2001 16:34:54 +0000 (16:34 +0000)] 
Editng test to reflect additional constraint information.

22 years ago*** empty log message ***
drl7x [Fri, 27 Jul 2001 16:33:56 +0000 (16:33 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
drl7x [Fri, 27 Jul 2001 13:22:49 +0000 (13:22 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Fri, 27 Jul 2001 01:02:13 +0000 (01:02 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Thu, 26 Jul 2001 23:47:15 +0000 (23:47 +0000)] 
*** empty log message ***

22 years agoFixed bug with things like char * c [] = {"dfd", "dfdf", "DFSDFS" }
drl7x [Thu, 26 Jul 2001 13:11:41 +0000 (13:11 +0000)] 
Fixed bug with things like char * c [] = {"dfd", "dfdf", "DFSDFS" }
In buffer overflow constraint checking

22 years ago*** empty log message ***
evans [Wed, 25 Jul 2001 22:31:05 +0000 (22:31 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
drl7x [Wed, 25 Jul 2001 14:17:25 +0000 (14:17 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Wed, 25 Jul 2001 12:51:38 +0000 (12:51 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Wed, 25 Jul 2001 00:08:27 +0000 (00:08 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Tue, 24 Jul 2001 18:55:39 +0000 (18:55 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
drl7x [Tue, 24 Jul 2001 17:52:12 +0000 (17:52 +0000)] 
*** empty log message ***

22 years agoMade make lint work. Although exprNode_doSwitchExpr surpresses too much.
drl7x [Tue, 24 Jul 2001 14:54:27 +0000 (14:54 +0000)] 
Made make lint work.  Although exprNode_doSwitchExpr surpresses too much.

Splitt fcnconstraint and improved error messages.

22 years ago*** empty log message ***
evans [Tue, 24 Jul 2001 04:34:04 +0000 (04:34 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Tue, 24 Jul 2001 03:02:05 +0000 (03:02 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Sun, 22 Jul 2001 17:40:22 +0000 (17:40 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Sat, 21 Jul 2001 22:11:19 +0000 (22:11 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Fri, 20 Jul 2001 00:52:10 +0000 (00:52 +0000)] 
*** empty log message ***

22 years agoAdded test files to the repository.
dkf5k [Wed, 18 Jul 2001 23:52:02 +0000 (23:52 +0000)] 
Added test files to the repository.

22 years ago*** empty log message ***
evans [Wed, 18 Jul 2001 14:38:39 +0000 (14:38 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Wed, 18 Jul 2001 01:08:14 +0000 (01:08 +0000)] 
*** empty log message ***

22 years agoDon't generate constraints for sizeof expression.
drl7x [Mon, 16 Jul 2001 19:29:31 +0000 (19:29 +0000)] 
Don't generate constraints for sizeof expression.
i.e. sizeof *c is not a read of c.

22 years ago*** empty log message ***
drl7x [Mon, 16 Jul 2001 18:48:36 +0000 (18:48 +0000)] 
*** empty log message ***

22 years agoFixed bugs in the constant removal code for binary expressions.
drl7x [Mon, 16 Jul 2001 18:48:25 +0000 (18:48 +0000)] 
Fixed bugs in the constant removal code for binary expressions.
Added test of this.

22 years agoFixed bugs in the constant removal code for binary expressions.
drl7x [Mon, 16 Jul 2001 18:47:51 +0000 (18:47 +0000)] 
Fixed bugs in the constant removal code for binary expressions.

22 years agomade strncat use size_t
drl7x [Mon, 16 Jul 2001 18:47:02 +0000 (18:47 +0000)] 
made strncat use size_t

22 years ago*** empty log message ***
evans [Fri, 13 Jul 2001 02:55:30 +0000 (02:55 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Thu, 12 Jul 2001 21:28:49 +0000 (21:28 +0000)] 
*** empty log message ***

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