Lecture "Data Flow Analysis (Part 5, Inter-procedural)" of "Program Analysis"

Lecture in the "Program Analysis" course by Prof. Dr. Michael Pradel at University of Stuttgart in winter semester 2020/21 See course page for more information: http://software-lab.org/teaching/winter2020/pa/