[发明专利]一种TensorFlow程序漏洞检测方法、装置及电子设备在审
| 申请号： | 202110606581.3 | 申请日： | 2021-05-31 |
| 公开（公告）号： | CN113221126A | 公开（公告）日： | 2021-08-06 |
| 发明（设计）人： | 刘晨;陆杰;李昊峰;李炼 | 申请（专利权）人： | 北京中科天齐信息技术有限公司 |
| 主分类号： | G06F21/57 | 分类号： | G06F21/57;G06K9/62 |
| 代理公司： | 北京三聚阳光知识产权代理有限公司 11250 | 代理人： | 李博洋 |
| 地址： | 100086 北京市海*** | 国省代码： | 北京;11 |
| 权利要求书： | 暂无信息 | 说明书： | 暂无信息 |
| 摘要： | 本发明提供一种TensorFlow程序漏洞检测方法、装置及电子设备，其中，方法，包括：遍历每一条程序路径，并根据每一条程序路径构建形状流图，所述形状流图表征程序中函数的调用关系以及张量信息的传递过程，所述张量信息包括未知张量信息；根据所述形状流图，建立约束关系式；根据目标约束求解器，对所述约束关系式进行求解，得到求解结果，根据所述求解结果，得到相应的检测结果。通过实施本发明，对于未知的张量信息，也可以将其建立在约束关系式中，通过求解器对该约束关系式进行求解，从而判断其是否满足约束条件，从而避免了静态分析检测在没有完整的形状信息的情况下，不能有效完成形状漏洞的检测的问题，提高了漏洞检测的准确性。 | ||
| 搜索关键词： | 一种 tensorflow 程序 漏洞 检测 方法 装置 电子设备 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京中科天齐信息技术有限公司，未经北京中科天齐信息技术有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202110606581.3/，转载请声明来源钻瓜专利网。
