I am currently re-implementing HydraCAT in SUIF (Stanford University Intermediate Format). This will provice a framework in which more complex analysis can be done, such as dataflow analysis, more aggressive localization of variables, and code motion to decrease wasted execution time.