DFAGen - Data Flow Analysis Generator tool |
Data-flow analysis is a common technique for gathering program information for use in program transformations such as register allocation, dead-code elimination, common subexpression elimination, and scheduling. Current tools for generating data-flow analysis implementations enable that the analysis details be specified orthogonally to the iterative analysis algorithm, but still require implementation details regarding the may and must use and definition sets that occur due to the effects of pointers, side effects, arrays, and user-defined structures. The DFAGen tool enables analysis writers to generate analyses for separable and nonseparable data-flow analyses that are pointer, aggregate, and side-effect cognizant from a specification that assumes only scalars. By hiding the compiler-specific details behind predefined set definitions, the analysis specifications for the DFAGen tool are typically less than ten lines long and similar to those in standard compiler textbooks.
Please be sure to occasionally check back on this website. We plan to add a tutorial and guide on how to build and use the tool soon.
| Page last updated: 03/10/2009 |