gdfa

GDFA is a generic data flow analyzer for per function (i.e., intraprocedural) bit vector data flow analysis in GCC. I worked on this project between 2009 and 2011. GCC Resource Center at IIT Bombay maintains this project.