一种基于模块感知的上下文敏感指针分析方法及系统

本发明提供了一种上下文敏感指针分析方法，通过模块内关键字解析所模块之间的依赖及访问关系并以此进行建模，并对调用接口的方法调用语句进行解析，解决了传统指针分析方法无法捕捉模块间接口访问而造成的完备性损失问题。其次，设计算法使得在解析语句过程中完成对象分配图与模块深度图的构建与更新，有效提高了指针分析效率，最后基于模块深度图保存的模块深度信息选取关键信息构建上下文，将上下文中的元素数量限制为1，不仅去除不必要的分析上下文元素，并且保留了分析结果的高精度，从而显著提高了分析过程的效率。