“北京中科天齐信息技术有限公司”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果6个，建议您升级VIP下载更多相关专利

[发明专利]浮点数处理方法、装置、计算机设备及存储介质-CN202310689128.2在审
发明人：杜政坤;李昊峰;陆杰;李炼;高琳;乔磊;苗蕾;张锦坤 -专利权人：中科天齐（山西）软件安全技术研究院有限公司;北京中科天齐信息技术有限公司
申请日： 2023-06-12 - 公布日： 2023-09-22 - 主分类号： G06F7/483 文献下载
摘要：本发明涉及数据处理技术领域，公开了浮点数处理方法、装置、计算机设备及存储介质。该浮点数处理方法包括：当检测到浮点数时，对浮点数进行解析，得到浮点数在代码中对应的字符串；对字符串进行解析，得到解析结果；若解析结果为第一预设解析结果，确定字符串的精度是否在第一精度范围内；若字符串的精度不在第一精度范围内，基于第一精度范围对字符串进行精度舍入处理。本发明通过对浮点数的精度进行检查，以及对浮点数进行舍入处理，解决相关技术中由于浮点数过长，在使用Clang编译器处理长浮点数时，导致Clang编译器崩溃或卡死的问题。
浮点处理方法装置计算机设备存储介质

[发明专利]可达性分析图生成和变量属性信息确定方法、装置及设备-CN202310689204.X在审
发明人：施程航;李昊峰;李炼;高琳;乔磊;苗蕾;张锦坤 -专利权人：中科天齐（山西）软件安全技术研究院有限公司;北京中科天齐信息技术有限公司
申请日： 2023-06-12 - 公布日： 2023-09-22 - 主分类号： G06F8/35 文献下载
摘要：本发明涉及程序分析技术领域，公开了可达性分析图生成和变量属性信息确定方法、装置及设备，包括：获取目标程序对应的变量传递关系图，变量传递关系图中包含节点和路径边；获取路径边产生式，路径边产生式用于表征待加入新边以及待加入新边在变量传递关系图中的传递规则；根据路径边产生式确定待加入新边对应的至少一个待接入节点；按照传递规则对应的传播路线在变量传递关系图中传播可达性关系集合，可达性关系集合是根据待加入新边对应的全部待接入节点确定的，以使传播路线中的各节点与可达性关系集合中的待接入节点之间建立待加入新边，形成目标程序的可达性分析图，本发明有效减少了可达性分析处理过程中的冗余传播，提高了可达性分析图的生成效率。
可达性分析生成变量属性信息确定方法装置设备

[发明专利]一种针对泛型编程的对象敏感指针分析方法及装置-CN202210893348.2在审
发明人：李昊峰;高琳;李炼 -专利权人：中科天齐（山西）软件安全技术研究院有限公司;北京中科天齐信息技术有限公司
申请日： 2022-07-27 - 公布日： 2023-01-31 - 主分类号： G06F11/36 文献下载
摘要：本申请是关于一种针对泛型编程的对象敏感指针分析方法及装置，具体涉及计算机视觉技术领域。所述方法包括：获取待分析的目标程序代码；在所述目标程序代码中的泛型编程语句中，将类型变量映射至实例化位置，并将所述类型变量与所述实例化位置的映射放入所述泛型编程语句的上下文；基于所述泛型编程语句的上下文，对所述目标程序代码进行上下文敏感指针分析，以获得所述目标程序代码中各个指针之间的指向关系。上述方案将泛型实例化位置与类型变量之间的映射关系放入上下文中进行上下文敏感指针分析从而得到各个指针之间的指向关系，提高了针对泛型编程的上下文敏感指针分析的准确性。
一种针对编程对象敏感指针分析方法装置

[发明专利]一种针对泛型编程的类型敏感指针分析方法及装置-CN202210893353.3在审
发明人：李昊峰;高琳;李炼 -专利权人：中科天齐（山西）软件安全技术研究院有限公司;北京中科天齐信息技术有限公司
申请日： 2022-07-27 - 公布日： 2023-01-31 - 主分类号： G06F11/36 文献下载
摘要：本申请是关于一种针对泛型编程的类型敏感指针分析方法及装置，具体涉及软件测试技术领域。所述方法包括：获取待分析的目标程序代码；将目标程序代码中的泛型编程语句中的类型变量，映射至类型变量的实际类型，并将类型变量与实际类型的映射放入泛型编程语句的上下文；基于泛型编程语句的上下文，对目标程序代码进行上下文敏感指针分析，以获得目标程序代码中各个指针之间的指向关系。上述方案将泛型实例化的具体类型与类型变量之间的映射关系放入上下文中进行上下文敏感指针分析从而得到各个指针之间的指向关系，提高了针对泛型编程的上下文敏感指针分析的准确性。
一种针对编程类型敏感指针分析方法装置

[发明专利]一种目标程序缺陷报告筛选方法及装置-CN202110875413.4在审
发明人：李广威;袁挺;陆杰;李炼 -专利权人： 北京中科天齐信息技术有限公司
申请日： 2021-07-30 - 公布日： 2021-10-22 - 主分类号： G06F11/30 文献下载
摘要：本发明公开了一种目标程序缺陷报告筛选方法及装置，其中，该方法包括：获取目标程序的缺陷报告，根据缺陷报告确定缺陷起始位置、触发缺陷程序指令，以及缺陷报告所指出的目标程序存在的缺陷；采用符号执行和静态分析，对从缺陷起始位置到触发缺陷程序指令的待搜索路径进行分析，判断缺陷起始位置与触发缺陷程序指令之间是否存在满足缺陷的触发条件的易受攻击路径；若缺陷起始位置与触发缺陷程序指令之间不存在易受攻击路径，则判定缺陷报告为误报。通过实施本发明能够快速判断缺陷起始位置与触发缺陷程序指令之间是否存在易受攻击路径，从而快速完成对缺陷报告的筛选，用户能够从筛选后的缺陷报告中获得目标程序真实存在的缺陷。
一种目标程序缺陷报告筛选方法装置

[发明专利]一种TensorFlow程序漏洞检测方法、装置及电子设备-CN202110606581.3在审
发明人：刘晨;陆杰;李昊峰;李炼 -专利权人： 北京中科天齐信息技术有限公司
申请日： 2021-05-31 - 公布日： 2021-08-06 - 主分类号： G06F21/57 文献下载
摘要：本发明提供一种TensorFlow程序漏洞检测方法、装置及电子设备，其中，方法，包括：遍历每一条程序路径，并根据每一条程序路径构建形状流图，所述形状流图表征程序中函数的调用关系以及张量信息的传递过程，所述张量信息包括未知张量信息；根据所述形状流图，建立约束关系式；根据目标约束求解器，对所述约束关系式进行求解，得到求解结果，根据所述求解结果，得到相应的检测结果。通过实施本发明，对于未知的张量信息，也可以将其建立在约束关系式中，通过求解器对该约束关系式进行求解，从而判断其是否满足约束条件，从而避免了静态分析检测在没有完整的形状信息的情况下，不能有效完成形状漏洞的检测的问题，提高了漏洞检测的准确性。
一种 tensorflow 程序漏洞检测方法装置电子设备