pycocci(1) on Linux
The text 880e1bc4ffc9, as Debian 12 (Bookworm) shipped it.
Coccinelle wrapper for SmPL patch development pycocci [-h | --help] [-p | --profile-cocci] [-j | --jobs <job-digit> ] [-v | --verbose] [-s | --show-proof] <SmPL-patch.cocci> <target> ]