源程序语义检测的稳定模型分析方法

• 作者: 杨利军 梁意文 董红斌 谭成予
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 逻辑程序 语义检测 KSG图
• 年，卷（期）: 2006,（15）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 96-98
• 页数: 3页
• 分类号: TP311
• 字数: 3833字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.15.034

摘要

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