Install coccinelle-doc by entering the following commands in the terminal:
sudo apt update sudo apt install coccinelle-doc
Description:
documentation for coccinelle
Coccinelle is a program matching and transformation tool for C. The programmer describes the code to match and the transformation to perform as a semantic patch, which looks like a standard patch, but can transform multiple files at any number of code sites. . This package contains examples files and additional documentation in PDF format.
Homepage: http://coccinelle.lip6.fr
Version: 1.0.4.deb-3build4
Section: universe/doc