Lineage: A Data-Flow Analysis for Erlang

Offered By: ACM SIGPLAN via YouTube

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!

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.

Syllabus

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

Taught by

ACM SIGPLAN

Related Courses

Pattern-Oriented Software Architectures: Programming Mobile Services for Android Handheld Systems
Vanderbilt University via Coursera Engineering Maintainable Android Apps
Vanderbilt University via Coursera Software Design as an Element of the Software Development Lifecycle
University of Colorado System via Coursera Secure Software Development
Pluralsight Secure Software Concepts for CSSLP®
Pluralsight