Security in Numbers: SAFE vs Sobelow

SAFE and Sobelow are both security libraries used in the Erlang/Elixir ecosystem. They use different approaches to find vulnerabilities. In this lightning talk I will show some metrics comparing the two technologies.