]>
andersk Git - splint.git/log
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).
drl7x [Fri, 29 Mar 2002 04:43:21 +0000 (04:43 +0000)]
Hacking Makefile to print a warning when test suite to run under /usr
evans1629 [Mon, 25 Mar 2002 19:04:17 +0000 (19:04 +0000)]
Testing update message.
evans1629 [Mon, 25 Mar 2002 18:55:48 +0000 (18:55 +0000)]
Fixed creation of temp files.
evans1629 [Mon, 18 Mar 2002 01:54:51 +0000 (01:54 +0000)]
Fixed anytype resolution.
evans1629 [Sun, 17 Mar 2002 19:49:46 +0000 (19:49 +0000)]
Removed unexport's from makefile. They don't seem to work everywhere.
evans1629 [Sun, 17 Mar 2002 19:45:30 +0000 (19:45 +0000)]
Added llgrammar_gen2.h
evans1629 [Sun, 17 Mar 2002 19:42:22 +0000 (19:42 +0000)]
Added signature_gen.h
evans1629 [Sun, 17 Mar 2002 19:36:50 +0000 (19:36 +0000)]
Added llgrammar_gen.h
evans1629 [Sun, 17 Mar 2002 19:30:16 +0000 (19:30 +0000)]
Added cgrammar_tokens.h
evans1629 [Sun, 17 Mar 2002 19:19:54 +0000 (19:19 +0000)]
Added htmlfileformat flag.
evans1629 [Sun, 17 Mar 2002 04:44:16 +0000 (04:44 +0000)]
Fixed internal error for stray type names in structure field declarations.
evans1629 [Sun, 17 Mar 2002 04:32:50 +0000 (04:32 +0000)]
Fixed problem with unnamed unions within struct definitions.
evans1629 [Sun, 17 Mar 2002 03:41:17 +0000 (03:41 +0000)]
Fixed problem with print format for +showalluses.
evans1629 [Sat, 16 Mar 2002 19:40:38 +0000 (19:40 +0000)]
Fixed problem with resetting null state after error for constants.
Added anytype constant to support /*@alt anytype@*/ properly.
evans1629 [Sat, 16 Mar 2002 00:54:13 +0000 (00:54 +0000)]
Fixed problem with loop guards in loop test effects. New test case
looptesteffect. (Reported by Anders Pilegaard)
evans1629 [Fri, 15 Mar 2002 22:56:22 +0000 (22:56 +0000)]
Fixed bug in usymtab clearing derived sRefs when exiting scope.
evans1629 [Wed, 13 Mar 2002 22:30:18 +0000 (22:30 +0000)]
o Make lltok an abstract type, a pointer to structure instead of a plain
struct. There are still some memory leaks in the parser --- all
tokens should be deallocated.
o Added messagestream, warningstream and errorstream control flags so
each type of message can be directed to a different stream:
messagestreamstdout
messagestreamstderr
messagestream <file>
evans1629 [Tue, 12 Mar 2002 14:44:33 +0000 (14:44 +0000)]
Win32 problems
drl7x [Tue, 12 Mar 2002 03:47:39 +0000 (03:47 +0000)]
Fixed error in Makefile.am (/* */ was used for comment instead of #
evans1629 [Mon, 11 Mar 2002 00:13:53 +0000 (00:13 +0000)]
Temporarily set flags to splintme without warnings.
evans1629 [Sat, 2 Mar 2002 23:31:43 +0000 (23:31 +0000)]
Fixed line numbering when multi-line macro parameters are used.
Changed handling of comments, location is now start of comment. [some
problems with this still in processing macros]
Fixed most of the problems detected by null checking, except in
constraint code.
drl7x [Fri, 1 Mar 2002 07:48:48 +0000 (07:48 +0000)]
Modified the doc/Makefile.am so that the man page is install under make install.
\18 \18
drl7x [Wed, 27 Feb 2002 23:02:08 +0000 (23:02 +0000)]
*** empty log message ***
drl7x [Sat, 23 Feb 2002 04:47:07 +0000 (04:47 +0000)]
Fixed bug with improper handling of string concatenation in string literal related to the string initialization checking.
evans1629 [Tue, 19 Feb 2002 13:17:59 +0000 (13:17 +0000)]
Added grammar support for compound literals. (Reported by Peter Anttu.)
evans1629 [Tue, 19 Feb 2002 00:52:41 +0000 (00:52 +0000)]
Integrated Herbert Martin Dietze's changes for OS/2.
drl7x [Mon, 18 Feb 2002 19:41:03 +0000 (19:41 +0000)]
*** empty log message ***
herbert [Mon, 18 Feb 2002 10:45:47 +0000 (10:45 +0000)]
Updated documentation and Makefiles (LCLint -> splint),
configuration is now largely automatic (using Unix tools `sed',
`tr' etc.), removed obsolete files.
drl7x [Thu, 14 Feb 2002 03:34:20 +0000 (03:34 +0000)]
Fixed bug preventing the expression of a return statement from being checked for errors.
evans1629 [Wed, 13 Feb 2002 15:24:58 +0000 (15:24 +0000)]
Fixed warning message for shiftsigned flag. (Reported by Melson Beebe.)
drl7x [Tue, 12 Feb 2002 07:58:52 +0000 (07:58 +0000)]
Put instruction files from web site into CVS development directory.
drl7x [Mon, 11 Feb 2002 20:10:07 +0000 (20:10 +0000)]
Sym link install.html correctly to web site directory.
drl7x [Mon, 11 Feb 2002 20:04:18 +0000 (20:04 +0000)]
Put .c and .expect files for new test cases into the extra dist in test/Makefile.am so they'll get included in the distributions.
Include index.html in release tar balls.
evans1629 [Mon, 11 Feb 2002 03:14:40 +0000 (03:14 +0000)]
Added warnsysfiles flag to manual.
evans1629 [Sun, 10 Feb 2002 23:25:10 +0000 (23:25 +0000)]
Fixed bug with unrecognized files in #line commands.
evans1629 [Sun, 10 Feb 2002 23:20:48 +0000 (23:20 +0000)]
Extended grammar to support designators in initializers.
evans1629 [Sun, 10 Feb 2002 20:29:52 +0000 (20:29 +0000)]
Fixed but with parenthesized pointer declarations.
evans1629 [Thu, 7 Feb 2002 00:02:52 +0000 (00:02 +0000)]
Fixed bug with FIELDASSIGN
evans1629 [Wed, 6 Feb 2002 01:27:13 +0000 (01:27 +0000)]
Fixed internal errors for field assignments --- this is a temporary fix,
should probably report errors but I need to look into it.
evans1629 [Wed, 6 Feb 2002 00:08:27 +0000 (00:08 +0000)]
Fixed internal bug for if ((a[0][1]) != 0)
evans1629 [Wed, 6 Feb 2002 00:03:08 +0000 (00:03 +0000)]
Fixed internal bug for enum lists defined in structures without field names.
evans1629 [Tue, 5 Feb 2002 23:41:23 +0000 (23:41 +0000)]
Relaxed grammar to allow null external declarations.
evans1629 [Tue, 5 Feb 2002 23:13:13 +0000 (23:13 +0000)]
Added test case for division by zero.
evans1629 [Tue, 5 Feb 2002 23:02:04 +0000 (23:02 +0000)]
Forgot to commit multiVal.c
drl7x [Tue, 5 Feb 2002 06:02:27 +0000 (06:02 +0000)]
3.0.1.5 release.
drl7x [Tue, 5 Feb 2002 03:36:19 +0000 (03:36 +0000)]
Fixed automake related problems.
Added the flag boundscompacterrormessages to help output.
drl7x [Tue, 5 Feb 2002 02:36:57 +0000 (02:36 +0000)]
Fixed bug preventing +showconstraintlocation from being the default.
Update the test cases accordingly.
This page took 0.269403 seconds and 4 git commands to generate.