splint - Tool for statically checking sourcecode for security vulnerabilities

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Latest amd64
Package name splint
Package version 3.1.2
Package architecture amd64
Package type txz
Installed size 2.51 MB
Download size 636.63 KB
Official Mirror pkg.freebsd.org
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.
WWW: http://www.splint.org/
Categories: devel, security
Maintainer: lwhsu@FreeBSD.org


Package Version Architecture Repository
splint-3.1.2.txz 3.1.2 i386 FreeBSD Ports Latest
splint-3.1.2.txz 3.1.2 amd64 FreeBSD Ports Quarterly
splint-3.1.2.txz 3.1.2 i386 FreeBSD Ports Quarterly
splint - - -


Type URL
Binary Package splint-3.1.2.txz
Source Package devel/splint

Install Howto

Install splint txz package:

# pkg install splint

See Also

Package Description
splitpatch-1.0.2016122801.txz Utility to split a diff patch into separate sections
splix-2.0.0_8.txz CUPS printer drivers for Samsung Printer Language printers
spoofer-1.2.0_10.txz Spoofer Project testing software
spook-20050207_5.txz Embedded RTP/RTSP/HTTP video streamer
spooles-2.2_15.txz SParse Object Oriented Linear Equations Solver
spooles-mpich-2.2_15.txz SParse Object Oriented Linear Equations Solver
spot-2.7.txz Library for omega automata manipulation and model checking
spotifyd-0.2.4.txz Spotify daemon
spp-0.3.6.txz Calculates round trip time from pcap files or live capture
spread-3.17.4_5.txz The Spread Group Communication System, a network toolkit
spread-j-3.17.3_1.txz Java client library for the Spread Group Communication System
spread-sheet-widget-0.3.txz Library for Gtk+ which provides a widget for tabular data
spread4-4.2.0.txz Spread Group Communication System, a network toolkit
spreadlogd-1.4.2.txz The backend of mod_log_spread
spring-98.0_16.txz Project aiming to create a new and versatile RTS Engine