Polonius and Rustc Code Walkthrough

Explore a comprehensive walkthrough of the rustc and Polonius code bases, focusing on their interconnections. Delve into key topics including IntroFax file, Polonius, compute regions, Polonius output, liveness computation, variables, rules, and subsets. Gain valuable insights into the inner workings of these systems through this informative 29-minute video presentation. Access additional resources and detailed information through the provided paper document link.

Intro
Fax file
Polonius
Compute regions
Polonius output
Liveness computation
Variables
Rules
Subsets