机译:最终通过技术指标进行声音指向分析
specification inferencestatic points-to analysisruntime monitoring;
机译:基于指向属性的声音分析检测所有潜在的空取消引用
机译:防御要点分析:通过懒惰实现有效稳健
机译:概括的点 - 图:点分析的精确和可扩展抽象
机译:使用广义点到图的流和上下文敏感点到分析
机译:用于上下文敏感点分析的高效算法。
机译:耳道吸收声功率的规范:在抑制刺激频率耳声发射中的应用
机译:流动和上下文敏感点 - 使用广义分析 点到图