本文介绍过程间分析,旨在处理程序中的方法调用以提高分析精度。通过构建调用关系图(如CHA方法),从入口方法递归解析可达调用,并利用过程间控制流图(ICFG)传递数据流信息,最终显著提升常量传播等分析的准确性。
完成下面两步后,将自动完成登录并继续当前操作。