]>
andersk Git - splint.git/log
evans1629 [Sat, 5 Jan 2002 04:16:14 +0000 (04:16 +0000)]
Renamed truenull nullwhentrue and falsenull falsewhennull
evans1629 [Fri, 4 Jan 2002 07:47:45 +0000 (07:47 +0000)]
Added manual files
evans1629 [Fri, 4 Jan 2002 07:46:33 +0000 (07:46 +0000)]
Added manual test cases.
Updated to ISO C99 limits (option to still select ANSI 89).
evans1629 [Thu, 3 Jan 2002 19:45:44 +0000 (19:45 +0000)]
Changed checking of complete descruction so +strictdestroy is no
necessary for struct fields.
evans1629 [Thu, 3 Jan 2002 00:32:18 +0000 (00:32 +0000)]
Fixed checking for shift expressions.
evans1629 [Wed, 2 Jan 2002 09:12:44 +0000 (09:12 +0000)]
Fixed state clauses. Added obvious loop exec checking.
evans1629 [Mon, 31 Dec 2001 19:40:18 +0000 (19:40 +0000)]
Fixed preds.expect for name change.
evans1629 [Mon, 31 Dec 2001 07:23:03 +0000 (07:23 +0000)]
Updated copyright date.
evans1629 [Mon, 31 Dec 2001 04:53:58 +0000 (04:53 +0000)]
Fixed bug in uentry_makeVarFunction reported by Alexander Mai.
evans1629 [Mon, 31 Dec 2001 04:46:18 +0000 (04:46 +0000)]
Changed grammer to allow multiple /*@fallthrough@*/ /*FALLTHRU*/ comments.
evans1629 [Mon, 31 Dec 2001 04:24:37 +0000 (04:24 +0000)]
Fixed handling of wide character strings (L"test").
evans1629 [Mon, 31 Dec 2001 03:47:48 +0000 (03:47 +0000)]
Removed more temorary files.
evans1629 [Mon, 31 Dec 2001 03:32:09 +0000 (03:32 +0000)]
Removed test/*.lcs test/*.lh from CVS
evans1629 [Mon, 31 Dec 2001 03:28:40 +0000 (03:28 +0000)]
Changed configure.ac to incorporate Nelson Beebe's suggestion for
getting mode_t on IBM AIX.
evans1629 [Mon, 31 Dec 2001 03:13:57 +0000 (03:13 +0000)]
Fixed handling of __FUNCTION__
evans1629 [Mon, 31 Dec 2001 02:36:19 +0000 (02:36 +0000)]
Fixed processing of unrecognized pre-processor directives (bug reported
by Pierluigi Sanzani)
evans1629 [Mon, 31 Dec 2001 01:03:16 +0000 (01:03 +0000)]
Added checking for union initializers.
evans1629 [Sun, 30 Dec 2001 22:31:40 +0000 (22:31 +0000)]
Added legacy flag for unix lib.
evans1629 [Sun, 30 Dec 2001 20:16:04 +0000 (20:16 +0000)]
Fixed loading of rc files, warnrc and showscan.
evans1629 [Sun, 30 Dec 2001 16:36:16 +0000 (16:36 +0000)]
Fixed branch state bug with definitely null values (reported by Jon Wilson).
evans1629 [Sat, 29 Dec 2001 23:52:26 +0000 (23:52 +0000)]
Renaming - LCLint => Splint
evans1629 [Sat, 29 Dec 2001 20:43:40 +0000 (20:43 +0000)]
Updated README version number. (Testing sourceforge)
drl7x [Wed, 19 Dec 2001 19:20:26 +0000 (19:20 +0000)]
Modified configure.ac to new longer check for c++.
drl7x [Thu, 6 Dec 2001 03:39:42 +0000 (03:39 +0000)]
additional buffer checking annotations
drl7x [Wed, 5 Dec 2001 03:48:51 +0000 (03:48 +0000)]
*** empty log message ***
drl7x [Fri, 30 Nov 2001 02:34:28 +0000 (02:34 +0000)]
*** empty log message ***
drl7x [Fri, 30 Nov 2001 00:44:48 +0000 (00:44 +0000)]
*** empty log message ***
drl7x [Thu, 29 Nov 2001 23:55:57 +0000 (23:55 +0000)]
Added additonal files to DIST_EXTRA so that autoconf's make dist feature can be used.
drl7x [Thu, 29 Nov 2001 06:23:53 +0000 (06:23 +0000)]
Cahnged default LCLIMPORTDIR
drl7x [Thu, 29 Nov 2001 06:22:41 +0000 (06:22 +0000)]
Fixed to handled double requires clauses cleanly
drl7x [Thu, 29 Nov 2001 06:20:46 +0000 (06:20 +0000)]
Fixed double requires clauses in posix.h
drl7x [Thu, 29 Nov 2001 06:19:49 +0000 (06:19 +0000)]
Fixed help.expect
drl7x [Thu, 29 Nov 2001 02:28:18 +0000 (02:28 +0000)]
Took makefile out of repository.
drl7x [Thu, 29 Nov 2001 02:26:29 +0000 (02:26 +0000)]
Work around for the MaxSet(c) >= sizeof c -1 simplification.
Added comments to ignore array bounds errors in lex and bison files
drl7x [Wed, 28 Nov 2001 22:07:31 +0000 (22:07 +0000)]
Added additional tests for buffer overflow detection fixes to the test suite.
Test are fore the constructs char c[CONSTEXPR+ CONSTREXPR] and char b[UNKNOWNCONSTANT].
drl7x [Tue, 27 Nov 2001 19:54:02 +0000 (19:54 +0000)]
Took tests2.2a out of Makefile temporalily.
drl7x [Tue, 27 Nov 2001 18:19:30 +0000 (18:19 +0000)]
Tried to fix some problems with the configuration system.
Added the flag slashslashcomment which detects // comments
Made numberous improvements in the buffer overflow checking. Among other things char array[literal + literal] is now handled correctly.
We also try to handle char array[CONSTANT] where the value of constant is system dependent and not known to LCLint.
drl7x [Thu, 15 Nov 2001 21:25:07 +0000 (21:25 +0000)]
Removed .out files from the repository because they are automaticaly gnerated durring make test and have no propose after that.
evans1629 [Fri, 19 Oct 2001 22:42:33 +0000 (22:42 +0000)]
Added mtgrammar.c.der
drl7x [Wed, 17 Oct 2001 03:27:52 +0000 (03:27 +0000)]
Tried to fix more problmes with the Makefiles
drl7x [Wed, 17 Oct 2001 03:00:15 +0000 (03:00 +0000)]
Made some additional changes to the makefile. Now it builds correctly.
Although the binary isn't copied to bin.
drl7x [Wed, 17 Oct 2001 02:43:23 +0000 (02:43 +0000)]
I'm trying to fix some of the problems with the Makefile.
I can't test this because it doesn't seem to like the automake 1.4 on debian.
evans1629 [Tue, 16 Oct 2001 21:22:55 +0000 (21:22 +0000)]
Added config/* - CVS apparently doesn't do this automatically!
evans1629 [Tue, 16 Oct 2001 16:51:01 +0000 (16:51 +0000)]
Removed bufferTest
evans1629 [Tue, 16 Oct 2001 00:24:47 +0000 (00:24 +0000)]
Added doc/ directory
evans1629 [Sun, 14 Oct 2001 16:28:43 +0000 (16:28 +0000)]
Fixed test suite (temporarily) to run nested test cases
evans1629 [Sun, 14 Oct 2001 01:16:03 +0000 (01:16 +0000)]
Updated build to use automake files created by Tim Van Holder.
evans1629 [Sat, 13 Oct 2001 05:48:29 +0000 (05:48 +0000)]
Changed BADBRANCH to avoid gcc warnings.
evans1629 [Tue, 9 Oct 2001 16:39:12 +0000 (16:39 +0000)]
Cleaned up cpplib
drl7x [Mon, 8 Oct 2001 23:43:06 +0000 (23:43 +0000)]
Added loopHeuristics.c to replace forjunk.c
i.e. we "renamed" forjunk.c
drl7x [Mon, 8 Oct 2001 23:41:28 +0000 (23:41 +0000)]
Removed src/Headers/local_constants.last from CVS because
this file is just a back up of an automaticly generated file.
drl7x [Mon, 8 Oct 2001 23:07:30 +0000 (23:07 +0000)]
Added a comment with standard header giving copyright information.
drl7x [Mon, 8 Oct 2001 22:54:59 +0000 (22:54 +0000)]
Fixed Makefile to create bin directory.
evans1629 [Sun, 7 Oct 2001 06:24:15 +0000 (06:24 +0000)]
string literal initialization sizes
evans1629 [Sun, 7 Oct 2001 04:43:17 +0000 (04:43 +0000)]
Fixed handling of octal constants.
evans1629 [Sat, 6 Oct 2001 04:58:06 +0000 (04:58 +0000)]
do..while control flow fix in exprNode.c
evans1629 [Sat, 6 Oct 2001 04:04:34 +0000 (04:04 +0000)]
Fixes for 3.0.0.18:
Fixed but in aliasing for += assignments. (Reported by Nelson Beebe.)
Fixed %c handling in format strings - its an int converted to unsigned
char. (Reported by Nelson Beebe.)
Fixed spelling of "preceeding" ("preceding"). (Suggested by Nelson Beebe.)
Changed char_fromInt assertions to allow non-ASCII character
sets. (Suggested by Anthony Giorgio)
herbert [Sat, 29 Sep 2001 13:22:08 +0000 (13:22 +0000)]
Some work on the files in os2/, removed unnecessary
configuration stuff. Changed the expect in unsignedcompare test
target.
herbert [Fri, 28 Sep 2001 08:33:52 +0000 (08:33 +0000)]
readd
herbert [Thu, 27 Sep 2001 10:11:29 +0000 (10:11 +0000)]
version
herbert [Thu, 27 Sep 2001 10:10:50 +0000 (10:10 +0000)]
files to circumvent automatic header file generation
herbert [Thu, 27 Sep 2001 09:48:03 +0000 (09:48 +0000)]
cpplib.c: added OS2 conditional after emtpy default: label (see
inline doc), cscanner.l: fixed include for IBMC compiler
herbert [Thu, 27 Sep 2001 09:35:37 +0000 (09:35 +0000)]
hopefully with crlfs now
herbert [Thu, 27 Sep 2001 09:35:01 +0000 (09:35 +0000)]
file format problems
evans1629 [Thu, 27 Sep 2001 02:11:33 +0000 (02:11 +0000)]
Fixed problems with DOS file format.
drl7x [Wed, 26 Sep 2001 15:18:56 +0000 (15:18 +0000)]
Small additions to library
herbert [Wed, 26 Sep 2001 10:42:37 +0000 (10:42 +0000)]
Changes for the OS/2 port: cpplib.c (fixed cstring_replaceAll()
backslashes to slashes), cscanner.l (fixed includes for IBMC)
and constants.h (changed default rcfile name to .lclintrc).
Added files for building the OS/2 port: os2/ subdirectory
containing Makefile, batches and documentation, src/lclint.def
needed for linking and test-Makefiles.
evans1629 [Tue, 25 Sep 2001 12:55:32 +0000 (12:55 +0000)]
Fixed unsignedcompare test. Removed diag for unclosed files.
drl7x [Tue, 25 Sep 2001 07:03:37 +0000 (07:03 +0000)]
Added usleep to unix.h in library.
drl7x [Mon, 24 Sep 2001 22:02:19 +0000 (22:02 +0000)]
Updated library headers to include some missing functions.
Fixed some stuff in test.
evans1629 [Mon, 24 Sep 2001 21:18:32 +0000 (21:18 +0000)]
Removed test/temp from CVS control.
evans1629 [Mon, 24 Sep 2001 21:15:29 +0000 (21:15 +0000)]
Removed stray files in test
drl7x [Mon, 24 Sep 2001 21:01:57 +0000 (21:01 +0000)]
Updated specifications in the unix library. Added the file stdio.h and stdlib.h will corespond to the library files as defined by the open group.
evans1629 [Sun, 23 Sep 2001 18:14:02 +0000 (18:14 +0000)]
Added fileTable tracking of open files, so they may be closed on fatal exits.
evans1629 [Sat, 22 Sep 2001 18:10:56 +0000 (18:10 +0000)]
OS/2 command line args fix provided by Herbert Martin Dietze.
evans1629 [Wed, 12 Sep 2001 23:24:07 +0000 (23:24 +0000)]
*** empty log message ***
drl7x [Wed, 5 Sep 2001 22:41:26 +0000 (22:41 +0000)]
changed PLUS to BINARYOP_PLUS
drl7x [Wed, 5 Sep 2001 20:22:37 +0000 (20:22 +0000)]
*** empty log message ***
evans [Mon, 27 Aug 2001 05:07:32 +0000 (05:07 +0000)]
*** empty log message ***
evans [Wed, 22 Aug 2001 16:33:27 +0000 (16:33 +0000)]
*** empty log message ***
evans [Mon, 20 Aug 2001 15:30:39 +0000 (15:30 +0000)]
*** empty log message ***
evans [Sun, 19 Aug 2001 18:04:28 +0000 (18:04 +0000)]
*** empty log message ***
drl7x [Wed, 15 Aug 2001 03:18:01 +0000 (03:18 +0000)]
*** empty log message ***
drl7x [Sun, 12 Aug 2001 05:46:46 +0000 (05:46 +0000)]
REmoved references to the full working directory of LCLint for test outputs since this is nonstand information.
drl7x [Sun, 12 Aug 2001 05:45:19 +0000 (05:45 +0000)]
Added klugdy support for malloc (sizeof type * expr) type statement.
Also fixed ignoring behavior.
drl7x [Sun, 12 Aug 2001 05:44:08 +0000 (05:44 +0000)]
*** empty log message ***
drl7x [Sat, 11 Aug 2001 16:43:26 +0000 (16:43 +0000)]
Fixed test to have correct sort order.
drl7x [Sat, 11 Aug 2001 16:42:03 +0000 (16:42 +0000)]
*** empty log message ***
drl7x [Sat, 11 Aug 2001 16:41:05 +0000 (16:41 +0000)]
Fix bug in fileloc_compare which was causeing problem in constraint sorting.
drl7x [Wed, 8 Aug 2001 18:33:21 +0000 (18:33 +0000)]
REmoved non-working test from make file and changed .expects to reflect the new message format.
drl7x [Wed, 8 Aug 2001 18:32:12 +0000 (18:32 +0000)]
Made cosmetic improves to messages.
And added an abort if messages become too deep.
evans [Wed, 1 Aug 2001 20:17:05 +0000 (20:17 +0000)]
*** empty log message ***
evans [Mon, 30 Jul 2001 19:42:23 +0000 (19:42 +0000)]
*** empty log message ***
drl7x [Mon, 30 Jul 2001 13:34:47 +0000 (13:34 +0000)]
*** empty log message ***
evans [Sun, 29 Jul 2001 02:01:08 +0000 (02:01 +0000)]
*** empty log message ***
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 ***
This page took 0.090973 seconds and 4 git commands to generate.