← All repos

coccinelle

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

GitHubcoccinelle.gitlabpages.inria.fr/website/
Browse cluster: OCaml incremental computation and PPX tooling →
7,775commits
68contributors
22languages

Tech stack & purpose

Coccinelle is a source code analysis and transformation tool developed at Inria. The project consists of multiple components, including spgen, a tool that hardens Coccinelle scripts by generating context and printing modes for semantic patches written in the SmPL (Semantic Patch Language). The codebase is written in OCaml and relies on several bundled libraries and tools, including Menhir (a parser generator), Parmap (for multicore OCaml programming), and py.ml (OCaml bindings for Python). Coccinelle also includes auxiliary tools such as coccicheck for applying semantic patches to projects and vim syntax highlighting for cocci files.

Community & reference links

Languages

OCaml
84.8%
C
3.9%
TeX
2.6%
SmPL
1.9%
Makefile
1.5%
ReScript
1.2%
Shell
1.0%
C++
0.6%
M4
0.6%
Perl
0.6%
Python
0.4%
Emacs Lisp
0.4%
BibTeX Style
0.2%
Standard ML
0.1%
Roff
0.0%
Dockerfile
0.0%
Vim Script
0.0%
Dune
0.0%
Awk
0.0%
HCL
0.0%
HTML
0.0%
CSS
0.0%

Contributors (top 30 of 68)