]>
andersk Git - splint.git/log
drl7x [Fri, 18 Jan 2002 21:57:57 +0000 (21:57 +0000)]
*** empty log message ***
drl7x [Fri, 18 Jan 2002 21:38:34 +0000 (21:38 +0000)]
System file warning message now not printed if -systemdirerrors is used.
drl7x [Fri, 18 Jan 2002 21:27:38 +0000 (21:27 +0000)]
Added the flag warnsysfiles (default +) if this flag is set splint warns if the user tries to run splint on a system file.
drl7x [Fri, 18 Jan 2002 04:36:32 +0000 (04:36 +0000)]
Hopefully finially added bin/Makefile.am and bin/Makefile.in
drl7x [Fri, 18 Jan 2002 04:05:07 +0000 (04:05 +0000)]
Trying to add dummyfile to be bin to stay in the repository.\18
drl7x [Fri, 18 Jan 2002 03:56:25 +0000 (03:56 +0000)]
Trying to get Makefile in the repository.
drl7x [Thu, 17 Jan 2002 20:27:52 +0000 (20:27 +0000)]
Finished adding flags to the manual.
drl7x [Thu, 17 Jan 2002 11:48:39 +0000 (11:48 +0000)]
Added some additonal flag descriptions to the manual.
drl7x [Thu, 17 Jan 2002 06:57:52 +0000 (06:57 +0000)]
Fixed buffer overflow in cscanner.l
evans1629 [Thu, 17 Jan 2002 04:43:41 +0000 (04:43 +0000)]
Fixed handling of array dimensions (bug reported by Randi J. Relander)
Added arraydims.c test case
drl7x [Tue, 15 Jan 2002 04:47:38 +0000 (04:47 +0000)]
Replacing the directory preBuilt with bin
drl7x [Mon, 14 Jan 2002 20:01:41 +0000 (20:01 +0000)]
Makefiles for preBuilt this directory is intended to be part of the binary distribution. It contains an allready built source by and the makefiles.
drl7x [Mon, 14 Jan 2002 19:59:42 +0000 (19:59 +0000)]
Added files so that mkae bindist will work on system wihtout up to date(bleeding edge?) versions of autoconf and automake.
drl7x [Mon, 14 Jan 2002 19:56:39 +0000 (19:56 +0000)]
Added files to generate a binary package by doing make bindist
drl7x [Mon, 14 Jan 2002 08:36:41 +0000 (08:36 +0000)]
Got gmake to work on test suit. (Changed the cleanout grep so that it searches for gmake in addition to make.)
used grep -v to exclude hard coded default LARCH and LCLIMPORTDIR values form test output.
evans1629 [Thu, 10 Jan 2002 19:05:02 +0000 (19:05 +0000)]
Added install.html to CVS.
evans1629 [Thu, 10 Jan 2002 19:04:42 +0000 (19:04 +0000)]
Fixed problem with identifyFlag revealed by splint -help flags full
(reported by Jim Zelenka)
Added tests to help test to check -help flags full and -help flags
manual.
drl7x [Thu, 10 Jan 2002 06:24:44 +0000 (06:24 +0000)]
Patched bug in splint --help flags full
drl7x [Thu, 10 Jan 2002 05:14:54 +0000 (05:14 +0000)]
Put builtin -D flags for specific arcitectures.
drl7x [Thu, 10 Jan 2002 02:33:17 +0000 (02:33 +0000)]
*** empty log message ***
drl7x [Thu, 10 Jan 2002 02:01:05 +0000 (02:01 +0000)]
splint now tried to define a symbol based on the current processor type.
It use target_cpu from autoconf.
evans1629 [Wed, 9 Jan 2002 15:50:54 +0000 (15:50 +0000)]
Reviewed DRL's manual changes. Moved bounds flags to appropriate place.
evans1629 [Wed, 9 Jan 2002 14:43:14 +0000 (14:43 +0000)]
still trying to add doc files
drl7x [Wed, 9 Jan 2002 11:43:57 +0000 (11:43 +0000)]
Added some flags to the manual.
drl7x [Wed, 9 Jan 2002 11:15:44 +0000 (11:15 +0000)]
*** empty log message ***
drl7x [Wed, 9 Jan 2002 06:34:04 +0000 (06:34 +0000)]
Added doc/Makefile.am to get make dist to work.
evans1629 [Wed, 9 Jan 2002 04:13:54 +0000 (04:13 +0000)]
Moved doc/lclint.1 to doc/splint.1
Changed email addess in source comments
evans1629 [Wed, 9 Jan 2002 02:08:49 +0000 (02:08 +0000)]
Removed /bin/csh from tainted/Makefile
evans1629 [Tue, 8 Jan 2002 21:45:08 +0000 (21:45 +0000)]
Added win32/ files to CVS
drl7x [Tue, 8 Jan 2002 20:59:01 +0000 (20:59 +0000)]
Added annotation to fix lint warning.
evans1629 [Tue, 8 Jan 2002 19:57:04 +0000 (19:57 +0000)]
Added winconfig.h
evans1629 [Tue, 8 Jan 2002 19:55:58 +0000 (19:55 +0000)]
Fixed up for win32 building (winconfig.h required)
drl7x [Tue, 8 Jan 2002 06:12:40 +0000 (06:12 +0000)]
Fixed the readme file based on the information on the web page.
evans1629 [Mon, 7 Jan 2002 18:40:35 +0000 (18:40 +0000)]
Removed stray hashTable.c file
drl7x [Mon, 7 Jan 2002 09:11:23 +0000 (09:11 +0000)]
*** empty log message ***
evans1629 [Mon, 7 Jan 2002 05:21:44 +0000 (05:21 +0000)]
Updated manual, suppressed warning in constraintResolve.c
drl7x [Mon, 7 Jan 2002 03:37:25 +0000 (03:37 +0000)]
*** empty log message ***
drl7x [Mon, 7 Jan 2002 03:30:45 +0000 (03:30 +0000)]
Adding redundantconstraints flags. Set constraintor and showconstraintlocation flags to true.
drl7x [Mon, 7 Jan 2002 02:36:40 +0000 (02:36 +0000)]
Fixed problems in library headers.
Remove splint generated files.
evans1629 [Mon, 7 Jan 2002 02:26:50 +0000 (02:26 +0000)]
Put manual in CVS
evans1629 [Sun, 6 Jan 2002 19:37:48 +0000 (19:37 +0000)]
Renamed lclintMacros.nf splintMacros.nf
Replaced remaining "lclint" names with "splint"
evans1629 [Sun, 6 Jan 2002 08:14:14 +0000 (08:14 +0000)]
Cleaned up flags to generate manual help.
Renamed arraybounds and arrayboundsread to boundswrite and boundsread
Replaced +control flag with duplicatecases, alwaysexits, emptyreturn and
macroreturn (all plain, default +)
Split
evans1629 [Sun, 6 Jan 2002 00:48:32 +0000 (00:48 +0000)]
Manual flags.
drl7x [Sat, 5 Jan 2002 22:56:31 +0000 (22:56 +0000)]
Added test cases from the buffer checking chapter of the manual.
evans1629 [Sat, 5 Jan 2002 22:35:14 +0000 (22:35 +0000)]
Generating flag manual; separated ARG_STRING into filename, path,
directory ARG_ types.
evans1629 [Sat, 5 Jan 2002 05:36:09 +0000 (05:36 +0000)]
unrecognizeddirective->unrecogdirective
evans1629 [Sat, 5 Jan 2002 05:27:04 +0000 (05:27 +0000)]
Remade libraries.
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.
This page took 0.131585 seconds and 4 git commands to generate.