notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.
New feature planned: get notified when the package is available. Now is the time to contribute ideas/suggestions.
Port details
splint Tool for statically checking sourcecode for security vulnerabilities
3.1.2 devel on this many watch lists=6 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 3.1.2Version of this port present on the latest quarterly branch.
Maintainer: lwhsu@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2002-03-07 21:03:12
Last Update: 2023-03-13 14:11:00
Commit Hash: 283da45
People watching this port, also watch:: mplayer, zip, python, cscope
Also Listed In: security
License: GPLv2+
WWW:
https://www.splint.org/
Description:
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.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb

Manual pages:
pkg-plist: as obtained via: make generate-plist
Expand this list (59 items)
Collapse this list.
  1. /usr/local/share/licenses/splint-3.1.2/catalog.mk
  2. /usr/local/share/licenses/splint-3.1.2/LICENSE
  3. /usr/local/share/licenses/splint-3.1.2/GPLv2+
  4. bin/splint
  5. man/man1/splint.1.gz
  6. share/splint/imports/assert.lcl
  7. share/splint/imports/assert.lcs
  8. share/splint/imports/ctype.lcl
  9. share/splint/imports/ctype.lcs
  10. share/splint/imports/errno.lcl
  11. share/splint/imports/errno.lcs
  12. share/splint/imports/limits.lcl
  13. share/splint/imports/limits.lcs
  14. share/splint/imports/locale.lcl
  15. share/splint/imports/locale.lcs
  16. share/splint/imports/math.lcl
  17. share/splint/imports/math.lcs
  18. share/splint/imports/setjmp.lcl
  19. share/splint/imports/setjmp.lcs
  20. share/splint/imports/signal.lcl
  21. share/splint/imports/signal.lcs
  22. share/splint/imports/stdarg.lcl
  23. share/splint/imports/stdarg.lcs
  24. share/splint/imports/stdio.lcl
  25. share/splint/imports/stdio.lcs
  26. share/splint/imports/stdlib.lcl
  27. share/splint/imports/stdlib.lcs
  28. share/splint/imports/string.lcl
  29. share/splint/imports/string.lcs
  30. share/splint/imports/strings.lcl
  31. share/splint/imports/strings.lcs
  32. share/splint/imports/time.lcl
  33. share/splint/imports/time.lcs
  34. share/splint/lib/CTrait.syms
  35. share/splint/lib/CTraitGen.lcl
  36. share/splint/lib/bool.h
  37. share/splint/lib/file.mts
  38. share/splint/lib/file.xh
  39. share/splint/lib/filerw.mts
  40. share/splint/lib/filerw.xh
  41. share/splint/lib/lclinit.lci
  42. share/splint/lib/linux.h
  43. share/splint/lib/lslinit.lsi
  44. share/splint/lib/posix.h
  45. share/splint/lib/posix.lcd
  46. share/splint/lib/posixstrict.lcd
  47. share/splint/lib/standard.h
  48. share/splint/lib/standard.lcd
  49. share/splint/lib/standardstrict.lcd
  50. share/splint/lib/stdio.h
  51. share/splint/lib/stdlib.h
  52. share/splint/lib/tainted.mts
  53. share/splint/lib/tainted.xh
  54. share/splint/lib/unix.h
  55. share/splint/lib/unix.lcd
  56. share/splint/lib/unixstrict.lcd
  57. @owner
  58. @group
  59. @mode
Collapse this list.
Dependency lines:
  • splint>0:devel/splint
To install the port:
cd /usr/ports/devel/splint/ && make install clean
To add the package, run one of these commands:
  • pkg install devel/splint
  • pkg install splint
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: splint
Flavors: there is no flavor information for this port.
distinfo:
SHA256 (splint-3.1.2.src.tgz) = c78db643df663313e3fa9d565118391825dd937617819c6efc7966cdf444fb0a SIZE (splint-3.1.2.src.tgz) = 2284033

Packages (timestamps in pop-ups are UTC):
splint
ABIlatestquarterly
FreeBSD:13:aarch643.1.23.1.2
FreeBSD:13:amd643.1.23.1.2
FreeBSD:13:armv63.1.23.1.2
FreeBSD:13:armv73.1.23.1.2
FreeBSD:13:i3863.1.23.1.2
FreeBSD:13:powerpc-3.1.2
FreeBSD:13:powerpc643.1.23.1.2
FreeBSD:13:powerpc64le-3.1.2
FreeBSD:14:aarch643.1.23.1.2
FreeBSD:14:amd643.1.23.1.2
FreeBSD:14:armv63.1.2-
FreeBSD:14:armv73.1.23.1.2
FreeBSD:14:i3863.1.23.1.2
FreeBSD:14:powerpc3.1.23.1.2
FreeBSD:14:powerpc64-3.1.2
FreeBSD:14:powerpc64le3.1.23.1.2
FreeBSD:15:aarch643.1.2-
FreeBSD:15:amd643.1.2-
FreeBSD:15:armv73.1.2-
FreeBSD:15:powerpc3.1.2-
FreeBSD:15:powerpc643.1.2-
FreeBSD:15:powerpc64le3.1.2-
 
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. gmake>=4.3 : devel/gmake
This port is required by:
for Build
  1. math/scilab
