ICHEC Software
Information about software packages installed on the ICHEC systems.
Splint
Versions Installed
Stokes: 3.1.2
Description
Splint (Secure Programming Lint) is a tool for statically checking C programs for security vulnerabilities and coding mistakes.
License
GNU General Public License
Benchmarks
N/A.
Additional Notes
To use Splint load the relevant environment module:
module load splint
For more information see the Splint website.