In this video, we explain how we can generate constraints for control flow analysis. We show how we can design a visitor that traverses the program's abstract syntax tree producing constraints along the way.
No download links available.
