Erlang does has static analysis though, through Dialyzer.

http://erlang.org/doc/man/dialyzer.html