Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. Source code included.
A note about the future of ecsoft2.org
ecsoft2.org runs on software (Drupal 7 and PHP 7.4) that reached its end of life years ago and no longer receives security updates. Keeping the site online safely is getting harder.
Giving it a future means migrating it to a current platform — and that is only worth doing if people still use it and want to help keep it alive.
If you care about ecsoft2.org, as a user, a contributor, or someone willing to lend a hand, please ggamba
tiscali [dot] it (get in touch) by January 31, 2027.
If no one comes forward by then, the site will be turned into a read-only archive, so that its content stays available.
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