基于契约的函数指针静态安全分析

• 作者: 马志宇
• 来源期刊: 电子科技
• 学科: 工学
• 关键词: 契约 函数指针 安全分析 安全漏洞
• 年，卷（期）: 2007,（4）
• 所属期刊栏目: 图像·编码与软件
• 页码范围: 63-65,74
• 页数: 4页
• 分类号: TP314
• 字数: 2895字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-7820.2007.04.017

摘要

文中扩充了基于契约的安全检查机制,提出了一种针对函数指针的安全检查方法.该方法利用静态分析获取的函数指针指向信息,结合自下而上分析过程中记录的契约信息,对函数指针的使用进行安全性检查.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马志宇	西安电子科技大学软件工程研究所	1	1	1.0	1.0