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

摘要： 基于逻辑程序及其稳定模型的理论，提出一种源程序语义检测的稳定模型分析方法。该方法从源程序中提取关键语句图，将安全知识规则转换为一个逻辑程序，再用关键语句图去实例化该逻辑程序，最后求解其稳定模型得到源程序的安全性评价。该方法体现了源程序丰富的语义，具有较好的可扩展性。

关键词: 逻辑程序, 语义检测, KSG图

CLC Number: 

• TP311