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.
Overview
Syllabus
[INFER'23] Lineage, a Data-Flow Analysis for Erlang
Taught by
ACM SIGPLAN
Related Courses
-
Incremental Analysis in Infer
-
Do You Speak My Language? Make Static Analysis Engines Understand Each Other
-
Security Through Static Analysis - Don't Let It Crash
-
Detecting Bugs Using Decompilation and Data Flow Analysis
-
Adventures in Reviewing Mountains of Code
-
Data Flow Analysis in IntelliJ IDEA - How the IDE Perceives Your Code
