一种面向程序内存安全性验证工具的静态优化方法

发明专利有效专利

申请号：
CN202010160648.0
IPC分类号：G06F8/41;G06F11/36
申请日期：
2020-03-10
申请人：
南京航空航天大学

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	一种面向程序内存安全性验证工具的静态优化方法
申请号	CN202010160648.0	申请日期	2020-03-10
法律状态	授权	申报国家	中国
公开/公告日	2020-07-24	公开/公告号	CN111443916A
优先权	暂无	优先权号	暂无
主分类号	G06F8/41 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F8/00 软件工程设计（测试或调试入G06F 11/36；软件项目管理、规划或组织入G06Q 10/06）〔2018.01〕 G06F8/40 程序代码转换〔2018.01〕 G06F8/41 编译〔2018.01〕	IPC分类号	G;0;6;F;8;/;4;1;;;G;0;6;F;1;1;/;3;6查看分类表>
申请人	南京航空航天大学	申请人地址	江苏省南京市秦淮区御道街29号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	南京航空航天大学	当前权利人	南京航空航天大学
发明人	陈哲;孙小祥;王冲
代理机构	南京经纬专利商标代理有限公司	代理人	施昊

摘要

本发明公开了一种面向程序内存安全性验证工具的静态优化方法，通过代码静态分析来识别并记录程序中所有指针的安全类别，使得内存安全性验证工具可以根据安全类别实现对验证过程的静态优化，从而消除不必要的内存安全检查，提高内存安全性验证工具的效率。相比于已有技术，本发明能够识别并记录程序中的安全指针和算术指针，使得程序内存安全性验证工具可以对这些指针不进行验证，或者使用较简单的验证算法，从而消除不必要的内存安全检查，提高内存安全性验证工具的效率。

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

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

我浏览过的专利

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