Soter
The Soter tool is an experimental static analyzer for Erlang programs. It supports higher-order, spawning and message passing, but only a small subset of Erlang’s built-in types/functions.
Soter’s original source code succumbed to bitrot; we are making some progress towards a complete rewrite. There used to be an easy-to-use web interface for trying out the program, but it is under maintenance, please be patient. There exists an archived VirtualBox image that can be used to reproduce the claims of the Soter papers (it used to be hosted at the Static Analysis symposium website, but not anymore). We will find a way to re-share it for long-term archival.
If you would like more information on the current state of development/access of Soter, send an email to emanuele.dosualdo@gmail.com.
To know more about Soter and the theory underpinning it, see the following papers: