Lineage, a Data-Flow Analysis for Erlang (Infer 2023 - Infer Practitioners Workshop)

Sat 17 - Wed 21 June 2023 Orlando, Florida, United States

Who

Thibault Suzanne, Radu Grigore

Track

Infer 2023

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select 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

Sun 18 Jun 2023 14:00 - 14:45 at Magnolia 5 - Infer: Session 3

Abstract

We present a new Infer analysis, called Lineage, that produces a dataflow graph from Erlang programs on which we can perform taint checking. Lineage aims to be over-approximating and not miss any actual data flow. It is fast and terminates within a dozen minutes on a millions-LOC Erlang codebase.

Thibault Suzanne

Radu Grigore

Facebook

United Kingdom