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 - popl/ popl09/
   9 - tools/
  10 - standard.iso
  11
  12 * Yoann Padioleau <yoann.padioleau@gmail.com>
  13
  14 - parsing_c/ (parsing C, unparsing C, type checking, control flow, C diff)
  15 - engine/ (pattern matching and transforming, unparsing, ctl integration)
  16 - cocci.ml (driver)
  17 - main.ml, testing.ml
  18 - emacs/cocci.el
  19 - globals/
  20 - extra/
  21 - tools/
  22 - scripts/
  23 - commons/ (utility functions)
  24 - standard.h
  25
  26
  27 * Rene Rydhof Hansen <rrhansen@diku.dk>
  28
  29 - Original version of the model checker in ctl/
  30 - emacs/cocci-ediff.el
  31 - scripts/extractor.awk
  32
  33 * Henrik stuart <henrik@hstuart.dk>
  34
  35 - python/ (python SmPL extension and a coccinelle GUI)
  36
  37 * All
  38
  39 - tests/ demos/