Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Release tracking for the Coccinelle project
branch: master

This branch is 2 commits ahead, 69 commits behind coccinelle:master

Failed to load latest commit information.
commons Imported release 0.1.2
ctl Imported release 0.1.2
demos Imported release 0.1.1
docs Imported release 0.1.1
emacs Imported release 0.1.1
engine Imported release 0.1.2
extra Imported release 0.1.2
globals Imported release 0.1.2
menhirlib Imported release 0.1.1
parsing_c Imported release 0.1.2
parsing_cocci Imported release 0.1.2
popl Imported release 0.1.1
popl09 Imported release 0.1.2
pycaml Imported release 0.1.2
python Imported release 0.1.2
scripts Imported release 0.1.1
tests Imported release 0.1.1
tools Imported release 0.1.2
.cvsignore Imported release 0.1.1
.depend Imported release 0.1.2
.project Imported release 0.1.1
Makefile Imported release 0.1.2
Makefile.config Imported release 0.1.1
authors.txt Imported release 0.1.1
bugs.txt Imported release 0.1.1
changes.txt Imported release 0.1.2
cocci.ml Imported release 0.1.2
cocci.mli Imported release 0.1.1
configure Imported release 0.1.1
copyright.txt Imported release 0.1.1
credits.txt Imported release 0.1.1
empty.h Imported release 0.1.1
empty.iso Imported release 0.1.1
env.csh Imported release 0.1.1
env.sh Imported release 0.1.1
flag_cocci.ml Imported release 0.1.2
install.txt Imported release 0.1.2
license.txt Imported release 0.1.1
main.ml Imported release 0.1.2
prim.c Imported release 0.1.1
readme.txt Imported release 0.1.1
runspatch.opt Imported release 0.1.1
standard.h Imported release 0.1.1
standard.iso Imported release 0.1.2
test.ml Imported release 0.1.1
testing.ml Imported release 0.1.2
testing.mli Imported release 0.1.1

readme.txt

Coccinelle allows programmers to easily write some complex
style-preserving source-to-source transformations on C source code,
like for instance to perform some refactorings.

To install Coccinelle from its source, see the instructions in install.txt.
For more information on Coccinelle see the files in the docs/ directory.

Once you have installed Coccinelle (either from the source or from one
of the binary form available on the Coccinelle website), You may have
to setup a few environment variables so that the Coccinelle program
know where to find its configuration files.
For bash do:

 source env.sh

For tcsh do:

 source env.csh 



You can then test coccinelle with:

 spatch -sp_file demos/simple.cocci demos/simple.c

If you downloaded the bytecode version of spatch you may first 
have to install OCaml (which contains the 'ocamlrun' bytecode interpreter,
the equivalent of 'java', the Java virtual machine, but for OCaml) and then do:

 ocamlrun spatch -sp_file demos/simple.cocci demos/simple.c

Something went wrong with that request. Please try again.