We present a new pointer and escape analysis. Instead of analyzing the whole program, the algorithm incrementally analyzes only those parts of the program that may deliver useful results. An analysis policy monitors the analysis results to direct the incremental investment of analysis resources to those parts of the program that offer the highest expected optimization return.
Our experimental results show that almost all of the objects are allocated at a small number of allocation sites and that an incremental analysis of a small region of the program surrounding each site can deliver almost all of the benefit of a whole-program analysis. Our analysis policy is usually able to deliver this benefit at a fraction of the whole-program analysis cost.
我们提出了一个新的指针和转义分析。该算法没有分析整个程序,而是仅增量分析程序中可能提供有用结果的那些部分。一种分析策略监视分析结果,以将分析资源的增量投资定向到程序中提供最高预期优化收益的那些部分。 P>
我们的实验结果表明,几乎所有对象都分配在少量分配站点上,并且对围绕每个站点的程序的一小部分进行增量分析可以带来整个程序分析的几乎所有好处。我们的分析策略通常能够以整个程序分析成本的一小部分实现这种收益。 P>
机译:递增指针和逃生分析
机译:多线程程序的指针和转义分析
机译:Pascal和Fortran 90中指针的别名分析:指针引用之间的依赖关系分析
机译:增量指针和转义分析
机译:指针分析:为有效的程序分析奠定基础。
机译:具有EMOTIV®EEG耳机的陀螺仪驱动的鼠标指针和基于经验模式分解的数据分析
机译:增量指针和转义分析