[发明专利]基于代码行为单位的程序变量有效定义检测方法及装置有效
| 申请号： | 201910132689.6 | 申请日： | 2019-02-22 |
| 公开（公告）号： | CN111611149B | 公开（公告）日： | 2023-03-31 |
| 发明（设计）人： | 孟罡;王磊;沈亮;孙振;赵荣彩 | 申请（专利权）人： | 上海信息安全工程技术研究中心 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 郑州大通专利商标代理有限公司 41111 | 代理人： | 周艳巧 |
| 地址： | 200021 *** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明属于计算机应用技术领域，特别涉及一种基于代码行为单位的程序变量有效定义检测方法及装置，该方法包含：收集代码样本数据集；提取代码样本数据集中代码抽象语法树，并生成控制流图；遍历控制流图中每行代码，构建各行代码变量的有效定义集合；依据有效定义集合，分析各行代码的输入集合，构建每个定义变量的使用‑定义链，该使用‑定义链用于检测代码函数及相关联的有效变量定义。本发明中基于抽象语法树生成代码控制流图，根据控制流图路径执行过程变量定义和改变情况，以代码行为单位进行变量有效定义检测，实现自动、批量的程序变量有效定义检测，有效提高代码检测效率和质量，便于程序代码漏洞检测，对网络安全应用具有重要的意义。 | ||
| 搜索关键词： | 基于 代码 行为 单位 程序 变量 有效 定义 检测 方法 装置 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于上海信息安全工程技术研究中心，未经上海信息安全工程技术研究中心许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201910132689.6/，转载请声明来源钻瓜专利网。
- 上一篇：一种非线性刚度的空气弹簧
- 下一篇：折盖装置、包装机以及计算机可读介质
