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

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.

Sun 18 Jun

Displayed time zone: Eastern Time (US & Canada) change