This video shows the implementation of the sparse version of tainted flow analysis. In particular, it shows how this analysis degenerates into simple graph traversal, after the program is converted to a representation called Extended Static Single Assignment form.
