IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis researchers. - View it on GitHub