[发明专利]一种利用数据流分析算法分析C代码中的内存安全的方法在审
| 申请号： | 202111201254.6 | 申请日： | 2021-10-15 |
| 公开（公告）号： | CN114153451A | 公开（公告）日： | 2022-03-08 |
| 发明（设计）人： | 贾枭;孙振东 | 申请（专利权）人： | 上海那一科技有限公司 |
| 主分类号： | G06F8/41 | 分类号： | G06F8/41 |
| 代理公司： | 上海国瓴律师事务所 31363 | 代理人： | 傅耀 |
| 地址： | 200240 上海市闵行*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供了一种利用数据流分析算法分析C代码中的内存安全的方法。将指令定义成形式化后的指令集，进行如下操作，静态分析出代码需要并给指针添加标记；将代码转化成抽象语法树，并对其每一个指令进行类型检查，同时对涉及到的指针权限转移或借用语句进行修改，使之在静态单赋值中有所区分；对抽象语法树进行线性化，得到静态单赋值形式的控制流图，进行数据流分析，得到收敛的权限映射表的结果；利用数据流分析算法迭代稳定后的结果，利用错误检查函数检查是否存在内存安全问题。其中本发明的有益效果是：基于C语言中一系列常见的涉及内存的指令，定义了形式化后的指令集，定义了一系列内存错误检测方法，便于检测内存安全。 | ||
| 搜索关键词： | 一种 利用 数据流 分析 算法 代码 中的 内存 安全 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于上海那一科技有限公司，未经上海那一科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202111201254.6/，转载请声明来源钻瓜专利网。
