Stable Model Based Semantic Detection Method of Source Codes
Tan Chengyu · Jisuanji gongcheng · 2006
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.