Home

Splint is a tool for statically checking C programs for coding errors and security vulnerabilities. If effort is invested adding annotations to programs, Splint can perform stronger checking than is possible with traditional lints.

A git version of the repository is available at https://github.com/ravenexp/splint.

[Bill Pringlemeir]

A git version of the repository is available here. https://github.com/ravenexp/splint