InfERL: Scalable and Extensible Erlang Static Analysis (Erlang 2022)

Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Who

Ákos Hajdu, Matteo Marescotti, Thibault Suzanne, Ke Mao, Radu Grigore, Per Gustafsson, Dino Distefano

Track

Erlang 2022

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Fri 16 Sep 2022 16:00 - 16:45 at M1 - Session 3

Abstract

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.

Ákos Hajdu

United Kingdom

Matteo Marescotti

Facebook, Inc.

United Kingdom

Thibault Suzanne

Ke Mao

Radu Grigore

Facebook

United Kingdom

Per Gustafsson

Dino Distefano

Facebook London

Time Zone

The program is currently displayed in (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague.

Use conference time zone: (GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, PragueSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Fri 16 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

16:00 - 17:30	Session 3Erlang at M1

16:00 45m Talk		InfERL: Scalable and Extensible Erlang Static Analysis Erlang Ákos Hajdu Meta, Matteo Marescotti Facebook, Inc., Thibault Suzanne Meta, Ke Mao Meta, Radu Grigore Facebook, Per Gustafsson Meta, Dino Distefano Facebook London
16:45 45m Other		Lightning talks Erlang