Here are the authors and maintainers of the different parts of coccinelle: * Julia Lawall - parsing_cocci/ (parsing SmPL, isomorphism handling) - engine/ (ast_cocci to ctl, sgrep) - ctl/ (symbolic model checker) - popl/ popl09/ - tools/ - standard.iso * Yoann Padioleau - 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 - Original version of the model checker in ctl/ - emacs/cocci-ediff.el - scripts/extractor.awk * Henrik stuart - python/ (python SmPL extension and a coccinelle GUI) * All - tests/ demos/