BSD Ports

devel/splint 3.1.2_1 FreeBSD

Tool for statically checking sourcecode for security vulnerabilities

System
FreeBSD
Repository
FreeBSD ports
Maintainer
[email protected]
License
GPLv2+
Categories
devel, security
Package size
672.7 KiB, 2527.7 KiB installed

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.

In the other systems

SystemPortVersion
FreeBSDdevel/splint3.1.2_1
OpenBSDdevel/splint3.1.2p1
NetBSDdevel/splint3.1.2nb3
DragonFlydevel/splint3.1.2_1
MidnightBSDdevel/splint3.1.2_1

Install

Binary package:

pkg install splint

From the ports tree:

cd /usr/ports/devel/splint/ && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	splint>0:devel/splint

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

Repositoryaarch64amd64armv6armv7i386
FreeBSD:14:latest3.1.2_13.1.2_13.1.23.1.2_13.1.2_1
FreeBSD:14:quarterly3.1.2_13.1.2_1n/a3.1.2_13.1.2_1
FreeBSD:15:latest3.1.2_13.1.2_1n/a3.1.2_13.1.2_1
FreeBSD:15:quarterly3.1.2_13.1.2_1n/an/an/a
FreeBSD:16:latest3.1.2_13.1.2_1n/an/an/a
FreeBSD:16:quarterlyn/an/an/an/an/a

Dependencies

The Makefile names none itself; they come from USES and USE_*.

The full lists below include those, and their dependencies in turn.

Build dependencies 3

Configuration

No options to configure.

USES
gmake tar:tgz
Service scripts
none

Files

Manual pages 1
  • splint(1)
pkg-plist 53
  • bin/splint
  • share/man/man1/splint.1.gz
  • share/splint/imports/assert.lcl
  • share/splint/imports/assert.lcs
  • share/splint/imports/ctype.lcl
  • share/splint/imports/ctype.lcs
  • share/splint/imports/errno.lcl
  • share/splint/imports/errno.lcs
  • share/splint/imports/limits.lcl
  • share/splint/imports/limits.lcs
  • share/splint/imports/locale.lcl
  • share/splint/imports/locale.lcs
  • share/splint/imports/math.lcl
  • share/splint/imports/math.lcs
  • share/splint/imports/setjmp.lcl
  • share/splint/imports/setjmp.lcs
  • share/splint/imports/signal.lcl
  • share/splint/imports/signal.lcs
  • share/splint/imports/stdarg.lcl
  • share/splint/imports/stdarg.lcs
  • share/splint/imports/stdio.lcl
  • share/splint/imports/stdio.lcs
  • share/splint/imports/stdlib.lcl
  • share/splint/imports/stdlib.lcs
  • share/splint/imports/string.lcl
  • share/splint/imports/string.lcs
  • share/splint/imports/strings.lcl
  • share/splint/imports/strings.lcs
  • share/splint/imports/time.lcl
  • share/splint/imports/time.lcs
  • share/splint/lib/CTrait.syms
  • share/splint/lib/CTraitGen.lcl
  • share/splint/lib/bool.h
  • share/splint/lib/file.mts
  • share/splint/lib/file.xh
  • share/splint/lib/filerw.mts
  • share/splint/lib/filerw.xh
  • share/splint/lib/lclinit.lci
  • share/splint/lib/linux.h
  • share/splint/lib/lslinit.lsi
  • share/splint/lib/posix.h
  • share/splint/lib/posix.lcd
  • share/splint/lib/posixstrict.lcd
  • share/splint/lib/standard.h
  • share/splint/lib/standard.lcd
  • share/splint/lib/standardstrict.lcd
  • share/splint/lib/stdio.h
  • share/splint/lib/stdlib.h
  • share/splint/lib/tainted.mts
  • share/splint/lib/tainted.xh
  • share/splint/lib/unix.h
  • share/splint/lib/unix.lcd
  • share/splint/lib/unixstrict.lcd
distinfo 1
FileSizeSHA256
splint-3.1.2.src.tgz2.284033e+06c78db643df663313e3fa9d565118391825dd937617819c6efc7966cdf444fb0a
Master sites 1
  • http://www.splint.org/downloads/

Commit history 0

No commits in the history this site was built from.