for Run
  1. math/scilab

Configuration Options:
No options to configure
Options name:
devel_splint
USES:
gmake
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. http://www.splint.org/downloads/
Collapse this list.

Number of commits found: 33

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
3.1.2
13 Mar 2023 14:11:00
commit hash: 283da459379c602a10e65bdc9c7de8d10a717520commit hash: 283da459379c602a10e65bdc9c7de8d10a717520commit hash: 283da459379c602a10e65bdc9c7de8d10a717520commit hash: 283da459379c602a10e65bdc9c7de8d10a717520 files touched by this commit
Li-Wen Hsu (lwhsu) search for other commits by this committer
Author: Chad Jacob Milios
devel/splint: Fix build when bison exists

PR:		269891
07 Sep 2022 21:58:51
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)
3.1.2
07 Sep 2022 21:10:59
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
3.1.2
20 Jul 2022 14:21:35
commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746commit hash: aa6eefd5e663357e8223399bc38c7987f5e35746 files touched by this commit
Tobias C. Berner (tcberner) search for other commits by this committer
devel: remove 'Created by' lines

A big Thank You to the original contributors of these ports:

  *  "Waitman Gobble" <uzimac@da3m0n8t3r.com>
  *  <jkoshy@FreeBSD.org>
  *  Aaron Dalton <aaron@FreeBSD.org>
  *  Aaron Dalton <aaron@daltons.ca>
  *  Aaron H. K. Diep <ahkdiep@gmail.com>
  *  Aaron Hurt <ahurt@anbcs.com>
  *  Abel Chow <abel_chow@yahoo.com>
  *  Adam McLaurin
  *  Adam Saponara <as@php.net>
  *  Adam Weinberger <adamw@FreeBSD.org>
  *  Ade Lovett <ade@FreeBSD.org>
(Only the first 15 lines of the commit message are shown above View all of this commit message)
3.1.2
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
3.1.2
01 Oct 2018 19:42:24
Revision:481057Original commit files touched by this commit
tobik search for other commits by this committer
devel/splint: Add LICENSE

PR:		223739
Submitted by:	pfg
Approved by:	lwhsu (maintainer timeout, ~11 months)
3.1.2
27 Oct 2014 11:07:20
Revision:371552Original commit files touched by this commit
bapt search for other commits by this committer
Cleanup plist
3.1.2
29 Jul 2014 17:12:50
Revision:363362Original commit files touched by this commit
adamw search for other commits by this committer
Rename all patches that contain '::' as a path separator, and use
'__' instead.
3.1.2
25 Jan 2014 00:23:18
Revision:340962Original commit files touched by this commit
bapt search for other commits by this committer
Convert USE_GMAKE->USES=gmake
Remove cruft
3.1.2
20 Nov 2013 07:30:54
Revision:334393Original commit files touched by this commit
lwhsu search for other commits by this committer
- Support STAGEDIR
3.1.2
20 Sep 2013 17:17:45
Revision:327726Original commit files touched by this commit
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 4)
3.1.2
26 Sep 2012 13:17:48
Revision:304910Original commit files touched by this commit
eadler search for other commits by this committer
Mark as unsafe when force-make-jobs is set

Approved by:	lwhsu (maintainer)
3.1.2
24 Oct 2011 04:17:38
Original commit files touched by this commit
dougb search for other commits by this committer
Remove more tags from pkg-descr files fo the form:

- Name
em@i.l

or variations thereof. While I'm here also fix some whitespace and other
formatting errors, including moving WWW: to the last line in the file.
3.1.2
03 Jul 2011 14:59:23
Original commit files touched by this commit
ohauer search for other commits by this committer
-remove MD5
3.1.2
21 Aug 2008 06:18:49
Original commit files touched by this commit
rafan search for other commits by this committer
Update CONFIGURE_ARGS for how we pass CONFIGURE_TARGET to configure script.
Specifically, newer autoconf (> 2.13) has different semantic of the
configure target. In short, one should use --build=CONFIGURE_TARGET
instead of CONFIGURE_TARGET directly. Otherwise, you will get a warning
and the old semantic may be removed in later autoconf releases.

