Practical Program Analysis (academic course) presented in Innopolis University in 2023 - View it on GitHub