Splint (programming tool)

Formerly called LCLint, it is a modern version of the Unix lint tool.

Splint is used by gpsd as part of an effort to design for zero defects.

[1] Splint is free software released under the terms of the GNU General Public License.

According to the CVS at SourceForge, as of September 2012 the most recent change in the repository was in November 2010.

[2] A Git repository at GitHub has more recent changes, starting in July 2019.