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

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

22 years ago*** empty log message ***
evans [Thu, 12 Jul 2001 02:45:15 +0000 (02:45 +0000)] 
*** empty log message ***

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

22 years ago*** empty log message ***
evans [Thu, 12 Jul 2001 00:01:17 +0000 (00:01 +0000)] 
*** empty log message ***

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

22 years ago*** empty log message ***
evans [Mon, 9 Jul 2001 19:00:24 +0000 (19:00 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Fri, 6 Jul 2001 23:16:11 +0000 (23:16 +0000)] 
*** empty log message ***

22 years agoAdded a patch so that buffer overflow checking is not performed if errors would surpr...
drl7x [Fri, 6 Jul 2001 13:55:24 +0000 (13:55 +0000)] 
Added a patch so that buffer overflow checking is not performed if errors would surpressed.

Added debugfcnconstraint flag to make lclint do checking anyway.

Changed test suit to use this flag.

22 years agoAdded a patch so that buffer overflow checking is not performed if errors would surpr...
drl7x [Fri, 6 Jul 2001 13:54:34 +0000 (13:54 +0000)] 
Added a patch so that buffer overflow checking is not performed if errors would surpressed.

Added debugfcnconstraint flag to make lclint do checking anyway.

22 years ago*** empty log message ***
evans [Fri, 6 Jul 2001 04:54:40 +0000 (04:54 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Fri, 6 Jul 2001 03:15:27 +0000 (03:15 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Fri, 6 Jul 2001 02:31:12 +0000 (02:31 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Fri, 6 Jul 2001 02:31:12 +0000 (02:31 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Thu, 5 Jul 2001 23:51:13 +0000 (23:51 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Thu, 5 Jul 2001 23:51:13 +0000 (23:51 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Thu, 5 Jul 2001 21:58:16 +0000 (21:58 +0000)] 
*** empty log message ***

22 years agoAdded some additional tests fixed error in the maxset test
drl7x [Thu, 5 Jul 2001 21:32:46 +0000 (21:32 +0000)] 
Added some additional tests fixed error in the maxset test

22 years agoAdded basic support for switch statements
drl7x [Thu, 5 Jul 2001 21:31:36 +0000 (21:31 +0000)] 
Added basic support for switch statements
Also added support the simplifications rules like:
 x < y => x - 2 < y
This is useful for resolving constraints.

22 years ago*** empty log message ***
evans [Thu, 5 Jul 2001 21:13:18 +0000 (21:13 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Thu, 5 Jul 2001 20:17:17 +0000 (20:17 +0000)] 
*** empty log message ***

22 years ago*** empty log message ***
evans [Thu, 5 Jul 2001 20:17:14 +0000 (20:17 +0000)] 
*** empty log message ***

22 years agoDave's Updates
evans [Thu, 5 Jul 2001 14:55:25 +0000 (14:55 +0000)] 
Dave's Updates

22 years ago*** empty log message ***
drl7x [Wed, 4 Jul 2001 15:34:29 +0000 (15:34 +0000)] 
*** empty log message ***

22 years agoFixed bug caused by free the null terminated stuff (bbufinfo) in uvinfo_free
drl7x [Wed, 4 Jul 2001 15:32:45 +0000 (15:32 +0000)] 
Fixed bug caused by free the null terminated stuff (bbufinfo) in uvinfo_free

22 years agoFixed Makefile
dlaroche [Tue, 3 Jul 2001 19:08:34 +0000 (19:08 +0000)] 
Fixed Makefile

22 years agoadded some files to repository
dlaroche [Tue, 3 Jul 2001 19:03:19 +0000 (19:03 +0000)] 
added some files to repository

22 years agoAdded some new test cases also merged with Dave Evans's tests.
dlaroche [Tue, 3 Jul 2001 18:49:13 +0000 (18:49 +0000)] 
Added some new test cases also merged with Dave Evans's tests.

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