本发明涉及预处理命令的处理方法

本发明涉及程序分析技术领域，公开了可达性分析图生成和变量属性信息确定方法、装置及设备，包括：获取目标程序对应的变量传递关系图，变量传递关系图中包含节点和路径边；获取路径边产生式，路径边产生式用于表征待加入新边以及待加入新边在变量传递关系...

本发明涉及数据处理技术领域，公开了浮点数处理方法、装置、计算机设备及存储介质。该浮点数处理方法包括：当检测到浮点数时，对浮点数进行解析，得到浮点数在代码中对应的字符串；对字符串进行解析，得到解析结果；若解析结果为第一预设解析结果，确定字...

本申请是关于一种针对泛型编程的类型敏感指针分析方法及装置，具体涉及软件测试技术领域。所述方法包括：获取待分析的目标程序代码；将目标程序代码中的泛型编程语句中的类型变量，映射至类型变量的实际类型，并将类型变量与实际类型的映射放入泛型编程语...

本申请是关于一种针对泛型编程的对象敏感指针分析方法及装置，具体涉及计算机视觉技术领域。所述方法包括：获取待分析的目标程序代码；在所述目标程序代码中的泛型编程语句中，将类型变量映射至实例化位置，并将所述类型变量与所述实例化位置的映射放入所...

本发明公开了一种目标程序缺陷报告筛选方法及装置，其中，该方法包括：获取目标程序的缺陷报告，根据缺陷报告确定缺陷起始位置、触发缺陷程序指令，以及缺陷报告所指出的目标程序存在的缺陷；采用符号执行和静态分析，对从缺陷起始位置到触发缺陷程序指令...

本发明提供一种TensorFlow程序漏洞检测方法、装置及电子设备，其中，方法，包括：遍历每一条程序路径，并根据每一条程序路径构建形状流图，所述形状流图表征程序中函数的调用关系以及张量信息的传递过程，所述张量信息包括未知张量信息；根据所...