Documentation

A description of the options accepted by spatch is available here.

A grammar of the SmPL language is available in pdf or html. This document also contains some annotated examples.

More examples are available here.

The Wiki contains more hints about using Coccinelle.