spgen(1) on Linux
The text 5f6c9924cd18, as Debian 13 (Trixie) shipped it. The page shows this text now.
harden a Coccinelle semantic patch spgen <SmPL-patch.cocci> [-c | --config <spgen config>] [-i | --interactive] [--default] [-o <output file>] [--no-output] [-help | --help]