splint(1) on Linux
The text 4fd17814efab, as Debian 4.0 (Etch), Debian 3.1 (Sarge) 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