]>
andersk Git - splint.git/log
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.
drl7x [Fri, 29 Nov 2002 21:50:35 +0000 (21:50 +0000)]
Fixed bug in handling of sizeof
Splint did not correctly handle code in which sizeof is applied to a string literal.
e.g. malloc (sizeof ("abcd") );
Bug was reported by Xiaolan Zhang
herbert [Tue, 12 Nov 2002 10:03:49 +0000 (10:03 +0000)]
Added new sources and test targets.
drl7x [Mon, 11 Nov 2002 02:33:49 +0000 (02:33 +0000)]
*** empty log message ***
drl7x [Fri, 25 Oct 2002 03:46:51 +0000 (03:46 +0000)]
Commented out segfault in new code.
drl7x [Fri, 25 Oct 2002 02:36:00 +0000 (02:36 +0000)]
Fixed bug in Makefile.am.
drl7x [Fri, 25 Oct 2002 01:19:21 +0000 (01:19 +0000)]
Fixed bug in makefile causing unnecessary remaking of cgrammar.c.
Added support for implict buffer constraint. This works mostly.
drl7x [Mon, 21 Oct 2002 21:28:59 +0000 (21:28 +0000)]
Fixed bug which would cause splint to crash if it was started with the -i flags and given an invalid argument.
This was confusing because -i is easily confuxed with -I.
Bug reported by Jesse Laird.
drl7x [Mon, 14 Oct 2002 21:57:43 +0000 (21:57 +0000)]
\a
Put back previously #if 0 'ed code.
I had to put this code back the case that needs it is when splint is given an absolute path name of a file outside of the current directory and the subdirectories below the current directory. e.g. cd /home/; splint /tmp/prog.c
NOTE: I added this code back previously in another branch. I don't know if my changes were lost in CVS of if another developer removed them intentionally.
drl7x [Thu, 10 Oct 2002 23:44:56 +0000 (23:44 +0000)]
Fixed bug in bounds checking code reported by Xiaolan Zhang.
The problem was with the constraints that the predicate implies for each branch of an if-else not being generated correctly.
This causes spurrious errors in code with if-else statements.
drl7x [Mon, 16 Sep 2002 21:47:04 +0000 (21:47 +0000)]
Removed .lh .lcs .lcd files in test directory from distribution tar ball as suggested by Brian Foster. Also set make clean to delete these files.
evans1629 [Sat, 7 Sep 2002 15:22:40 +0000 (15:22 +0000)]
Committed my changes (but there are several splintme errors currently).
drl7x [Thu, 5 Sep 2002 18:00:51 +0000 (18:00 +0000)]
Changed library version constant.\a
drl7x [Thu, 5 Sep 2002 16:33:20 +0000 (16:33 +0000)]
Fixed bug cause spurious bounds errors.
Made +orconstraint the default
Also small bug fix in code reading in splint libraries
The bug was that
code like:
int a[12];
for (i = 0; i < 12; i++)
a[i] = 0;
would be marked as a potential bounds error.
drl7x [Sat, 27 Jul 2002 22:57:25 +0000 (22:57 +0000)]
Fixed internal error that occured if user tried to load a lcd file they created for a library with no buffer constraints.
The fix involves a slight change to the library format but the code is done so that splint will still be able to read existed lcd files.
drl7x [Tue, 23 Jul 2002 21:05:11 +0000 (21:05 +0000)]
Fixed internal bug that occured when dumping bounds-check annotations involving structure fields.
evans1629 [Thu, 11 Jul 2002 18:53:12 +0000 (18:53 +0000)]
Added pointers.c and pointers.h to CVS.
evans1629 [Mon, 8 Jul 2002 19:05:38 +0000 (19:05 +0000)]
Fixed emptyret flag problem. ("emptyreturn" -> "emptyret" in flags.def)
evans1629 [Mon, 8 Jul 2002 18:10:24 +0000 (18:10 +0000)]
- library fixes:
<b>getgrgid, getgrnam, getpwnam</b>
<blockquote>
These functions from grp.h in the Posix and Unix libraries should be
declared to return /*@observer@*/ references. Reported by Enrico
Scholz. Fixed in CVS (2002-07-08), will be in 3.0.1.7.
</blockquote>
<b>sys/resource.h</b>
<blockquote>
The sys/resource.h segment of the Unix library was not updated to
SUSv3. The type of rlim_t, struct rlimit and struct rusage have been
updated. Reported by Enrico Scholz. Fixed in CVS (2002-07-08), will be
in 3.0.1.7.
</blockquote>
<b>Standard library missing snprintf</b>
<blockquote>
snprintf is in the unix library, but not the standard library. It was
added to ISO C99, so should be in the standard library. Reported by
Olivier L'Heureux. Fixed in CVS (2002-07-08), will be in 3.0.1.7.
</blockquote>
- parsing support for restrict pointers
- showloadloc to control printing line number for load files
evans1629 [Fri, 5 Jul 2002 17:39:43 +0000 (17:39 +0000)]
Update test results.
evans1629 [Fri, 5 Jul 2002 17:28:19 +0000 (17:28 +0000)]
Added chararrylit test case.
evans1629 [Wed, 3 Jul 2002 22:50:48 +0000 (22:50 +0000)]
Fixed pre-processing bug reported by Adam Clarke. Moved marking point
in cpplib.c.
evans1629 [Tue, 2 Jul 2002 13:59:57 +0000 (13:59 +0000)]
Fixed annotations on struct iovec and struct msghdr in unix.h
drl7x [Mon, 1 Jul 2002 08:59:13 +0000 (08:59 +0000)]
Apparently splint does not correctly handle the case in which a #defined constant is used in the function constraint unless it's been specified with the constant annotation.
Modified splint to halt and print a message suggesting that the constant annotation be used.
drl7x [Tue, 25 Jun 2002 04:29:17 +0000 (04:29 +0000)]
Fixed unix.h so splint could parse it so that splint could build the library.
drl7x [Fri, 7 Jun 2002 20:19:08 +0000 (20:19 +0000)]
Added back previosuly removed file lslinit.c to get splint to compile.
evans1629 [Fri, 31 May 2002 20:33:14 +0000 (20:33 +0000)]
Committed to enable merge.
evans1629 [Mon, 20 May 2002 14:33:15 +0000 (14:33 +0000)]
Added splint.spec file contributed by Heiko Abraham
evans1629 [Sun, 28 Apr 2002 22:43:39 +0000 (22:43 +0000)]
Fixed manual typo.
Split streams for warnings and status messages.
herbert [Sat, 13 Apr 2002 11:54:44 +0000 (11:54 +0000)]
test/Makefile.os2: merged in changes from 3.0.1.6 to 3.0.1.7
herbert [Fri, 12 Apr 2002 09:39:56 +0000 (09:39 +0000)]
stringliteral fixed
herbert [Fri, 12 Apr 2002 09:29:35 +0000 (09:29 +0000)]
os2/makeos2.cmd: also make in ../lib with `-o' option.
src/Makefile.os2: small bugfix.
src/fileTable.c: added #include and macros for S_IRUSR and friends
(OS/2 and IBMC only).
test/Makefile-test.os2: obsolete, replaced by test/Makefile.os2.
drl7x [Fri, 12 Apr 2002 07:48:20 +0000 (07:48 +0000)]
*** empty log message ***
drl7x [Fri, 12 Apr 2002 06:29:00 +0000 (06:29 +0000)]
Meaningless file added to see if committs also affect the splint repository.
evans1629 [Sat, 30 Mar 2002 20:24:21 +0000 (20:24 +0000)]
Fixed problem with comman line redefinitions (no filename).
This page took 0.376602 seconds and 4 git commands to generate.