authors.txt

   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/