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

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

程序理解中基于特征符号Plan库的建立

所有基于Plan的自动程序理解工具都采用把源码段跟标准Plan库中标准Plan相比较的方法来得到源码语义信息,从而达到程序理解的目标。通过分析、提取Plan中的特征符号,以特征符号作为Plan检索索引项,建立带特征信息Plan库,以达到快速匹配的目标,从而降低自下而上自动程序理解中因需要穷尽式搜索而带来的搜索强度。