]>
andersk Git - splint.git/log
drl7x [Wed, 7 May 2003 05:01:23 +0000 (05:01 +0000)]
Committing before tagging release.
drl7x [Tue, 29 Apr 2003 02:56:40 +0000 (02:56 +0000)]
Updated index in manual.
evans1629 [Tue, 29 Apr 2003 01:33:59 +0000 (01:33 +0000)]
Renamings to avoid conflicts with type names.
drl7x [Mon, 28 Apr 2003 23:27:53 +0000 (23:27 +0000)]
Added instruction for the Mac OSX build.
drl7x [Mon, 28 Apr 2003 22:43:56 +0000 (22:43 +0000)]
Got rid of outdated mailing list information.
drl7x [Mon, 28 Apr 2003 22:04:49 +0000 (22:04 +0000)]
Made some quick updates to the html version of the manual.
drl7x [Mon, 28 Apr 2003 21:27:28 +0000 (21:27 +0000)]
Changed the version from 3.1.1 to 3.1.0
Updated the the documentation to reflect this. Also applied patches to configure.ac submitted by Ralf Wilderhues.
Updated the .binary version for consistency.
\a
drl7x [Mon, 28 Apr 2003 19:02:16 +0000 (19:02 +0000)]
Added the manual pdf to CVS.
drl7x [Mon, 28 Apr 2003 00:25:13 +0000 (00:25 +0000)]
Fixed bug causing Splint is suggest using the +ignoresigns flag even if it was already being used.
(Bug for reported by John Regehr )
drl7x [Sun, 27 Apr 2003 22:27:36 +0000 (22:27 +0000)]
Updated the manual.
All flags supported by Splint are now listed. Also I fixed the section on numabstact types.
drl7x [Sun, 27 Apr 2003 21:20:32 +0000 (21:20 +0000)]
Updated html and word versions of the manual
drl7x [Wed, 23 Apr 2003 19:48:42 +0000 (19:48 +0000)]
Answered some of these questions in more detail.
evans1629 [Tue, 22 Apr 2003 02:31:57 +0000 (02:31 +0000)]
Fixed overly agressive assertions (from checking splint *.c in test/)
evans1629 [Tue, 22 Apr 2003 01:25:49 +0000 (01:25 +0000)]
Fixes after removing -unrecogcomments flag for make splintme.
drl7x [Mon, 21 Apr 2003 20:20:27 +0000 (20:20 +0000)]
Doing the commit so that files can be taged.
Changed 3.0.1.7 to 3.1.0 in the installation instructions.
drl7x [Mon, 21 Apr 2003 20:10:20 +0000 (20:10 +0000)]
Fixed line numbering in faq.html
drl7x [Mon, 21 Apr 2003 06:12:30 +0000 (06:12 +0000)]
Commented out the context_destroyMod (); destroy line
in llmain.c.
One of the functions called by this line causes a crash iff this is copmiled with gcc 2.95. Since we're going to exit anyway I didn't see any reason from this line.
drl7x [Mon, 21 Apr 2003 04:31:46 +0000 (04:31 +0000)]
Beautified the html code for the faq.
drl7x [Mon, 21 Apr 2003 04:13:02 +0000 (04:13 +0000)]
Indexed faq.html
drl7x [Mon, 21 Apr 2003 03:19:08 +0000 (03:19 +0000)]
Got gmake dist to work
This required making sure that additional files were added to the tar ball.
Also I had to fix a bug in the test sutie for db3.
evans1629 [Mon, 21 Apr 2003 01:52:30 +0000 (01:52 +0000)]
Fixes for win32
drl7x [Mon, 21 Apr 2003 01:02:07 +0000 (01:02 +0000)]
Updated FAQ to match the sytle of web pages on splint.org.
e.g. Adding tables with
info@splint.org
Download - Documentation - Manual - Links
Source - Linux - Publications - Talks, etc.
drl7x [Mon, 21 Apr 2003 00:27:57 +0000 (00:27 +0000)]
Added the splint.org css sheet to the html version of the faq.
drl7x [Sun, 20 Apr 2003 23:43:29 +0000 (23:43 +0000)]
Removed LARCH_PATH unfound reference from help.expect
VS: ----------------------------------------------------------------------
evans1629 [Sun, 20 Apr 2003 22:55:04 +0000 (22:55 +0000)]
Fixed inclusion problems with osd.h.
evans1629 [Sun, 20 Apr 2003 22:45:10 +0000 (22:45 +0000)]
Making fixes for Microsoft Visual C++ compiler.
Moved portab.h into osd.h (and removed portab.h)
removed empty constraintOutput.c
drl7x [Sun, 20 Apr 2003 20:58:55 +0000 (20:58 +0000)]
Created html faq file to replace the faq.txt
evans1629 [Sun, 20 Apr 2003 20:07:53 +0000 (20:07 +0000)]
Added support for ISO C99 _Bool and stdbool bool/true/false. The
default boolname, truename and falsename were changed to be consistent
with ISO C99's bool.
evans1629 [Sun, 20 Apr 2003 02:31:48 +0000 (02:31 +0000)]
Incorporated path for file inclusion in cpplib.c.
Updated version number.
evans1629 [Wed, 16 Apr 2003 22:41:39 +0000 (22:41 +0000)]
Added linux builtin type in inet.h to unix library.
Changed default setting of warnunixlib and error message.
evans1629 [Mon, 14 Apr 2003 04:12:55 +0000 (04:12 +0000)]
Fixed all /*@i...@*/ tags (except 1).
evans1629 [Sat, 12 Apr 2003 14:42:16 +0000 (14:42 +0000)]
Testing CVS setup. Changed src/Makefile.am to reflect correct number of
r/r conflicts.
drl7x [Sat, 12 Apr 2003 04:12:21 +0000 (04:12 +0000)]
Fixed /*@i@*/ warning in splintme
drl7x [Fri, 11 Apr 2003 22:31:31 +0000 (22:31 +0000)]
Fixed /*@i@*/ splintme errors.
drl7x [Fri, 11 Apr 2003 22:13:28 +0000 (22:13 +0000)]
Fixed /*@i@*/ warnings.
drl7x [Fri, 11 Apr 2003 22:02:55 +0000 (22:02 +0000)]
Surpressed spurious splintme error in osd.c
drl7x [Fri, 11 Apr 2003 19:17:59 +0000 (19:17 +0000)]
Cleaned up code in doMergeString
drl7x [Fri, 11 Apr 2003 19:10:50 +0000 (19:10 +0000)]
Fixed some /@*i@*/ comments in the code.
Also changed the version number to 3.0.1.8 to differentiate it from the version in redhat 9.
drl7x [Mon, 7 Apr 2003 01:41:27 +0000 (01:41 +0000)]
Fixed name checking errors.
drl7x [Mon, 7 Apr 2003 01:09:32 +0000 (01:09 +0000)]
Removed /*bee:...*/ comments.
These comments contained important about place where the splintme detected potential bounds errors within Splint.
They were removed because this information was not particularly useful and it made the code harder to read.
drl7x [Mon, 31 Mar 2003 18:19:38 +0000 (18:19 +0000)]
Committing Evans's update of man page to fix problems reported by ESR.
drl7x [Mon, 31 Mar 2003 07:26:19 +0000 (07:26 +0000)]
Pushed back constraintResolve.c to the previous version.
The previous appeared to contain only stylistic changes but it introduced bugs of the bounds checking code.
drl7x [Mon, 31 Mar 2003 03:29:18 +0000 (03:29 +0000)]
Committing after merging Evan's changes.
This code breaken but atleast it compile making it an improvement over the current version which doesn't compile after yesterday's committs.
evans1629 [Sat, 29 Mar 2003 17:26:15 +0000 (17:26 +0000)]
*** empty log message ***
drl7x [Fri, 28 Mar 2003 19:23:19 +0000 (19:23 +0000)]
Fixed type error causing a seg fault.
drl7x [Mon, 24 Mar 2003 07:53:23 +0000 (07:53 +0000)]
Added web version of the realloc document.
(Created with save as html and then fixed up with Tidy.)
drl7x [Mon, 24 Mar 2003 07:50:59 +0000 (07:50 +0000)]
Created new html version of the manual by manually editing the html of the new html to reflect changes made to the word file in the last year.
drl7x [Mon, 17 Mar 2003 22:27:01 +0000 (22:27 +0000)]
Added html version of manual. (This is the 7 Jan 2002 version.)
drl7x [Mon, 17 Mar 2003 19:56:18 +0000 (19:56 +0000)]
Made a few quick edits to the manual before creating the HTML page.
drl7x [Mon, 10 Mar 2003 06:39:53 +0000 (06:39 +0000)]
Updated libary version number.
drl7x [Sat, 8 Mar 2003 07:07:06 +0000 (07:07 +0000)]
Added the FAQ and a document on using realloc to CVS.
Edited Makefile.am so they would be included in the distribution tar ball
drl7x [Fri, 7 Mar 2003 08:10:38 +0000 (08:10 +0000)]
Fixed some splintme errors from the previous code change.
drl7x [Fri, 7 Mar 2003 07:16:11 +0000 (07:16 +0000)]
Fixed bug #697722 Assert error / global
I had to fish around a lot but Splint now handles thing cleanly if a global is used in a /*@requires isnull ..@*/ or similar clause.
Basically, we just ignore the variable as was the old behavior. The bug was that llassert were failing. I think things likely became broken after the code implementing the overloading of the requires keyword was added.
drl7x [Thu, 6 Mar 2003 06:20:48 +0000 (06:20 +0000)]
Modified tests to account for bool being defined in the standard library.
drl7x [Thu, 6 Mar 2003 05:58:07 +0000 (05:58 +0000)]
Added support for the _Bool type
This time I out it in standard.h.
I'm not sure why we have ansi.h and standard.h
drl7x [Thu, 6 Mar 2003 04:29:34 +0000 (04:29 +0000)]
In response to [ 689702 ] Missing C99 __func__ predefined identifier
Added the __func__ identifier from C99
Not this won't follow the same semantics as
__func__ in C99
FWIW C99 says that __func__ should have the value of the
lexically enclosing function
e.g. in the function foo __func__ == "foo"
in bar __func__ == "bar"
We're just having the value be constant here and picking
an arbitary value.
drl7x [Thu, 6 Mar 2003 01:49:13 +0000 (01:49 +0000)]
Fixed bug 672239 sizeof(array[0]) gives NULL derefence warning.
Note this required changing the grammar and ended up increasing the number of reduce/reduce conflicts.
drl7x [Mon, 3 Mar 2003 19:36:14 +0000 (19:36 +0000)]
fixed some /*@i---@*/ comments.
----------------------------------------------------------------------
drl7x [Mon, 3 Mar 2003 04:56:01 +0000 (04:56 +0000)]
Fixed previously ignored splintme errors in constraintResolve.c
drl7x [Mon, 3 Mar 2003 04:16:17 +0000 (04:16 +0000)]
Fixed previously ignored warnings in constraintGeneration.c
drl7x [Mon, 3 Mar 2003 03:16:43 +0000 (03:16 +0000)]
Fixed previously ignored splintme warnings in loopHeuristics.c
drl7x [Mon, 3 Mar 2003 02:14:23 +0000 (02:14 +0000)]
Fixed splintme errors in constraint.c that had previously been surpressed.
drl7x [Mon, 3 Mar 2003 01:47:27 +0000 (01:47 +0000)]
constraintExpr.c passes splintme without having to turn off warnings.
drl7x [Mon, 3 Mar 2003 00:32:18 +0000 (00:32 +0000)]
Fixed some splintme errors.
drl7x [Sun, 2 Mar 2003 20:18:45 +0000 (20:18 +0000)]
Updated copyrights
drl7x [Sun, 2 Mar 2003 19:59:11 +0000 (19:59 +0000)]
Updated the copyright on source code files.
drl7x [Sun, 2 Mar 2003 19:27:25 +0000 (19:27 +0000)]
Fixed data on readme.
Also fixed some problems in the scripts to create binary tar balls.
drl7x [Sun, 2 Mar 2003 00:49:57 +0000 (00:49 +0000)]
Added sizeoftest/Makefile to distribution tar ball.
drl7x [Sat, 1 Mar 2003 21:29:31 +0000 (21:29 +0000)]
Changed 3.0.1.6 to 3.0.1.7 for /doc
drl7x [Sat, 1 Mar 2003 21:19:26 +0000 (21:19 +0000)]
Changed "3.0.1.6" to "3.0.1.7"
drl7x [Fri, 28 Feb 2003 10:09:06 +0000 (10:09 +0000)]
Got rid of [look into this ] messages in null.expect and outglob.expect
drl7x [Fri, 28 Feb 2003 09:38:58 +0000 (09:38 +0000)]
Updated the manual to reflect additions to the bounds checking code.
drl7x [Fri, 28 Feb 2003 05:04:20 +0000 (05:04 +0000)]
Code passes splintme with no errors.
drl7x [Fri, 28 Feb 2003 03:54:39 +0000 (03:54 +0000)]
Added missing header to get rid of splintme errors.
drl7x [Fri, 28 Feb 2003 03:47:21 +0000 (03:47 +0000)]
Added additional files to the distribution tar ball.
drl7x [Fri, 3 Jan 2003 22:24:22 +0000 (22:24 +0000)]
Fixed fatal bug involving bounds checking of expressions of the form sizeof(variable).
drl7x [Sat, 21 Dec 2002 05:07:29 +0000 (05:07 +0000)]
*** empty log message ***
drl7x [Fri, 20 Dec 2002 02:04:14 +0000 (02:04 +0000)]
Added the flags likely-bounds, likely-bounds-write, and likely-bounds-read
Correspond to error messages for constraints that have only constants.
drl7x [Thu, 19 Dec 2002 00:28:12 +0000 (00:28 +0000)]
Fixed sizeoftest test.
Fixed some bugs in src/Makefile.am
drl7x [Wed, 18 Dec 2002 23:54:36 +0000 (23:54 +0000)]
Added support for default buffer constraint annotations
and merged with previously committed code.
evans1629 [Wed, 18 Dec 2002 01:05:57 +0000 (01:05 +0000)]
Improved tracking of state change locations. Added +showdeephistory
flag to display all available information about state changes. Added
+locindentspaces to control indentation of sub-messages (to allow emacs
error jumping).
Separated cscanner.l code into cscannerHelp.c to distinguish it from
flex-generated code.
evans1629 [Sun, 15 Dec 2002 07:51:35 +0000 (07:51 +0000)]
ADded numabstract types.
drl7x [Sat, 14 Dec 2002 23:18:05 +0000 (23:18 +0000)]
Committing to make sure that the ./configure works.
evans1629 [Fri, 13 Dec 2002 00:10:13 +0000 (00:10 +0000)]
Fixed parsing problem with multiple inclusions of alt typedefs.
<b>Multiple passes on type definitions with /*@alt@*/</b>
<blockquote>
Splint will produce a parse error if a type definition like,
<pre>
typedef long /*@alt int@*/ newtype;
</pre>
is processed twice (for example if it is in a header file included
multiple times).
<p>
Reorted by Simon Hosie, fixed in CVS (2002-12-12).
</blockquote>
evans1629 [Thu, 12 Dec 2002 23:42:45 +0000 (23:42 +0000)]
Added code to support CSV output (-csv flag).
evans1629 [Thu, 12 Dec 2002 19:18:05 +0000 (19:18 +0000)]
Added support for +longint and +shortint and associated test case.
evans1629 [Thu, 12 Dec 2002 17:21:08 +0000 (17:21 +0000)]
Cleaned up code problems reported by make splintme.
drl7x [Thu, 12 Dec 2002 17:00:10 +0000 (17:00 +0000)]
Fixed configuration problem (hopefully).
Splint seems to need automake 1.6.3 if the Makefile.am are modified.
evans1629 [Thu, 12 Dec 2002 15:52:04 +0000 (15:52 +0000)]
Added sizesigns.c and sizesigns.expect. I can't actually make them now
because of the configure problems.
evans1629 [Thu, 12 Dec 2002 15:42:12 +0000 (15:42 +0000)]
Readded configure
evans1629 [Thu, 12 Dec 2002 15:22:42 +0000 (15:22 +0000)]
Remove empty configure file. This should not be in CVS.
drl7x [Wed, 11 Dec 2002 23:46:55 +0000 (23:46 +0000)]
Turned off type checking for bison generated files because this was
generating over 2000 error messages!!!
drl7x [Wed, 11 Dec 2002 23:12:30 +0000 (23:12 +0000)]
Fixed fatal errors in constraint checking.
Added a special in cscanner.l so that maxSet and maxRead are handled correctly.
drl7x [Tue, 10 Dec 2002 22:06:11 +0000 (22:06 +0000)]
This file is updated. And is no longer used to determine Splint's version number.
(I think we're using automake stuff now.)
drl7x [Tue, 10 Dec 2002 21:57:29 +0000 (21:57 +0000)]
Fixed assert failure involving multiple redefines of library functions.
i.e.
#define printf LIBPORT_UNDEF_printf
#undef printf
#define printf red_printf
Bug was reported by Malcolm Parsons
\a
drl7x [Sun, 8 Dec 2002 23:18:02 +0000 (23:18 +0000)]
Fixed problem with make dist so that packages can be made and distributed.
Commented out the sizesigns test case because the files for it were not in CVS.
drl7x [Sun, 8 Dec 2002 03:08:08 +0000 (03:08 +0000)]
#if 0 the code in cscanner.l causing fatal bugs in the constraint checking.
evans1629 [Wed, 4 Dec 2002 14:29:21 +0000 (14:29 +0000)]
Fixed but with multiple globals clauses reported by Gayath Ratnayaka.
evans1629 [Wed, 4 Dec 2002 01:40:37 +0000 (01:40 +0000)]
Committing my cosmetic code changes and fix of the token problem in
function clauses. There are some fatal bug errors with the constraint
checking but I think that was already there in the CVS.
drl7x [Fri, 29 Nov 2002 22:59:50 +0000 (22:59 +0000)]
Added test case for sizeof bug fix.
This page took 0.201163 seconds and 4 git commands to generate.