]>
andersk Git - splint.git/log
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
dlaroche [Fri, 8 Jun 2001 21:23:06 +0000 (21:23 +0000)]
Lots of changes. Code is mostly annotated. Still lots of breaken stuff though.
Freeing memory has caused some crashes. I'm still running LCLint to track down problem.
More memory also needs to be freed.
dlaroche [Wed, 6 Jun 2001 17:37:32 +0000 (17:37 +0000)]
Removed the unused data type environmentTable.
Got rid of references and removed .c and .h files.
This page took 0.351289 seconds and 4 git commands to generate.