program analysis; alias analysis; points-to analysis;
机译:概括的点 - 图:点分析的精确和可扩展抽象
机译:Dyck-CFL-Reachability的快速算法及其在别名分析中的应用
机译:动态点 - 设置:与程序理解和优化中的静态分析和潜在应用的比较
机译:Point-Wise必须别名及其应用点分析
机译:用于上下文敏感点分析的高效算法。
机译:基于重采样的多重比较程序适用于功能数据的逐点测试
机译:使用上下文敏感的必须非别名分析来扩展基于CFL可达性的点 - 分析