龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：北京中科天齐信息技术有限公司
摘要：本发明提供一种TensorFlow程序漏洞检测方法、装置及电子设备，其中，方法，包括：遍历每一条程序路径，并根据每一条程序路径构建形状流图，所述形状流图表征程序中函数的调用关系以及张量信息的传递过程，所述张量信息包括未知张量信息；根据所述形状流图，建立约束关系式；根据目标约束求解器，对所述约束关系式进行求解，得到求解结果，根据所述求解结果，得到相应的检测结果。通过实施本发明，对于未知的张量信息，也可以将其建立在约束关系式中，通过求解器对该约束关系式进行求解，从而判断其是否满足约束条件，从而避免了静态分析检测在没有完整的形状信息的情况下，不能有效完成形状漏洞的检测的问题，提高了漏洞检测的准确性。
主权项：1.一种TensorFlow程序漏洞检测方法，其特征在于，包括如下步骤：遍历每一条程序路径，并根据每一条程序路径构建形状流图，所述形状流图表征程序中函数的调用关系以及张量信息的传递过程，所述张量信息包括未知张量信息；根据所述形状流图，建立约束关系式；根据目标约束求解器，对所述约束关系式进行求解，得到求解结果，根据所述求解结果，得到相应的检测结果；所述根据所述形状流图，建立约束关系式，包括：提取所述形状流图中的每一个张量运算符和或标量指令；根据所述张量运算符和或标量指令，得到相应约束关系；根据所述约束关系，形成约束关系式；所述根据所述张量运算符和或标量指令，得到相应约束关系，包括：当所述张量运算符为H＝logitsK,M，且张量K的秩和或张量M的秩不为常数时，所述约束关系为： 其中，表示张量K的秩，表示张量M的秩，BroadcastK,M,H,0,0表征对输入张量K的第1个维度、结果张量H的第1个维度以及与其他输入张量M匹配的第1个维度的约束，BroadcastK,M,H,-1,-1表征对输入张量K的最后1个维度、结果张量H的最后1个维度以及与其他输入张量M匹配的最后1个维度的约束，K[0]表征张量K的第一维度的大小，M[0]表征张量M的第一维度的大小，H[0]表征张量H的第一维度的大小。
全文数据：
权利要求：
百度查询： 北京中科天齐信息技术有限公司 一种TensorFlow程序漏洞检测方法、装置及电子设备
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号