Abstract:
The goal of the OpenAnalysis toolkit is to separate analysis from the intermediate representation in a way that allows the orthogonal development of compiler infrastructures and program analysis. Separation of analysis from specific intermediate representations will enable faster development of compiler infrastructures, the ability to share and compare analysis implementations, and in general quicker breakthroughs and evolution in the area of program analysis. |
