splint

splint.orgsite

Annotation-assisted static program checker.

from

Static Analysis & Code Quality

added

2026-10-10

likes

0

similar

1. ▲

   splint github.com

   tool link ↗
   
2. ▲

   tsqllint github.com

   T-SQL-specific linter.

   tool topic programming link ↗
   tool
3. ▲

   https://lisp-stat.dev/ lisp-stat.dev

   site link ↗
   site
4. ▲

   OCLint oclint.org

   A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C. - source

   site link ↗
   site
5. ▲

   simpalt github.com

   tool link ↗
   tool
6. ▲

   CLASP github.com

   tool link ↗
   tool

Static Analysis & Code Quality › Programming Languages: “Annotation-assisted static program checker.”