]>
andersk Git - splint.git/log
herbert [Thu, 27 Sep 2001 09:35:37 +0000 (09:35 +0000)]
hopefully with crlfs now
herbert [Thu, 27 Sep 2001 09:35:01 +0000 (09:35 +0000)]
file format problems
evans1629 [Thu, 27 Sep 2001 02:11:33 +0000 (02:11 +0000)]
Fixed problems with DOS file format.
drl7x [Wed, 26 Sep 2001 15:18:56 +0000 (15:18 +0000)]
Small additions to library
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.
evans1629 [Tue, 25 Sep 2001 12:55:32 +0000 (12:55 +0000)]
Fixed unsignedcompare test. Removed diag for unclosed files.
drl7x [Tue, 25 Sep 2001 07:03:37 +0000 (07:03 +0000)]
Added usleep to unix.h in library.
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.
evans1629 [Mon, 24 Sep 2001 21:18:32 +0000 (21:18 +0000)]
Removed test/temp from CVS control.
evans1629 [Mon, 24 Sep 2001 21:15:29 +0000 (21:15 +0000)]
Removed stray files in test
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.
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.
evans1629 [Sat, 22 Sep 2001 18:10:56 +0000 (18:10 +0000)]
OS/2 command line args fix provided by Herbert Martin Dietze.
evans1629 [Wed, 12 Sep 2001 23:24:07 +0000 (23:24 +0000)]
*** empty log message ***
drl7x [Wed, 5 Sep 2001 22:41:26 +0000 (22:41 +0000)]
changed PLUS to BINARYOP_PLUS
drl7x [Wed, 5 Sep 2001 20:22:37 +0000 (20:22 +0000)]
*** empty log message ***
evans [Mon, 27 Aug 2001 05:07:32 +0000 (05:07 +0000)]
*** empty log message ***
evans [Wed, 22 Aug 2001 16:33:27 +0000 (16:33 +0000)]
*** empty log message ***
evans [Mon, 20 Aug 2001 15:30:39 +0000 (15:30 +0000)]
*** empty log message ***
evans [Sun, 19 Aug 2001 18:04:28 +0000 (18:04 +0000)]
*** empty log message ***
drl7x [Wed, 15 Aug 2001 03:18:01 +0000 (03:18 +0000)]
*** empty log message ***
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.
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.
drl7x [Sun, 12 Aug 2001 05:44:08 +0000 (05:44 +0000)]
*** empty log message ***
drl7x [Sat, 11 Aug 2001 16:43:26 +0000 (16:43 +0000)]
Fixed test to have correct sort order.
drl7x [Sat, 11 Aug 2001 16:42:03 +0000 (16:42 +0000)]
*** empty log message ***
drl7x [Sat, 11 Aug 2001 16:41:05 +0000 (16:41 +0000)]
Fix bug in fileloc_compare which was causeing problem in constraint sorting.
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.
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.
evans [Wed, 1 Aug 2001 20:17:05 +0000 (20:17 +0000)]
*** empty log message ***
evans [Mon, 30 Jul 2001 19:42:23 +0000 (19:42 +0000)]
*** empty log message ***
drl7x [Mon, 30 Jul 2001 13:34:47 +0000 (13:34 +0000)]
*** empty log message ***
evans [Sun, 29 Jul 2001 02:01:08 +0000 (02:01 +0000)]
*** empty log message ***
evans [Sat, 28 Jul 2001 21:41:28 +0000 (21:41 +0000)]
*** empty log message ***
drl7x [Fri, 27 Jul 2001 16:34:54 +0000 (16:34 +0000)]
Editng test to reflect additional constraint information.
drl7x [Fri, 27 Jul 2001 16:33:56 +0000 (16:33 +0000)]
*** empty log message ***
drl7x [Fri, 27 Jul 2001 13:22:49 +0000 (13:22 +0000)]
*** empty log message ***
evans [Fri, 27 Jul 2001 01:02:13 +0000 (01:02 +0000)]
*** empty log message ***
evans [Thu, 26 Jul 2001 23:47:15 +0000 (23:47 +0000)]
*** empty log message ***
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
evans [Wed, 25 Jul 2001 22:31:05 +0000 (22:31 +0000)]
*** empty log message ***
drl7x [Wed, 25 Jul 2001 14:17:25 +0000 (14:17 +0000)]
*** empty log message ***
evans [Wed, 25 Jul 2001 12:51:38 +0000 (12:51 +0000)]
*** empty log message ***
evans [Wed, 25 Jul 2001 00:08:27 +0000 (00:08 +0000)]
*** empty log message ***
evans [Tue, 24 Jul 2001 18:55:39 +0000 (18:55 +0000)]
*** empty log message ***
drl7x [Tue, 24 Jul 2001 17:52:12 +0000 (17:52 +0000)]
*** empty log message ***
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.
evans [Tue, 24 Jul 2001 04:34:04 +0000 (04:34 +0000)]
*** empty log message ***
evans [Tue, 24 Jul 2001 03:02:05 +0000 (03:02 +0000)]
*** empty log message ***
evans [Sun, 22 Jul 2001 17:40:22 +0000 (17:40 +0000)]
*** empty log message ***
evans [Sat, 21 Jul 2001 22:11:19 +0000 (22:11 +0000)]
*** empty log message ***
evans [Fri, 20 Jul 2001 00:52:10 +0000 (00:52 +0000)]
*** empty log message ***
dkf5k [Wed, 18 Jul 2001 23:52:02 +0000 (23:52 +0000)]
Added test files to the repository.
evans [Wed, 18 Jul 2001 14:38:39 +0000 (14:38 +0000)]
*** empty log message ***
evans [Wed, 18 Jul 2001 01:08:14 +0000 (01:08 +0000)]
*** empty log message ***
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.
drl7x [Mon, 16 Jul 2001 18:48:36 +0000 (18:48 +0000)]
*** empty log message ***
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.
drl7x [Mon, 16 Jul 2001 18:47:51 +0000 (18:47 +0000)]
Fixed bugs in the constant removal code for binary expressions.
drl7x [Mon, 16 Jul 2001 18:47:02 +0000 (18:47 +0000)]
made strncat use size_t
evans [Fri, 13 Jul 2001 02:55:30 +0000 (02:55 +0000)]
*** empty log message ***
evans [Thu, 12 Jul 2001 21:28:49 +0000 (21:28 +0000)]
*** empty log message ***
evans [Thu, 12 Jul 2001 04:26:24 +0000 (04:26 +0000)]
*** empty log message ***
evans [Thu, 12 Jul 2001 02:45:15 +0000 (02:45 +0000)]
*** empty log message ***
evans [Thu, 12 Jul 2001 01:12:38 +0000 (01:12 +0000)]
*** empty log message ***
evans [Thu, 12 Jul 2001 00:01:17 +0000 (00:01 +0000)]
*** empty log message ***
evans [Tue, 10 Jul 2001 18:45:55 +0000 (18:45 +0000)]
*** empty log message ***
evans [Mon, 9 Jul 2001 19:00:24 +0000 (19:00 +0000)]
*** empty log message ***
evans [Fri, 6 Jul 2001 23:16:11 +0000 (23:16 +0000)]
*** empty log message ***
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.
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.
evans [Fri, 6 Jul 2001 04:54:40 +0000 (04:54 +0000)]
*** empty log message ***
evans [Fri, 6 Jul 2001 03:15:27 +0000 (03:15 +0000)]
*** empty log message ***
evans [Fri, 6 Jul 2001 02:31:12 +0000 (02:31 +0000)]
*** empty log message ***
evans [Fri, 6 Jul 2001 02:31:12 +0000 (02:31 +0000)]
*** empty log message ***
evans [Thu, 5 Jul 2001 23:51:13 +0000 (23:51 +0000)]
*** empty log message ***
evans [Thu, 5 Jul 2001 23:51:13 +0000 (23:51 +0000)]
*** empty log message ***
evans [Thu, 5 Jul 2001 21:58:16 +0000 (21:58 +0000)]
*** empty log message ***
drl7x [Thu, 5 Jul 2001 21:32:46 +0000 (21:32 +0000)]
Added some additional tests fixed error in the maxset test
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.
evans [Thu, 5 Jul 2001 21:13:18 +0000 (21:13 +0000)]
*** empty log message ***
evans [Thu, 5 Jul 2001 20:17:17 +0000 (20:17 +0000)]
*** empty log message ***
evans [Thu, 5 Jul 2001 20:17:14 +0000 (20:17 +0000)]
*** empty log message ***
evans [Thu, 5 Jul 2001 14:55:25 +0000 (14:55 +0000)]
Dave's Updates
drl7x [Wed, 4 Jul 2001 15:34:29 +0000 (15:34 +0000)]
*** empty log message ***
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
dlaroche [Tue, 3 Jul 2001 19:08:34 +0000 (19:08 +0000)]
Fixed Makefile
dlaroche [Tue, 3 Jul 2001 19:03:19 +0000 (19:03 +0000)]
added some files to repository
dlaroche [Tue, 3 Jul 2001 18:49:13 +0000 (18:49 +0000)]
Added some new test cases also merged with Dave Evans's tests.
dlaroche [Tue, 3 Jul 2001 18:46:40 +0000 (18:46 +0000)]
Merged code tree with Dave Evans's version. Many changes to numberous to list....
dlaroche [Tue, 3 Jul 2001 18:45:51 +0000 (18:45 +0000)]
Updating to use the LEnsures and LRequires instead of the ensures requires so
that it won;t conficlt with other use of ensures and requires.
dlaroche [Mon, 25 Jun 2001 18:28:53 +0000 (18:28 +0000)]
Fixed library dump support so that buffer constraint annotations are read and written to the dump files.
dlaroche [Tue, 19 Jun 2001 16:45:41 +0000 (16:45 +0000)]
Fixed make file so that pristine gets rid of more generated files.
Removed some generated files from cvs tree.
dlaroche [Tue, 19 Jun 2001 15:03:47 +0000 (15:03 +0000)]
Merged with Dave Evans's changes.
Things says version 3.0 instead of 2.5
dlaroche [Tue, 19 Jun 2001 15:02:36 +0000 (15:02 +0000)]
Merged with Dave Evans's changes.
dlaroche [Mon, 18 Jun 2001 18:35:52 +0000 (18:35 +0000)]
Added check of user specified post conditions.
Added the flag +checkpost ot turn this on and off.
dlaroche [Mon, 18 Jun 2001 13:18:11 +0000 (13:18 +0000)]
Changed to used /\ and requires instead of bufferConstraint
changed to used /\ and requires and ensures instead of bufferConstraint and ensuresConstraint
dlaroche [Mon, 18 Jun 2001 13:16:57 +0000 (13:16 +0000)]
Changed to used /\ and requires instead of bufferConstraint
dlaroche [Fri, 15 Jun 2001 18:59:10 +0000 (18:59 +0000)]
Runs on test suite wu-ftpd and bind without crashing or producing obvious errors.
Memory leaks do not seem to be a big problem if they still exist.
dlaroche [Wed, 13 Jun 2001 21:27:52 +0000 (21:27 +0000)]
The code almost work.
it passes the test suit except for a case where it in correctly reports the originial constraint.
constraintList_addList memory leak and probably still present as well.:
CVS
This page took 0.079094 seconds and 4 git commands to generate.