[erlang-questions] Security scanning tools for Erlang?

[Garry Hodgson]

We are using Erlang for some specialized components in a much larger 
system. That system now requires that all code must be scanned using an 
automated tool (e.g. HP's Fortify) that looks for security issues. 
Fortify does not handle Erlang, and has no plans to do so. Does anyone 
know of any commercial or Open Source security scanning tools for Erlang 
code?

http://www8.hp.com/us/en/software-solutions/static-code-analysis-sast/index.html

Thanks