splint(1) on Linux
The text 91b3358a9010, as Debian 13 (Trixie), Debian 12 (Bookworm), Debian 11 (Bullseye), Debian 10 (Buster), Debian 9 (Stretch), Debian 8 (Jessie), Debian 7 (Wheezy), Debian 6.0 (Squeeze), Debian 5.0 (Lenny) shipped it.
A tool for statically checking C programs
Flags it lists
-
-1-lib -
-1-strict-lib -
-Message -
-ansi-lib -
-checks -
-expect -
-forcehints -
-help -
-hints -
-nof -
-nolib -
-paren-file-format -
-posix-lib -
-posix-strict-lib -
-quiet -
-showallconjs -
-showalluses -
-showcolumn -
-showfunc -
-showscan -
-showsummary -
-standard -
-stats -
-strict -
-strict-lib -
-timedist -
-usestderr -
-weak -
-whichlib