Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. Source code included.
Program is distributed as ZIP package: download to temporary directory and unpack to destination folder. See below for download link(s).
Following ones are the download links for manual installation:
Splint v. 3.1.2 (10/8/2007, Martin Dietze) | ||
hobbes.nmsu.edu/download/pub/os2/dev/proglang/c/Splint_3-1-2.zip |
This work is licensed under a Creative Commons Attribution 4.0 International License.
Comments
Martin Iturbide
Tue, 08/08/2023 - 22:56
Permalink
New LInk: https://hobbes.nmsu
Add new comment