Incremental Dialyzer - How we made Dialyzer 3x Faster

Dialyzer is really powerful, but sometimes it can be hard to get the most out of it because the analyses can be quite slow. This talk introduces an incremental mode for Dialyzer that can significantly improve its performance by avoiding redundant work.

OBJECTIVES

Introduce a new "incremental" mode for Dialyzer, and explain how it differs from the classic model of building a PLT and checking it.

AUDIENCE

Erlang & Elixir users of Dialyzer