sparse(1) on Linux
The text 2d329b0050ae, as Debian 10 (Buster) shipped it.
Semantic Parser for C
Flags it lists
-
-Waddress-space -
-Wbitwise -
-Wbitwise-pointer -
-Wcast-from-as -
-Wcast-to-as -
-Wcast-truncate -
-Wconstant-suffix -
-Wconstexpr-not-const -
-Wcontext -
-Wdecl -
-Wdeclaration-after-statement -
-Wdefault-bitfield-sign -
-Wdesignated-init -
-Wdo-while -
-Wenum-mismatch -
-Winit-cstring -
-Wmemcpy-max-count -
-Wnon-pointer-null -
-Wold-initializer -
-Wone-bit-signed-bitfield -
-Wparen-string -
-Wpointer-arith -
-Wptr-subtraction-blows -
-Wreturn-void -
-Wshadow -
-Wshift-count-negative -
-Wshift-count-overflow -
-Wsizeof-bool -
-Wsparse-all -
-Wsparse-error -
-Wtransparent-union -
-Wtypesign -
-Wundef -
-fdiagnostic-prefix -
-fmax-warnings -
-fmem-report -
-fmemcpy-max-count -
-ftabstop -
-gcc-base-dir -
-multiarch-dir