ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Fri 16 Sep 2022 16:00 - 16:45 at M1 - Session 3

In this paper we introduce InfERL, an open source, scalable, and extensible static analyzer for Erlang, based on Meta’s Infer tool. InfERL has been developed at WhatsApp and it is deployed to regularly scan WhatsApp server’s Erlang code- base, detecting reliability issues and checking user-defined properties. The paper describes the Erlang specific technical challenges we had to address and our design choices. We also report on our experience in running InfERL on Erlang code at scale, supporting the messaging app used everyday by over 2 billion people.

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

16:00 - 17:30
Session 3Erlang at M1
InfERL: Scalable and Extensible Erlang Static Analysis
Ákos Hajdu Meta, Matteo Marescotti Facebook, Inc., Thibault Suzanne Meta, Ke Mao Meta, Radu Grigore Facebook, Per Gustafsson Meta, Dino Distefano Facebook London
Lightning talks