sparse(1) on Linux
The text dd62b0d4d134, as Debian 9 (Stretch) shipped it.
Semantic Parser for C
Flags it lists
-
-Waddress-space -
-Wbitwise -
-Wcast-to-as -
-Wcast-truncate -
-Wcontext -
-Wdecl -
-Wdeclaration-after-statement -
-Wdefault-bitfield-sign -
-Wdesignated-init -
-Wdo-while -
-Wenum-mismatch -
-Winit-cstring -
-Wnon-pointer-null -
-Wold-initializer -
-Wone-bit-signed-bitfield -
-Wparen-string -
-Wptr-subtraction-blows -
-Wreturn-void -
-Wshadow -
-Wsparse-all -
-Wtransparent-union -
-Wtypesign -
-Wundef -
-ftabstop -
-gcc-base-dir -
-multiarch-dir