[发明专利]一种验证编译器安全性的方法在审
| 申请号： | 201611135782.5 | 申请日： | 2016-12-12 |
| 公开（公告）号： | CN106611125A | 公开（公告）日： | 2017-05-03 |
| 发明（设计）人： | 王少培 | 申请（专利权）人： | 中国航空工业集团公司洛阳电光设备研究所 |
| 主分类号： | G06F21/57 | 分类号： | G06F21/57;G06F9/45 |
| 代理公司： | 西北工业大学专利中心61204 | 代理人： | 陈星 |
| 地址： | 471099 *** | 国省代码： | 河南;41 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提出一种验证编译器安全性的方法，首先根据编译器的应用环境，设置编译器的编译选项；其次确定编码标准，根据编码标准建立验证代码库，验证代码库包含应用中所有可能出现的代码结构和这些代码结构的组合；最后将验证代码库中的所有代码输入编译器，得到目标汇编码；对源代码和目标汇编码的语法进行走查，确定源代码和目标汇编码是否一致；如果一致，则认为编译器安全，如果不一致，则修改编译器或编码标准。本发明不依赖使用经验来判断编译器的安全性，而是以验证代码库为基础，进行目标汇编码和源代码的一致性判断来确定编译器的安全性；该方法具有成本低、易实施、易迁移等优点。 | ||
| 搜索关键词： | 一种 验证 编译器 安全性 方法 | ||
【主权项】：
一种验证编译器安全性的方法，其特征在于：包括以下步骤：步骤1：根据编译器的应用环境，设置编译器的编译选项；所述编译选项包括优化等级、硬件平台和链接库；步骤2：确定编码标准，根据编码标准建立验证代码库，所述验证代码库包含应用中所有可能出现的代码结构和这些代码结构的组合；所述代码结构包括数据结构、控制结构、数组长度、参数个数；步骤3：将验证代码库中的所有代码输入编译器，得到目标汇编码；对源代码和目标汇编码的语法进行走查，确定源代码和目标汇编码是否一致；如果一致，则认为编译器安全，如果不一致，则修改编译器或编码标准。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国航空工业集团公司洛阳电光设备研究所，未经中国航空工业集团公司洛阳电光设备研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201611135782.5/，转载请声明来源钻瓜专利网。
- 上一篇：计算机装置及其开机方法
- 下一篇：一种漏洞严重性评估及修补方法
