binary decision diagrams for pointer analysis

I watched a program on BDDBDDB "Program Analysis with Binary Decision Diagrams" (video of a seminar on research channel) and found it interesting enough.

I haven't had to use programming analysis with my jobs but it seems it is more valued in the game industry. So I was motivated enough to watch and learn from the talk. Overall, nothing really new but I can see the value of these studies.