Lecture 'Data Flow Analysis (Part 3, More Examples)' 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:

[maxr]

With respect to the very busy example: Why is "a>b" not an expression? I would argue that the statement "if(a>b)..." would generate the expression "a>b".

[JulesBashizi]

Is it RDentry(3) = RDexit(2) union or intersect RDexit(5) ? a bit confused