Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches and transformations in C code. Coccinelle was initially targeted towards performing collateral evolutions in Linux. Such evolutions comprise the changes that are needed in client code in response to evolutions in library APIs, and may include modifications such as renaming a function, adding a function argument whose value is somehow context-dependent, and reorganizing a data structure. Beyond collateral evolutions, Coccinelle is successfully used (by us and others) for finding and fixing bugs in systems code.
Download Coccinelle for Linux
Match and transform C code using semantic patches
Official download link
Use the secure download link below for Coccinelle.
Click the button to begin the secure download.
Manual Flatpak install
You can also install and run Coccinelle from a terminal:
flatpak install flathub io.github.coccinelle.coccinelleflatpak run io.github.coccinelle.coccinelleAbout Coccinelle
Why download Coccinelle with App For That?
Download Coccinelle for Linux with confidence on App For That, your trusted hub for official installers and clean software updates.
App For That is a secure website committed to trustworthy distribution: we never host executables ourselves, we proxy every download straight from official sources, and we do not track or profile your visit.
Every file we link is checked manually and against malware scanners such as VirusTotal, so you can install Coccinelle for Linux without fear of bundled threats. That means no modified installers, no injected adware, and no surprise downloads, just the exact package the developer ships.
When you click the protected download button above, we start a brief countdown and then hand off straight to the vendor, guaranteeing you receive the freshest release for Coccinelle on Linux.