Yadfa - Yet Another Data Flow Analysis library The goal of this project is to implement most important data flow analysis. It's also yet another intermediate representation