- customization of activated checks (and exceptions) by configuration files
- code checks: overloading of builtin elements, useless constructs, deeply
  nested constructs, 'open' statements, magic numbers, complex conditions,
  empty constructs, deprecated elements, tuple size, useless parentheses,
  textual code duplicate, ignore of 'unit' expression, 'try/with' construct
  catching all exceptions
- documentation checks: presence of comments, and spellcheck
- interface checks: empty interface, and number of exported elements, duplicate
  elements
- metrics checks: coupling, Halstead, and McCabe
- miscellaneous checks: matching of regular expressions
- typographic checks: spaces, tabulations, headers, and file/line lengths
- support for CheckStyle, CSV, HTML, JDepend, bare text, binary, and XML outputs
- support for plugins (custom checks and outputs)
- support for ocamlfind
