BSD Ports

devel/splint 3.1.2_1 MidnightBSD

Tool for statically checking sourcecode for security vulnerabilities

System
MidnightBSD
Repository
mports
Maintainer
[email protected]
License
gpl2+
Categories
devel, security

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
MidnightBSDdevel/splint3.1.2_1
FreeBSDdevel/splint3.1.2_1
OpenBSDdevel/splint3.1.2p1
NetBSDdevel/splint3.1.2nb3
DragonFlydevel/splint3.1.2_1
HardenedBSDdevel/splint3.1.2_1
GhostBSDdevel/splint3.1.2_1

Install

Binary package:

mport install splint

From mports:

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

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

RUN_DEPENDS=	splint>0:devel/splint

Dependencies

No port depends on this one.

Configuration

No options to configure.

USES
gmake
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/