]>
andersk Git - splint.git/log
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.
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.
This page took 0.078598 seconds and 4 git commands to generate.