pycocci(1) on Linux
The text cabe79986732, as Debian 10 (Buster), Debian 9 (Stretch) 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> ]