The NetBSD Project

CVS log for pkgsrc/devel/splint/Makefile

[BACK] Up to [] / pkgsrc / devel / splint

Request diff between arbitrary revisions

Default branch: MAIN

Revision 1.23 / (download) - annotate - [select for diffs], Wed Dec 23 13:23:52 2020 UTC (2 years, 11 months ago) by rillig
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, pkgsrc-2021Q3-base, pkgsrc-2021Q3, pkgsrc-2021Q2-base, pkgsrc-2021Q2, pkgsrc-2021Q1-base, pkgsrc-2021Q1, pkgsrc-2020Q4-base, pkgsrc-2020Q4, HEAD
Changes since 1.22: +6 -3 lines
Diff to previous 1.22 (colored)

devel/splint: install documentation as well

Revision 1.22 / (download) - annotate - [select for diffs], Sun Jan 26 17:31:05 2020 UTC (3 years, 10 months ago) by rillig
Branch: MAIN
CVS Tags: pkgsrc-2020Q3-base, pkgsrc-2020Q3, pkgsrc-2020Q2-base, pkgsrc-2020Q2, pkgsrc-2020Q1-base, pkgsrc-2020Q1
Changes since 1.21: +2 -2 lines
Diff to previous 1.21 (colored)

all: migrate homepages from http to https

pkglint -r --network --only "migrate"

As a side-effect of migrating the homepages, pkglint also fixed a few
indentations in unrelated lines. These and the new homepages have been
checked manually.

Revision 1.21 / (download) - annotate - [select for diffs], Sun Nov 3 10:55:22 2019 UTC (4 years, 1 month ago) by rillig
Branch: MAIN
CVS Tags: pkgsrc-2019Q4-base, pkgsrc-2019Q4
Changes since 1.20: +3 -1 lines
Diff to previous 1.20 (colored)

devel/splint: fix type of signed shift expression

Revision 1.20 / (download) - annotate - [select for diffs], Sun Nov 3 10:39:30 2019 UTC (4 years, 1 month ago) by rillig
Branch: MAIN
Changes since 1.19: +2 -2 lines
Diff to previous 1.19 (colored)

devel: align variable assignments

pkglint -Wall -F --only aligned --only indent -r

No manual corrections.

Revision 1.19 / (download) - annotate - [select for diffs], Sat May 4 19:48:00 2013 UTC (10 years, 7 months ago) by richard
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, pkgsrc-2017Q1-base, pkgsrc-2017Q1, 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, 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
Changes since 1.18: +3 -1 lines
Diff to previous 1.18 (colored)

Set LICENSE to gnu-gpl-v2 and fix modern solaris builds with c99

Revision 1.18 / (download) - annotate - [select for diffs], Wed Oct 31 11:19:47 2012 UTC (11 years, 1 month ago) by asau
Branch: MAIN
CVS Tags: pkgsrc-2013Q1-base, pkgsrc-2013Q1, pkgsrc-2012Q4-base, pkgsrc-2012Q4
Changes since 1.17: +1 -3 lines
Diff to previous 1.17 (colored)

Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.

Revision 1.17 / (download) - annotate - [select for diffs], Sat Jun 2 05:53:14 2012 UTC (11 years, 6 months ago) by obache
Branch: MAIN
CVS Tags: pkgsrc-2012Q3-base, pkgsrc-2012Q3, pkgsrc-2012Q2-base, pkgsrc-2012Q2
Changes since 1.16: +6 -4 lines
Diff to previous 1.16 (colored)

Convert to usual way to define DISTNAME/PKGNAME and WRKSRC.

Revision 1.16 / (download) - annotate - [select for diffs], Mon Jan 2 04:19:44 2012 UTC (11 years, 11 months ago) by dholland
Branch: MAIN
CVS Tags: pkgsrc-2012Q1-base, pkgsrc-2012Q1, pkgsrc-2011Q4-base, pkgsrc-2011Q4
Changes since 1.15: +3 -1 lines
Diff to previous 1.15 (colored)

- patch out uncompilable unused declaration (not clear how this ever worked)

Revision 1.15 / (download) - annotate - [select for diffs], Wed Jan 27 18:19:27 2010 UTC (13 years, 10 months ago) by joerg
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
Changes since 1.14: +4 -2 lines
Diff to previous 1.14 (colored)

DESTDIR support from Steven Drake.

