spgen(1) on Linux
The text 1edf582a1cc2, as Debian 12 (Bookworm), Debian 11 (Bullseye) shipped it.
harden a Coccinelle semantic patch spgen <SmPL-patch.cocci> [-c | --config <spgen config>] [-i | --interactive] [--default] [-o <output file>] [--no-output] [-help | --help]