This video talks about the algorithm used to solve range analysis. It goes over different techniques seen in the algorithm, including arrangements to make the analysis inter-procedural and context sensitive. It shows the implementation of widening and its counterpart, narrowing.
