| | 1 | Here are the authors and maintainers of the different parts of coccinelle: |
| | 2 | |
| | 3 | * Julia Lawall <julia@diku.dk> |
| | 4 | |
| | 5 | - parsing_cocci/ (parsing SmPL, isomorphism handling) |
| | 6 | - engine/ (ast_cocci to ctl, sgrep) |
| | 7 | - ctl/ (symbolic model checker) |
| | 8 | - tools/ |
| | 9 | - standard.iso |
| | 10 | |
| | 11 | * Yoann Padioleau <yoann.padioleau@gmail.com> |
| | 12 | |
| | 13 | - parsing_c/ (parsing C, unparsing C, type checking, control flow, C diff) |
| | 14 | - engine/ (pattern matching and transforming, unparsing, ctl integration) |
| | 15 | - main.ml, cocci.ml (driver), testing.ml |
| | 16 | - configure, txt files, Makefiles |
| | 17 | - globals/ |
| | 18 | - extra/, tools/, scripts/ |
| | 19 | - commons/ (utility functions, e.g. for logging, profiling, regression testing) |
| | 20 | - editors/emacs/cocci.el |
| | 21 | - standard.h |
| | 22 | |
| | 23 | |
| | 24 | * Rene Rydhof Hansen <rrhansen@diku.dk> |
| | 25 | |
| | 26 | - Original version of the model checker in ctl/ |
| | 27 | - editors/emacs/cocci-ediff.el |
| | 28 | - scripts/extractor.awk |
| | 29 | |
| | 30 | * Henrik stuart <henrik@hstuart.dk> |
| | 31 | |
| | 32 | - python/ (python SmPL extension and a coccinelle GUI) |
| | 33 | |
| | 34 | * Nicolas Palix <npalix@diku.dk> |
| | 35 | |
| | 36 | - ocaml/ (OCaml SmPL extension) |
| | 37 | - scripts/spatch.bash_completion |
| | 38 | |
| | 39 | * All |
| | 40 | |
| | 41 | - tests/ demos/ |
HCoop / bpt / coccinelle.git / blame_incremental