Did you try dialyzer for Erlang[1] or Elixir[2]?<p>[1]: <a href="http:&#x2F;&#x2F;erlang.org&#x2F;doc&#x2F;apps&#x2F;dialyzer&#x2F;dialyzer_chapter.html" rel="nofollow">http:&#x2F;&#x2F;erlang.org&#x2F;doc&#x2F;apps&#x2F;dialyzer&#x2F;dialyzer_chapter.html</a>
[2]: <a href="http:&#x2F;&#x2F;elixir-lang.org&#x2F;docs&#x2F;stable&#x2F;elixir&#x2F;typespecs.html" rel="nofollow">http:&#x2F;&#x2F;elixir-lang.org&#x2F;docs&#x2F;stable&#x2F;elixir&#x2F;typespecs.html</a><p>Not sure it helps, it&#x27;s on my todo list.