LT | An OTP Bug That Slept for 16 Years - Albert Schimpf | Code BEAM Europe 2025
Автор: Code Sync
Загружено: 2025-11-13
Просмотров: 295
✨ This lightning talk was recorded at Code BEAM Europe in November 2025. If you're curious about our upcoming event, check https://codebebeameurope.com ✨
---
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 our recent research advances in static analysis for Erlang, which has recently allowed Etylizer to scale to the analysis of 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 our research progress by showcasing 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.
---
Let's keep in touch! Follow us on:
💥 Bluesky: / codebeam.bsky.social
💥 Twitter: / codebeamio
💥 LinkedIn: / code-sync
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![ИИ зачем теперь делать музыку? [уЗилок]](https://ricktube.ru/thumbnail/mWGUm4dQ2eo/mqdefault.jpg)
