Lineage: A Data-Flow Analysis for Erlang

Explore a new Infer analysis called Lineage, designed for producing dataflow graphs from Erlang programs to perform taint checking. Learn about this over-approximating analysis that aims to capture all actual data flow without missing any connections. Discover how Lineage achieves fast performance, terminating within minutes even when applied to Erlang codebases with millions of lines of code. Gain insights into the implementation and potential applications of this powerful data-flow analysis tool for Erlang programming.

[INFER'23] Lineage, a Data-Flow Analysis for Erlang