Port details on branch 2022Q3 |
- splint Tool for statically checking sourcecode for security vulnerabilities
- 3.1.2_1 devel =6 3.1.2_1Version of this port present on the latest quarterly branch.
- Maintainer: lwhsu@FreeBSD.org
- Port Added: 2002-03-07 21:03:12
- Last Update: 2024-03-06 13:03:25
- Commit Hash: e23e46c
- 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.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- 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):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gmake>=4.4.1 : devel/gmake
- This port is required by:
- for Build
-
- math/scilab
- for Run
-
- 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:
|