摘要： 基于逻辑程序及其稳定模型的理论，提出一种源程序语义检测的稳定模型分析方法。该方法从源程序中提取关键语句图，将安全知识规则转换为一个逻辑程序，再用关键语句图去实例化该逻辑程序，最后求解其稳定模型得到源程序的安全性评价。该方法体现了源程序丰富的语义，具有较好的可扩展性。
关键词:
逻辑程序,
语义检测,
KSG图
Abstract: On the basis of the theory of logic program and its stable model, this paper proposes a stable model based semantic detection method of source code. According to security rules, this method translates a source code into an instantiated logic program and gets the security conclusion by analyzing its stable model. This method reflects abundant semantics of source codes, and has better expansibility.
Key words:
Logic program,
Semantic detection,
Key statement graph
中图分类号:
杨利军;董红斌;梁意文;谭成予. 源程序语义检测的稳定模型分析方法[J]. 计算机工程, 2006, 32(15): 96-98.
YANG Lijun;DONG Hongbin;LIANG Yiwen;TAN Chengyu. Stable Model Based Semantic Detection Method of Source Codes[J]. Computer Engineering, 2006, 32(15): 96-98.