coccinelle-docker

Dockerized Coccinelle spatch (matching and transformation tool for C).

Installation

Automated builds of the image are available on Dockerhub and is the recommended method of installation.

Download:

docker pull philmd/coccinelle:latest

Run spatch:

docker run --rm -v `pwd`:`pwd` -w `pwd` -u `id -u` \
	philmd/coccinelle:latest
			--sp-file myscript.cocci \
			--macro-file mymacro.h \
			--in-place \
			myfile.c

Build the image yourself:

docker build -t philmd/coccinelle github.com/philmd/docker-coccinelle