Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Octocat-spinner-32-eaf2f5

Cannot retrieve contributors at this time

file 40 lines (28 sloc) 0.867 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39
Here are the authors and maintainers of the different parts of coccinelle:

* Julia Lawall <julia@diku.dk>

- parsing_cocci/ (parsing SmPL, isomorphism handling)
- engine/ (ast_cocci to ctl, sgrep)
- ctl/ (symbolic model checker)
- popl/ popl09/
- tools/
- standard.iso

* Yoann Padioleau <yoann.padioleau@gmail.com>

- parsing_c/ (parsing C, unparsing C, type checking, control flow, C diff)
- engine/ (pattern matching and transforming, unparsing, ctl integration)
- cocci.ml (driver)
- main.ml, testing.ml
- emacs/cocci.el
- globals/
- extra/
- tools/
- scripts/
- commons/ (utility functions)
- standard.h


* Rene Rydhof Hansen <rrhansen@diku.dk>

- Original version of the model checker in ctl/
- emacs/cocci-ediff.el
- scripts/extractor.awk

* Henrik stuart <henrik@hstuart.dk>

- python/ (python SmPL extension and a coccinelle GUI)

* All

- tests/ demos/
Something went wrong with that request. Please try again.