一种基于契约的跨过程安全分析方法

• 作者: 刘坚 阳小奇
• 来源期刊: 西安电子科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 基于契约 跨过程 安全分析
• 年，卷（期）: 2006,（3）
• 页码范围: 390-394
• 页数: 5页
• 分类号: TP314
• 字数: 4236字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.2006.03.011

摘要

针对C/C++程序安全漏洞,提出了一种基于契约的跨过程安全分析方法.该方法自下而上分析遍历程序中的函数体,将跨过程分析转变为过程内分析.通过为变量和函数附加契约以记录其前置和后置条件,并在程序分析的过程中按照规则更新契约,使得在程序分析时自动进行安全检查.该方法具有代价小,灵活性强的特点,可用来检查程序中指针非法引用、内存泄漏及其他资源泄漏等安全漏洞.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	阳小奇	西安电子科技大学软件工程研究所	1	11	1.0	1.0
2	刘坚	西安电子科技大学软件工程研究所	28	264	10.0	15.0