📦 coccinelle

C

• Coccilib(3cocci)Library of functions for use with Coccinelle OCaml script code✨

P

• pycocci(1)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> ]✨

S

• spatch(1)apply a semantic patch file to a set of C files✨
• spgen(1)harden a Coccinelle semantic patch spgen <SmPL-patch.cocci> [-c | --config <spgen config>] [-i | --interactive] [--default] [-o <output file>] [--no-output] [-help | --help]✨