Coccinelle

Installation

Packages exist for several distributions:

You can find Coccinelle’s source code at GitHub, or clone the repository with:

git clone https://github.com/coccinelle/coccinelle.git

More details available on Coccinelle’s website.

Tutorials

Work in progress, comments welcomed via the following form.

How to use Coccinelle to find bugs:

How to use Coccinelle to fix bugs:

Advanced usages:

Documentation

A detailed specification of SmPL’s grammar here.
The official website page on documentation.

Useful links

Official website
Source Code: https://github.com/coccinelle/coccinelle
Semantic patches examples, use GitHub research tool to find usage examples of different grammatical structures.
Coccinelle’s mailing list, ask your questions there.