]>
andersk Git - splint.git/log
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.
dlaroche [Wed, 6 Jun 2001 17:22:56 +0000 (17:22 +0000)]
EXtensive code clean up. Almost passes LCLint.
Commiting before the removal of environmentTable
dlaroche [Tue, 5 Jun 2001 13:29:08 +0000 (13:29 +0000)]
updating to make tree consistent for start at cert
drl7x [Thu, 31 May 2001 02:44:42 +0000 (02:44 +0000)]
Updating for cert move
drl7x [Thu, 31 May 2001 02:44:09 +0000 (02:44 +0000)]
Updteing for cert move
drl7x [Fri, 4 May 2001 06:35:16 +0000 (06:35 +0000)]
Added support for or constraints.
drl7x [Sun, 29 Apr 2001 20:19:14 +0000 (20:19 +0000)]
Simple modification to tests.
drl7x [Sun, 29 Apr 2001 20:17:42 +0000 (20:17 +0000)]
Added (limited) support for implicit annotations.
Code works on shankly with gcc28 has problems other places.
drl7x [Sat, 3 Mar 2001 21:59:33 +0000 (21:59 +0000)]
Removed some .out files.
drl7x [Sat, 3 Mar 2001 21:58:25 +0000 (21:58 +0000)]
CVS Run LCLint on the code on cleaned things up a like.
drl7x [Sat, 3 Mar 2001 21:57:29 +0000 (21:57 +0000)]
Run LCLint on the code on cleaned things up a like.
drl7x [Fri, 2 Mar 2001 05:01:21 +0000 (05:01 +0000)]
*** empty log message ***
drl7x [Fri, 2 Mar 2001 04:58:45 +0000 (04:58 +0000)]
Added Makefile
drl7x [Fri, 2 Mar 2001 04:55:12 +0000 (04:55 +0000)]
Added files for test case.
drl7x [Fri, 2 Mar 2001 04:47:17 +0000 (04:47 +0000)]
Add one last file?
drl7x [Fri, 2 Mar 2001 04:45:38 +0000 (04:45 +0000)]
Add test files to repository.
drl7x [Fri, 2 Mar 2001 04:37:29 +0000 (04:37 +0000)]
Added test to repository
drl7x [Fri, 2 Mar 2001 04:36:33 +0000 (04:36 +0000)]
*** empty log message ***
drl7x [Fri, 2 Mar 2001 04:03:54 +0000 (04:03 +0000)]
*** empty log message ***
drl7x [Fri, 2 Mar 2001 03:47:25 +0000 (03:47 +0000)]
*** empty log message ***
drl7x [Fri, 2 Mar 2001 03:45:13 +0000 (03:45 +0000)]
Added files
drl7x [Fri, 2 Mar 2001 03:34:12 +0000 (03:34 +0000)]
Code seems to work...
drl7x [Thu, 1 Mar 2001 23:56:53 +0000 (23:56 +0000)]
Added files to the repository.
drl7x [Thu, 1 Mar 2001 23:53:33 +0000 (23:53 +0000)]
Added test to the repository.
drl7x [Thu, 1 Mar 2001 23:51:26 +0000 (23:51 +0000)]
Added some expect files.
drl7x [Thu, 1 Mar 2001 23:31:35 +0000 (23:31 +0000)]
*** empty log message ***
drl7x [Thu, 1 Mar 2001 23:22:08 +0000 (23:22 +0000)]
Readded files.
drl7x [Thu, 1 Mar 2001 22:50:26 +0000 (22:50 +0000)]
Added files
drl7x [Thu, 1 Mar 2001 22:47:12 +0000 (22:47 +0000)]
Added header files.
drl7x [Thu, 1 Mar 2001 20:12:10 +0000 (20:12 +0000)]
got rid of files in case directory.
t
drl7x [Thu, 1 Mar 2001 19:36:56 +0000 (19:36 +0000)]
commitng to fix cvs archive. Code works with gcc272 but not 295. Currently passed all test cases.
drl7x [Thu, 18 Jan 2001 07:39:25 +0000 (07:39 +0000)]
Added basic support for simple loops.
drl7x [Mon, 15 Jan 2001 02:11:38 +0000 (02:11 +0000)]
Added new tests.
drl7x [Mon, 15 Jan 2001 02:08:15 +0000 (02:08 +0000)]
Making changes to try to support loops.
Fixed numerous bug after exmining output when run on wu-ftpd.
drl7x [Thu, 4 Jan 2001 05:03:10 +0000 (05:03 +0000)]
*** empty log message ***
drl7x [Thu, 4 Jan 2001 05:01:41 +0000 (05:01 +0000)]
moved test suit from home
drl7x [Sat, 23 Dec 2000 05:23:04 +0000 (05:23 +0000)]
Added some new tests: sizeof, and bufferTest.
Turned off nullterminated test in Makefile
drl7x [Sat, 23 Dec 2000 05:17:53 +0000 (05:17 +0000)]
Prewinter break editing commit.
Code is mostly good.
Annoying bug with constraintExpr still needs to be fixed.
drl7x [Wed, 29 Nov 2000 23:38:24 +0000 (23:38 +0000)]
Handles ftpd.c in wu-ftp without crashing.
Gives lots of spurious messages though.
drl7x [Wed, 29 Nov 2000 09:51:30 +0000 (09:51 +0000)]
copy lib from lcclint-2.5q version.
drl7x [Wed, 29 Nov 2000 09:48:39 +0000 (09:48 +0000)]
Passes the standard LCLint test suite. YAAAAAAYYYY!!!!!
YAAAAAAAAAAYYYYYYYYYYYYYYYYY!!!!!!!!!!!!!!!!
drl7x [Wed, 29 Nov 2000 05:01:50 +0000 (05:01 +0000)]
We're now able to generate Maxset constraints for fixed sized arrays.
e.g. int x[3]; produces maxset(x) >= 2;
drl7x [Mon, 20 Nov 2000 22:05:53 +0000 (22:05 +0000)]
If checking mostly works. Boolean expression are handled.
Need to add > or < support. Committing to have a good back up.
This page took 0.1361 seconds and 4 git commands to generate.