To workaround this issue, many ports hack the CONFIGURE_TARGET variable
so that it contains the ``--build='' prefix.

To solve this issue, under the fact that some ports still have
configure script generated by the old autoconf, we use runtime detection
in the do-configure target so that the proper argument can be used.

Changes to Mk/*:
 - Add runtime detection magic in bsd.port.mk
(Only the first 15 lines of the commit message are shown above View all of this commit message)
3.1.2
04 Sep 2007 19:09:05
Original commit files touched by this commit
lwhsu search for other commits by this committer
Unbreak, distfile rerolled.
(Some self-test cases updated, this change would not affect the package.)
3.1.2
05 Aug 2007 18:30:04
Original commit files touched by this commit
kris search for other commits by this committer
BROKEN: Size mismatch
3.1.2
26 Jul 2007 15:12:55
Original commit files touched by this commit
lwhsu search for other commits by this committer
- Truely respcect DATADIR

Submitted by:   sat
3.1.2
25 Jul 2007 15:33:16
Original commit files touched by this commit
lwhsu search for other commits by this committer
- Update to 3.1.2
- Remove obsoleted patch
- Use DATADIR
- Take maintainership
3.1.1_2
23 Mar 2007 08:38:30
Original commit files touched by this commit
linimon search for other commits by this committer
Reset andrew.nau.ua@gmail.com at his request due to lack of time.

Hat:            portmgr
3.1.1_2
04 May 2006 21:41:12
Original commit files touched by this commit
edwin search for other commits by this committer
Remove USE_REINPLACE from all categories starting with D
3.1.1_2
22 Jan 2006 08:30:12
Original commit files touched by this commit
edwin search for other commits by this committer
SHA256ify

Approved by:    krion@
3.1.1_2
14 Oct 2005 09:59:04
Original commit files touched by this commit
edwin search for other commits by this committer
Welcome Andrew Pogrebennyk as new maintainer

PR:             ports/87412, ports/87411, ports/87410, ports/87409
Submitted by:   Andrew Pogrebennyk <andrew.nau.ua@gmail.com>
3.1.1_2
12 Apr 2005 03:26:57
Original commit files touched by this commit
obrien search for other commits by this committer
At Kris's request, back out the MACHINE_ARCH spelling correction until
after 5.4-RELEASE.
3.1.1_2
11 Apr 2005 08:04:41
Original commit files touched by this commit
obrien search for other commits by this committer
Assist getting more ports working on AMD64 by obeying the
Ports Collection documentation and use 'ARCH' rather than 'MACHINE_ARCH'.
3.1.1_2
04 Feb 2004 05:21:48
Original commit files touched by this commit
marcus search for other commits by this committer
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.

(Part 2)
3.1.1_1
29 Jan 2004 07:24:56
Original commit files touched by this commit
trevor search for other commits by this committer
SIZEify.
3.1.1_1
09 Jan 2004 20:26:18
Original commit files touched by this commit
pav search for other commits by this committer
- Add fix for parsing FreeBSD's sys/cdefs.h ('__func__')
- Bump portrevision

PR:             ports/61131
Submitted by:   Volker Stolz <stolz@i2.informatik.rwth-aachen.de>
Obtained from:  Splint CVS
3.1.1
06 Jun 2003 01:02:17
Original commit files touched by this commit
naddy search for other commits by this committer
Update to version 3.1.1.

PR:             52894
Submitted by:   Ports Fury
3.0.1.6_1
20 Feb 2003 17:07:10
Original commit files touched by this commit
knu search for other commits by this committer
De-pkg-comment.
3.0.1.6_1
04 Nov 2002 13:27:23
Original commit files touched by this commit
nectar search for other commits by this committer
Let splint process <inttypes.h>.  Now it passes its own test suite.

Submitted by:   Stacey Son <sson@verio.net>
3.0.1.6
04 Nov 2002 13:25:29
Original commit files touched by this commit
nectar search for other commits by this committer
Set MAINTAINER to <ports@FreeBSD.org>.

<rrm@subterrain.net>: host subterrain.net[66.179.0.134] said:
    550 5.1.1 <rrm@subterrain.net>... User unknown
08 Mar 2002 00:03:12
commit hash: fp1.25618@dev.null.freshports.orgcommit hash: fp1.25618@dev.null.freshports.orgcommit hash: fp1.25618@dev.null.freshports.orgcommit hash: fp1.25618@dev.null.freshports.org files touched by this commit
pat search for other commits by this committer
- Repocopy and move devel/lclint to devel/splint   - Update devel/splint to
3.0.1.6   - Give maintainership to Raymond Medeiros <rrm@subterrain.net>     for
requesting in PR    

Number of commits found: 33