本发明公开了一种支持自动化检测程序缺陷的方法和系统，包括获取待测试程序，按照预设的程序完备配置原则给待测试程序配置信息得到完备后的待测试程序；分析完备后的待测试程序，解析并提取待测函数和待测函数信息，并将完备后的待测试程序编译成LLVM...

本发明公开了一种基于Coq的超大规模集成电路RTL漏洞形式化分析方法，包括：S1、词法语法分析，主要是分析集成电路硬件描述语言生成抽象语法树；S2、数据流转化，获取集成电路的数据流信息；S3、获取方程描述，从数据流信息的插桩函数中，获取...

本发明具体公开了一种基于规则定义的Java污点分析方法，所述方法包括：S1、定义Java语言中source点和sink点的规则并形成格式化的规则；S2、定义Java语言的污点传播规则；S3、根据步骤S1中所定义的Java语言中sourc...

本发明公开了一种支持多维数组的符号执行方法及漏洞检测系统。该方法在程序输入值为复杂数据结构时，依据手动设置和自动调整获得的最佳固定长度值，懒初始化复杂数据结构，在访问复杂数据结构时，通过判断访问偏移量的有效性，初始化调用的数据类型并获取...

本发明公开了一种网络靶场物理环境构建方法及系统，属于网络靶场构建技术领域。该系统包含串口管理与文件服务器、串口管理设备、物理层交换机、路由器/交换机。串口管理与文件服务器通过串口管理设备对物理层交换机及路由器/交换机进行脚本命令控制，依...

本发明公开了一种基于RTL网表的有限状态机识别及提取方法，包括：S1将RTL网表中存在逻辑反馈的所有寄存器识别为疑似状态寄存器；S2针对所有疑似状态寄存器，提取驱动该疑似状态寄存器的驱动网表并判断该驱动网表是否符合FSM状态转换逻辑，将...

本发明公开了一种识别多级中断下数据竞争点的方法，包括步骤：S1，读取中断驱动程序并获得程序源码和配置文件；S2，通过对中断驱动程序进行词法语法分析后转换为抽象语法树；S3，在抽象语法树的基础上得到函数调用图以及函数调用图内每个函数的全局...

本发明公开了一种基于RTL网表的复位网络提取方法，先获取集成电路硬件描述语言对应的RTL网表中所有的时序器件，对每个时序器件进行回溯推导得到每个时序器件的回溯信号路径，搜索回溯信号路径上的信号量和每个时序器件对应的的硬件描述语言并与回溯...

本发明公开了一种基于多种数据库与文件系统的软件样本混合存储系统，包括缓存模块、检索模块、分布式文件存储系统和数据库系统，数据库系统包括并排设置的关系型数据库、分布式非关系型数据库和图数据库，关系型数据库存储结构性数据，分布式非关系型数据...

本发明公开了一种基于目标装备的软件样本便携式采集方法，首先，预先指定采集类型；然后，接入目标装备；接着，启动专用搜索引擎，为目标装备上的文件建立索引，并搜索指定属性的文件；再次，判断是否检索到预先指定属性的样本，若是，专用搜索引擎读取并...

本发明公开了一种资源流图的构建方法，包括以下步骤：S100、将源代码文件通过转换器生成相应的抽象语法树；S200、对每个方法中需要分析的变量和语句分别定义，其中，变量定义为未赋值变量、赋值变量和参数变量；S300、遍历所有的抽象语法树，...

本发明涉及一种面向C程序缺陷检测的靶向式并行符号执行方法，其包括分布式计算系统，所述分布式计算系统包括一个主控节点和多个计算节点，所述主控节点任务预处理和任务分派包括以下步骤：步骤S1、源代码编译到中间代码；步骤S2、静态分析出疑似漏洞...