[发明专利]一种针对Rust编程语言中UNSAFE代码片段缺陷的检测方法在审
| 申请号： | 202310142983.1 | 申请日： | 2023-02-21 |
| 公开（公告）号： | CN116089302A | 公开（公告）日： | 2023-05-09 |
| 发明（设计）人： | 朱鹏辉;王莹;于海;朱志良 | 申请（专利权）人： | 东北大学 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36;G06F8/41 |
| 代理公司： | 沈阳东大知识产权代理有限公司 21109 | 代理人： | 李在川 |
| 地址： | 110819 辽宁*** | 国省代码： | 辽宁;21 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明设计一种针对Rust编程语言中UNSAFE代码片段缺陷的检测方法，首先基于rustc_lint模块，利用HIR判断程序语言中表达式是否包含在开发者编写的unsafeblock中；利用HIR对表达式的结构进行解析；然后利用MIR分析识别不安全的操作；最后对在开发者编写的unsafeblock中的安全表达式或语句进行报告；本发明提出了针对函数参数的数据流分析技术，找出函数参数的别名传播链；是对函数或方法进行判断是否标记unsafe关键字所需要的关键技术，并结合fuzz测试技术对目标函数进行测试以判断函数是否必须标记unsafe关键字。 | ||
| 搜索关键词： | 一种 针对 rust 编程 语言 unsafe 代码 片段 缺陷 检测 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于东北大学，未经东北大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202310142983.1/，转载请声明来源钻瓜专利网。
- 上一篇：一种煤炭制样机器人
- 下一篇：一种叠加图像生成方法、装置、设备及介质
