程序理解中一种基于特征符号的粗匹配方法

摘要

所有基于Plan的自动程序理解工具都采用把源码段跟标准Plan库中标准Plan相比较的方法来得到源码语义信息,从而达到程序理解的目标.以程序段的特征信息为索引项,对标准Plan库进行穷尽式快速粗匹配,以克服自下而上程序理解模式搜索强度大,实际应用性不强的弱点,达到快速粗粒度匹配的目标.方法的局限是匹配过程中存在信息遗漏,需要进一步采用模糊推理机制对潜在Plan进行相似性度量.