An OTP Bug That Slept for 16 Years

How do you find a bug that's been sleeping in production since 2008? With Etylizer and the power of set-theoretic types. We present recent research advances in static analysis for Erlang, which has allowed Etylizer to scale to mature codebases like the Erlang/OTP standard library. Etylizer doesn't just spot type spec inconsistencies — it hunts down hidden crash conditions. We'll demonstrate how it found a crash-inducing type specification inconsistency in the Erlang standard library, hidden in (plain?) sight for 16 years, proving that no code is too old to be made safer.