一种利用图同构验证编译器的方法

发明专利有效专利

申请号：
CN201310512437.9
IPC分类号：G06F11/36;G06F9/45
申请日期：
2013-10-25
申请人：
北京广利核系统工程有限公司;中国广核集团有限公司

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种利用图同构验证编译器的方法
申请号	CN201310512437.9	申请日期	2013-10-25
法律状态	暂无	申报国家	中国
公开/公告日	2014-02-05	公开/公告号	CN103559125A
优先权	暂无	优先权号	暂无
主分类号	G06F11/36 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F11/00 错误检测；错误校正；监控（在基于记录载体和传感器之间的相对运动而实现的信息存储中的错误检测、校正或监控所用的方法或装置入 G11B 20/18；监控，即，监控记录或重现的进程入G11B 27/36；静态存储中所用的方法或装置入G11C29/00）〔1，4，2006.01〕 G06F11/36 通过软件的测试或调试防止错误〔7〕	IPC分类号	G;0;6;F;1;1;/;3;6;;;G;0;6;F;9;/;4;5查看分类表>
申请人	北京广利核系统工程有限公司;中国广核集团有限公司	申请人地址	北京市海淀区永丰路5号院5号楼变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	北京广利核系统工程有限公司,中国广核集团有限公司	当前权利人	北京广利核系统工程有限公司,中国广核集团有限公司
发明人	冯素梅;刘建龙;李幼媛;袁劲涛;杨晓豫;赵云飞;江国进;白涛;孙永滨;宁祾
代理机构	北京元中知识产权代理有限责任公司	代理人	王明霞

摘要

本发明公开一种利用图同构验证编译器的方法，包括待处理的源程序和将源程序生成目标程序的编译器，在选定环境下建立一个反编译器，通过反编译器将目标程序反编译成对比程序，验证对比程序和源程序之间的语义一致性，并在此基础上，分别建立源程序和对比程序的控制流图相关结点信息后进行同构判定，从而得到编译器是否安全的结论。本发明通过判断对比程序与源程序的控制流图是否同构，来验证编译器的安全性。该方法直接将反编译后的代码与源代码进行语义比较，避免了验证过程中由于源代码信息丢失导致验证不全面的问题，该算法不需要再次遍历控制流图，使得图同构判断算法简单，易于实现。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供