What static code analysis tools are there?
There are several tools which detect various classes of likely programming errors in Erlang code. XREF finds all undefined module calls in a set of modules, i.e. it catches errors caused by mistyping module or function names, among others. The Erlang Compiler has several in-built options which help detect problems. Most of these (e.g. reporting unused variables, unused functions and some classes of dead code) are enabled by default. The Dialyzer is a dedicated static code analysis tool which examines .beam object files. Among other things, it does a global analysis and reports dead code and some classes of type error. Highly recommended.