基于静态分析的C语言安全规则检查方法

发明专利无效专利

申请号：
CN201010539875.0
IPC分类号：G06F21/22
申请日期：
2010-11-09
申请人：
北京神舟航天软件技术有限公司

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	基于静态分析的C语言安全规则检查方法
申请号	CN201010539875.0	申请日期	2010-11-09
法律状态	驳回	申报国家	中国
公开/公告日	2011-04-13	公开/公告号	CN102012991A
优先权	暂无	优先权号	暂无
主分类号	G06F21/22 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F21/22 （转入G06F 21/10）	IPC分类号	G;0;6;F;2;1;/;2;2查看分类表>
申请人	北京神舟航天软件技术有限公司	申请人地址	北京市海淀区永丰路28号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	北京神舟航天软件技术有限公司	当前权利人	北京神舟航天软件技术有限公司
发明人	程胜;于鹏珊;崔小磊;陆麒
代理机构	北京北新智诚知识产权代理有限公司	代理人	张卫华

摘要

本发明涉及一种基于静态分析的C语言安全规则检查方法，其包括以下步骤：1)检查C语言的类型，避免强制类型转换的发生，禁止对通用指针类型的声明；2)规定全局变量和局部变量不可同名，全局变量与函数的形式参数不可重名；3)对控制流语句的循环变量做限制；4)强化C语言的声明和定义；5)对源代码作词法、语法、语义的分析，找出源代码中不符合上述规定的地方。本发明的优点是：1)在不需要执行代码的前提下找到可能的C语言编程上的漏洞；2)有效弥补C语言在软件工程中安全性不足的缺陷。

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

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

我浏览过的专利

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