Revision 1.14 / (download) - annotate - [select for diffs], Tue Mar 3 08:58:23 2009 UTC (14 years, 9 months ago) by rillig
Branch: MAIN
CVS Tags: pkgsrc-2009Q4-base, pkgsrc-2009Q4, pkgsrc-2009Q3-base, pkgsrc-2009Q3, pkgsrc-2009Q2-base, pkgsrc-2009Q2, pkgsrc-2009Q1-base, pkgsrc-2009Q1
Changes since 1.13: +4 -7 lines
Diff to previous 1.13 (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)

    (Reported by David Sanderson, 25 Sep 2004. Fixed in development

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

    (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,

    (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
    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.13 / (download) - annotate - [select for diffs], Thu Feb 22 19:26:25 2007 UTC (16 years, 9 months ago) by wiz
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, cwrapper, cube-native-xorg-base, cube-native-xorg
Changes since 1.12: +2 -2 lines
Diff to previous 1.12 (colored)

Whitespace cleanup, courtesy of pkglint.
Patch provided by Sergey Svishchev in private mail.

Revision 1.12 / (download) - annotate - [select for diffs], Sat Dec 2 19:15:13 2006 UTC (17 years ago) by rillig
Branch: MAIN
CVS Tags: pkgsrc-2006Q4-base, pkgsrc-2006Q4
Changes since 1.11: +2 -2 lines
Diff to previous 1.11 (colored)


Revision 1.11 / (download) - annotate - [select for diffs], Thu Jun 8 15:56:43 2006 UTC (17 years, 6 months ago) by minskim
Branch: MAIN
CVS Tags: pkgsrc-2006Q3-base, pkgsrc-2006Q3, pkgsrc-2006Q2-base, pkgsrc-2006Q2
Changes since 1.10: +2 -2 lines
Diff to previous 1.10 (colored)


Revision 1.10 / (download) - annotate - [select for diffs], Sat Mar 4 21:29:30 2006 UTC (17 years, 9 months ago) by jlam
Branch: MAIN
CVS Tags: pkgsrc-2006Q1-base, pkgsrc-2006Q1
Changes since 1.9: +2 -2 lines
Diff to previous 1.9 (colored)

Point MAINTAINER to in the case where no
developer is officially maintaining the package.

The rationale for changing this from "tech-pkg" to "pkgsrc-users" is
that it implies that any user can try to maintain the package (by
submitting patches to the mailing list).  Since the folks most likely
to care about the package are the folks that want to use it or are
already using it, this would leverage the energy of users who aren't

Revision 1.9 / (download) - annotate - [select for diffs], Sun Feb 5 23:08:53 2006 UTC (17 years, 10 months ago) by joerg
Branch: MAIN
Changes since 1.8: +2 -1 lines
Diff to previous 1.8 (colored)

Recursive revision bump / recommended bump for gettext ABI change.

Revision 1.8 / (download) - annotate - [select for diffs], Sun May 22 20:07:55 2005 UTC (18 years, 6 months ago) by jlam
Branch: MAIN
CVS Tags: pkgsrc-2005Q4-base, pkgsrc-2005Q4, pkgsrc-2005Q3-base, pkgsrc-2005Q3, pkgsrc-2005Q2-base, pkgsrc-2005Q2
Changes since 1.7: +2 -2 lines
Diff to previous 1.7 (colored)

Remove USE_GNU_TOOLS and replace with the correct USE_TOOLS definitions:

	awk		-> gawk
	m4		-> gm4
	make		-> gmake
	sed		-> gsed
	yacc		-> bison

Revision 1.7 / (download) - annotate - [select for diffs], Sun Apr 10 16:49:59 2005 UTC (18 years, 8 months ago) by jschauma
Branch: MAIN
Changes since 1.6: +2 -2 lines
Diff to previous 1.6 (colored)

Update splint to 3.1.1.
The 3.1.0 release contained numerous enhancements over the previous
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 )
No list of changes available for the 3.1.1 release.

Revision 1.6 / (download) - annotate - [select for diffs], Thu Jan 22 08:24:31 2004 UTC (19 years, 10 months ago) by grant
Branch: MAIN
CVS Tags: pkgsrc-2005Q1-base, pkgsrc-2005Q1, pkgsrc-2004Q4-base, pkgsrc-2004Q4, pkgsrc-2004Q3-base, pkgsrc-2004Q3, pkgsrc-2004Q2-base, pkgsrc-2004Q2, pkgsrc-2004Q1-base, pkgsrc-2004Q1
Changes since 1.5: +2 -2 lines
Diff to previous 1.5 (colored)

replace deprecated USE_GMAKE with USE_GNU_TOOLS+=make.

Revision 1.5 / (download) - annotate - [select for diffs], Tue Jan 20 12:13:29 2004 UTC (19 years, 10 months ago) by agc
Branch: MAIN
Changes since 1.4: +2 -2 lines
Diff to previous 1.4 (colored)

Move WRKSRC definition away from the first paragraph in a Makefile.

Revision 1.4 / (download) - annotate - [select for diffs], Thu Jul 17 21:34:05 2003 UTC (20 years, 4 months ago) by grant
Branch: MAIN
CVS Tags: pkgsrc-2003Q4-base, pkgsrc-2003Q4
Changes since 1.3: +2 -2 lines
Diff to previous 1.3 (colored)


Revision 1.3 / (download) - annotate - [select for diffs], Mon Jun 2 01:20:14 2003 UTC (20 years, 6 months ago) by jschauma
Branch: MAIN
Changes since 1.2: +2 -2 lines
Diff to previous 1.2 (colored)

Use tech-pkg@ in favor of packages@ as MAINTAINER for orphaned packages.
Should anybody feel like they could be the maintainer for any of thewe packages,
please adjust.

Revision 1.2 / (download) - annotate - [select for diffs], Sat Mar 29 12:40:40 2003 UTC (20 years, 8 months ago) by jmmv
Branch: MAIN
Changes since 1.1: +2 -3 lines
Diff to previous 1.1 (colored)

Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz.

Revision / (download) - annotate - [select for diffs] (vendor branch), Wed Nov 27 14:39:14 2002 UTC (21 years ago) by mjl
Branch: TNF
CVS Tags: pkgsrc-base, 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

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 (21 years ago) by mjl
Branch: MAIN

Initial revision

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.

CVSweb <>