![[BACK]](/icons/back.gif){kind=icon}
Up to [cvs.NetBSD.org] / pkgsrc / devel / splint
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.14 / (download) - annotate - [select for diffs], Tue Oct 26 10:19:57 2021 UTC (23 months, 1 week ago) by nia
Branch: MAIN
CVS Tags: pkgsrc-2023Q3-base,
pkgsrc-2023Q3,
pkgsrc-2023Q2-base,
pkgsrc-2023Q2,
pkgsrc-2023Q1-base,
pkgsrc-2023Q1,
pkgsrc-2022Q4-base,
pkgsrc-2022Q4,
pkgsrc-2022Q3-base,
pkgsrc-2022Q3,
pkgsrc-2022Q2-base,
pkgsrc-2022Q2,
pkgsrc-2022Q1-base,
pkgsrc-2022Q1,
pkgsrc-2021Q4-base,
pkgsrc-2021Q4,
HEAD
Changes since 1.13: +2 -2
lines
Diff to previous 1.13 (colored)
archivers: Replace RMD160 checksums with BLAKE2s checksums All checksums have been double-checked against existing RMD160 and SHA512 hashes Could not be committed due to merge conflict: devel/py-traitlets/distinfo The following distfiles were unfetchable (note: some may be only fetched conditionally): ./devel/pvs/distinfo pvs-3.2-solaris.tgz ./devel/eclipse/distinfo eclipse-sourceBuild-srcIncluded-3.0.1.zip
Revision 1.13 / (download) - annotate - [select for diffs], Thu Oct 7 13:44:31 2021 UTC (23 months, 3 weeks ago) by nia
Branch: MAIN
Changes since 1.12: +1 -2
lines
Diff to previous 1.12 (colored)
devel: Remove SHA1 hashes for distfiles
Revision 1.12 / (download) - annotate - [select for diffs], Sun Nov 3 10:55:22 2019 UTC (3 years, 11 months ago) by rillig
Branch: MAIN
CVS Tags: pkgsrc-2021Q3-base,
pkgsrc-2021Q3,
pkgsrc-2021Q2-base,
pkgsrc-2021Q2,
pkgsrc-2021Q1-base,
pkgsrc-2021Q1,
pkgsrc-2020Q4-base,
pkgsrc-2020Q4,
pkgsrc-2020Q3-base,
pkgsrc-2020Q3,
pkgsrc-2020Q2-base,
pkgsrc-2020Q2,
pkgsrc-2020Q1-base,
pkgsrc-2020Q1,
pkgsrc-2019Q4-base,
pkgsrc-2019Q4
Changes since 1.11: +2 -1
lines
Diff to previous 1.11 (colored)
devel/splint: fix type of signed shift expression https://github.com/splintchecker/splint/issues/13
Revision 1.10.12.1 / (download) - annotate - [select for diffs], Sat May 6 15:32:43 2017 UTC (6 years, 4 months ago) by bsiegert
Branch: pkgsrc-2017Q1
Changes since 1.10: +2 -2
lines
Diff to previous 1.10 (colored) next main 1.11 (colored)
Pullup ticket #5402 - requested by sevan
devel/splint: build fix
Revisions pulled up:
- devel/splint/distinfo 1.11
- devel/splint/patches/patch-aa 1.4
---
Module Name: pkgsrc
Committed By: maya
Date: Fri May 5 07:34:06 UTC 2017
Modified Files:
pkgsrc/devel/splint: distinfo
pkgsrc/devel/splint/patches: patch-aa
Log Message:
splint: use the standard check for C99 before including a C99 header
If PR pkg/47405 was not fixed before (it probably was), this should
definitely do the trick.
Revision 1.11 / (download) - annotate - [select for diffs], Fri May 5 07:34:06 2017 UTC (6 years, 5 months ago) by maya
Branch: MAIN
CVS Tags: pkgsrc-2019Q3-base,
pkgsrc-2019Q3,
pkgsrc-2019Q2-base,
pkgsrc-2019Q2,
pkgsrc-2019Q1-base,
pkgsrc-2019Q1,
pkgsrc-2018Q4-base,
pkgsrc-2018Q4,
pkgsrc-2018Q3-base,
pkgsrc-2018Q3,
pkgsrc-2018Q2-base,
pkgsrc-2018Q2,
pkgsrc-2018Q1-base,
pkgsrc-2018Q1,
pkgsrc-2017Q4-base,
pkgsrc-2017Q4,
pkgsrc-2017Q3-base,
pkgsrc-2017Q3,
pkgsrc-2017Q2-base,
pkgsrc-2017Q2
Changes since 1.10: +2 -2
lines
Diff to previous 1.10 (colored)
splint: use the standard check for C99 before including a C99 header If PR pkg/47405 was not fixed before (it probably was), this should definitely do the trick.
Revision 1.10 / (download) - annotate - [select for diffs], Tue Nov 3 03:29:33 2015 UTC (7 years, 11 months ago) by agc
Branch: MAIN
CVS Tags: pkgsrc-2017Q1-base,
pkgsrc-2016Q4-base,
pkgsrc-2016Q4,
pkgsrc-2016Q3-base,
pkgsrc-2016Q3,
pkgsrc-2016Q2-base,
pkgsrc-2016Q2,
pkgsrc-2016Q1-base,
pkgsrc-2016Q1,
pkgsrc-2015Q4-base,
pkgsrc-2015Q4
Branch point for: pkgsrc-2017Q1
Changes since 1.9: +2 -1
lines
Diff to previous 1.9 (colored)
Add SHA512 digests for distfiles for devel category Issues found with existing distfiles: distfiles/eclipse-sourceBuild-srcIncluded-3.0.1.zip distfiles/fortran-utils-1.1.tar.gz distfiles/ivykis-0.39.tar.gz distfiles/enum-1.11.tar.gz distfiles/pvs-3.2-libraries.tgz distfiles/pvs-3.2-linux.tgz distfiles/pvs-3.2-solaris.tgz distfiles/pvs-3.2-system.tgz No changes made to these distinfo files. Otherwise, existing SHA1 digests verified and found to be the same on the machine holding the existing distfiles (morden). All existing SHA1 digests retained for now as an audit trail.
Revision 1.9 / (download) - annotate - [select for diffs], Sat Jun 2 05:43:07 2012 UTC (11 years, 4 months ago) by obache
Branch: MAIN
CVS Tags: pkgsrc-2015Q3-base,
pkgsrc-2015Q3,
pkgsrc-2015Q2-base,
pkgsrc-2015Q2,
pkgsrc-2015Q1-base,
pkgsrc-2015Q1,
pkgsrc-2014Q4-base,
pkgsrc-2014Q4,
pkgsrc-2014Q3-base,
pkgsrc-2014Q3,
pkgsrc-2014Q2-base,
pkgsrc-2014Q2,
pkgsrc-2014Q1-base,
pkgsrc-2014Q1,
pkgsrc-2013Q4-base,
pkgsrc-2013Q4,
pkgsrc-2013Q3-base,
pkgsrc-2013Q3,
pkgsrc-2013Q2-base,
pkgsrc-2013Q2,
pkgsrc-2013Q1-base,
pkgsrc-2013Q1,
pkgsrc-2012Q4-base,
pkgsrc-2012Q4,
pkgsrc-2012Q3-base,
pkgsrc-2012Q3,
pkgsrc-2012Q2-base,
pkgsrc-2012Q2
Changes since 1.8: +2 -1
lines
Diff to previous 1.8 (colored)
Allow compile on Mac OS X, taken from upstream fix. Use pid_t instead of __pid_t. Fixes PR 46514.
Revision 1.8 / (download) - annotate - [select for diffs], Mon Jan 2 04:19:44 2012 UTC (11 years, 9 months ago) by dholland
Branch: MAIN
CVS Tags: pkgsrc-2012Q1-base,
pkgsrc-2012Q1,
pkgsrc-2011Q4-base,
pkgsrc-2011Q4
Changes since 1.7: +2 -1
lines
Diff to previous 1.7 (colored)
- patch out uncompilable unused declaration (not clear how this ever worked) - not MAKE_JOBS_SAFE
Revision 1.7 / (download) - annotate - [select for diffs], Tue Mar 3 08:58:23 2009 UTC (14 years, 7 months ago) by rillig
Branch: MAIN
CVS Tags: pkgsrc-2011Q3-base,
pkgsrc-2011Q3,
pkgsrc-2011Q2-base,
pkgsrc-2011Q2,
pkgsrc-2011Q1-base,
pkgsrc-2011Q1,
pkgsrc-2010Q4-base,
pkgsrc-2010Q4,
pkgsrc-2010Q3-base,
pkgsrc-2010Q3,
pkgsrc-2010Q2-base,
pkgsrc-2010Q2,
pkgsrc-2010Q1-base,
pkgsrc-2010Q1,
pkgsrc-2009Q4-base,
pkgsrc-2009Q4,
pkgsrc-2009Q3-base,
pkgsrc-2009Q3,
pkgsrc-2009Q2-base,
pkgsrc-2009Q2,
pkgsrc-2009Q1-base,
pkgsrc-2009Q1
Changes since 1.6: +5 -6
lines
Diff to previous 1.6 (colored)
Updated splint to 3.1.2.
Changes since 3.1.1:
Declarations of intptr_t and uintptr_t
The standard library declares the intptr_t and uintptr_t types
incorrectly. They are declared as int * and unsigned int *,
but should be integral types (large enough to hold a pointer)
instead.
(Reported by David Sanderson, 25 Sep 2004. Fixed in development
standard.h.)
Mode help
Splint crashes when run with -help weak or another mode flag.
(Reported by Clive Bach, 27 July 2004. Fixed in CVS 28 July 2004.)
Missing va_copy
The standard library is missing va_copy.
(Reported by Roland Illig, 21 May 2004. Fixed in CVS, 21 May 2004.)
Shifting in pre-processor expressions
Splint will report an internal error for a preprocessor expression
that shifts a negative value. This should produce a warning message
instead.
(Reported by Dirk Herrmann, 10 Nov 2003. Fixed in CVS, 18 May 2004,
but no warning message added yet.)
gmtime and localtime
The return type is incorrectly specified as /*@null@*/ in the
standard library. gmtime and localtime are guaranteed to return
non-null values.
(Reported by Terry Colligan, 30 Oct 2003. Fixed in CVS, 2 Nov 2003.)
Redefining __func__
Splint will report an internal bug if built in special definitions
like __func__ are redefined.
(Reported by Terry Colligan, 28 Oct 2003. Fixed in CVS, 28 Oct 2003.)
Pragma Line Numbers
Splint does not count
#pragma ...
lines in the line number.
(Reported by Scott Frazer, 27 Oct 2003. Fixed in CVS, 27 Oct 2003.)
Files Unclosed in Win32
Options that involve writing messages to files do not work in Win32.
The check that all files are closed was somehow copied to a location
it shouldn't be (llmain:830).
(Fixed in CVS 18 Sept 2003.)
Multi-dimensional Arrays
Splint does not interpret declarations of multidimensional arrays
correctly. A declaration like int a[][10] is misinterpreted as
int a[10][].
(Reported by Bill Leahy, 15 Sept 2003. Fixed in CVS 15 Sept 2003.)
&& and || guards
Splint does not correctly interpret guards for non-boolean
expressions in && and || clauses (e.g., if (s && t)).
(Reported by Andrew Bishop. Fixed in CVS 13 August 2003.)
scanf %x
Splint interprets %x in a scanf format string as an int *, but it
should be an unsigned int *.
(Reported by Andrew Bishop. Fixed in CVS 13 August 2003.)
+matchanyintegral and unsignedintegrals
When +matchanyintegral is set, splint should allow any int type to
match an aribtrary unsigned integral.
(Reported by John Makecki. Fixed in CVS 18 July 2003.)
Shadow updates
When a variable declaration is shadowed, the sRef_updateSref
function will find the inner reference when there is an alias
to the outer reference.
(Reported by John Makecki. Fixed in CVS 18 July 2003.)
Internal assertion fails for unconventional bounds
An internal assertion will fail for strange array indexes like,
i["]<i;++i){--i;}"].
(Reported by Xose Vazquez Perez. Fixed in CVS 12 July 2003.)
Assignments with global structs
Splint does not correctly update state when the rhs of an assignment
is a struct with global scope.
(Reported by Steve Brooke. Fixed in CVS, 10 July 2003.)
Defining __STDC__
Splint should define __STDC__. See http://bugs.debian.org/cgi-bin/
bugreport.cgi?bug=171437&msg=7 for details.
(Reported by Vincent Lefevre. Fixed in CVS, 10 July 2003)
Missing signal.h definitions
The posix library is missing some definitions from signal.h.
(Reported by Jerry James. Fixed in CVS, 13 June 2003)
Pre-processing ISO8859-1 characters
Splint does not process ISO8859-1 characters correctly since it is
building on a pre-ISO8859-1 version of gcc's pre-processor, and
character \377 is indistinguishable from EOF.
(Reported by Kai Hofmann. Fixed in CVS, 6 June 2003)
Printing lltok
Splint prints -> tokens in specifications incorrectly as ".".
Reported and fixed by Psanzani.
(Fixed in CVS, 6 June 2003)
Revision 1.6 / (download) - annotate - [select for diffs], Sat Sep 16 11:44:26 2006 UTC (17 years ago) by rillig
Branch: MAIN
CVS Tags: pkgsrc-2008Q4-base,
pkgsrc-2008Q4,
pkgsrc-2008Q3-base,
pkgsrc-2008Q3,
pkgsrc-2008Q2-base,
pkgsrc-2008Q2,
pkgsrc-2008Q1-base,
pkgsrc-2008Q1,
pkgsrc-2007Q4-base,
pkgsrc-2007Q4,
pkgsrc-2007Q3-base,
pkgsrc-2007Q3,
pkgsrc-2007Q2-base,
pkgsrc-2007Q2,
pkgsrc-2007Q1-base,
pkgsrc-2007Q1,
pkgsrc-2006Q4-base,
pkgsrc-2006Q4,
pkgsrc-2006Q3-base,
pkgsrc-2006Q3,
cwrapper,
cube-native-xorg-base,
cube-native-xorg
Changes since 1.5: +2 -2
lines
Diff to previous 1.5 (colored)
On Solaris, <stdbool.h> is not usable unless the C compiler is marked as a C99 compiler.
Revision 1.5 / (download) - annotate - [select for diffs], Wed Aug 31 19:08:21 2005 UTC (18 years, 1 month ago) by jschauma
Branch: MAIN
CVS Tags: pkgsrc-2006Q2-base,
pkgsrc-2006Q2,
pkgsrc-2006Q1-base,
pkgsrc-2006Q1,
pkgsrc-2005Q4-base,
pkgsrc-2005Q4,
pkgsrc-2005Q3-base,
pkgsrc-2005Q3
Changes since 1.4: +2 -1
lines
Diff to previous 1.4 (colored)
Allow splint to actually work under NetBSD by applying patch from FreeBSD (PR ports/61131).
Revision 1.4 / (download) - annotate - [select for diffs], Tue May 31 19:01:39 2005 UTC (18 years, 4 months ago) by rillig
Branch: MAIN
CVS Tags: pkgsrc-2005Q2-base,
pkgsrc-2005Q2
Changes since 1.3: +2 -1
lines
Diff to previous 1.3 (colored)
Added a patch that works around a missing <stdbool.h> header. Fixes PR 30014.
Revision 1.3 / (download) - annotate - [select for diffs], Sun Apr 10 16:49:59 2005 UTC (18 years, 5 months ago) by jschauma
Branch: MAIN
Changes since 1.2: +4 -4
lines
Diff to previous 1.2 (colored)
Update splint to 3.1.1. The 3.1.0 release contained numerous enhancements over the previous 3.0.1.6 release. Among other improvements, the accuracy of the bounds checking code has improved; Splint can produce output in html or comma separated value(CSV) format; and support for numabstract types has been added. Additionally the code contains numerous bugs fixes and house keeping updates. (Details at http://www.splint.org/changes.html ) No list of changes available for the 3.1.1 release.
Revision 1.2 / (download) - annotate - [select for diffs], Wed Feb 23 22:24:34 2005 UTC (18 years, 7 months ago) by agc
Branch: MAIN
CVS Tags: pkgsrc-2005Q1-base,
pkgsrc-2005Q1
Changes since 1.1: +2 -1
lines
Diff to previous 1.1 (colored)
Add RMD160 digests.
Revision 1.1.1.1 / (download) - annotate - [select for diffs] (vendor branch), Wed Nov 27 14:39:14 2002 UTC (20 years, 10 months ago) by mjl
Branch: TNF
CVS Tags: pkgsrc-base,
pkgsrc-2004Q4-base,
pkgsrc-2004Q4,
pkgsrc-2004Q3-base,
pkgsrc-2004Q3,
pkgsrc-2004Q2-base,
pkgsrc-2004Q2,
pkgsrc-2004Q1-base,
pkgsrc-2004Q1,
pkgsrc-2003Q4-base,
pkgsrc-2003Q4,
netbsd-1-6-1-base,
netbsd-1-6-1
Changes since 1.1: +0 -0
lines
Diff to previous 1.1 (colored)
Initial import of splint 3.0.1.6. Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint. If additional effort is invested adding annotations to programs, Splint can perform stronger checking than can be done by any standard lint. Splint 3.0 is the successor to LCLint 2.5.
Revision 1.1 / (download) - annotate - [select for diffs], Wed Nov 27 14:39:14 2002 UTC (20 years, 10 months ago) by mjl
Branch: MAIN
Initial revision