专利标题 公开号/公告号 公开日期 摘要 专利状态
一种网络靶场物理环境构建方法及系统 CN202010951942.3 2022-06-10 本发明公开了一种网络靶场物理环境构建方法及系统，属于网络靶场构建技术领域。该系统包含串口管理与文件服务器、串口管理设备、物理层交换机、路由器/交换机。串口管理与文件服务器通过串口管理设备对物理层交换机及路由器/交换机进行脚本命令控制，依次进行场景环境连通、设备IP配置、设备配置文件下发与导入、目标场景文件下载与场景切换等步骤，实现网络靶场不同场景的自动切换。本发明解决了传统网络靶场物理实验环境构建过程中需要人工插拔、线路杂乱、设备需要专业技术人员保障、配置时间长、难以扩展等问题，实现了网络靶场物理实验环境构建的快速自动化。 专利权的授权
一种基于RTL网表的有限状态机识别及提取方法 CN202010938370.5 - 本发明公开了一种基于RTL网表的有限状态机识别及提取方法，包括：S1将RTL网表中存在逻辑反馈的所有寄存器识别为疑似状态寄存器；S2针对所有疑似状态寄存器，提取驱动该疑似状态寄存器的驱动网表并判断该驱动网表是否符合FSM状态转换逻辑，将符合FSM状态转换逻辑的驱动网表标视为状态寄存器并提取和收集该状态寄存器及其驱动网表；S3对被标记的状态寄存器及其驱动网表计算驱动网表在不同输入信号下状态寄存器的输出信号，并形成FSM状态转换图；S4输出FSM识别及提取结果。本发明对比基于HDL的FSM识别及提取方法更具通用性；以RTL网表作为分析对象在一定程度上能够有效的降低分析的时间和空间复杂度。 专利申请的撤回
一种识别多级中断下数据竞争点的方法 CN202010851429.7 - 本发明公开了一种识别多级中断下数据竞争点的方法，包括步骤：S1，读取中断驱动程序并获得程序源码和配置文件；S2，通过对中断驱动程序进行词法语法分析后转换为抽象语法树；S3，在抽象语法树的基础上得到函数调用图以及函数调用图内每个函数的全局变量读写信息和函数控制流图；S4，根据函数控制流图和配置文件分析每个函数内全局变量读写点的中断状态；S5，根据配置文件信息、函数调用图、函数控制流图对中断任务的优先级排序进行两两组合，遍历对应函数内所有全局变量读写信息，进行数据竞争点分析识别；S6，输出数据竞争点分析报告。本发明分析的方法主要针对转换后的抽象语法树，避免对程序的模拟执行，大大提高分析效率，同时减小资源开销。   专利申请的撤回
一种基于RTL网表的复位网络提取方法 CN202010804387.1 - 本发明公开了一种基于RTL网表的复位网络提取方法，先获取集成电路硬件描述语言对应的RTL网表中所有的时序器件，对每个时序器件进行回溯推导得到每个时序器件的回溯信号路径，搜索回溯信号路径上的信号量和每个时序器件对应的的硬件描述语言并与回溯信号路径进行复位模式匹配，筛选得到复位信号路径并存入信号路径集，对信号路径集中的复位信号路径逐条合并，形成复位网络。本发明通过对时序器件的输入端口进行回溯推导，能够得到一条完整的回溯信号路径，结合RTL网表和硬件描述语言能够准确识别复位信号路径，将提取到的复位信号路径合并成完整的复位网络。本发明分析并提取的复位网络在保证分析结果准确性的同时还大幅提高了分析的工作效率。   专利申请的撤回
一种基于目标装备的软件样本便携式采集方法 CN202010741698.8 - 本发明公开了一种基于目标装备的软件样本便携式采集方法，首先，预先指定采集类型；然后，接入目标装备；接着，启动专用搜索引擎，为目标装备上的文件建立索引，并搜索指定属性的文件；再次，判断是否检索到预先指定属性的样本，若是，专用搜索引擎读取并复制预先指定属性的软件样本到电子存储设备；反之，则退出接入目标装备。通过上述过程弥补了传统互联网软件样本采集方法的不足，可针对目标装备与移动存储介质进行样本采集，具有方法简单便携、采集对象可定制、采集手段灵活等优点。   实质审查
基于多种数据库与文件系统的软件样本混合存储系统 CN202010741675.7 - 本发明公开了一种基于多种数据库与文件系统的软件样本混合存储系统，包括缓存模块、检索模块、分布式文件存储系统和数据库系统，数据库系统包括并排设置的关系型数据库、分布式非关系型数据库和图数据库，关系型数据库存储结构性数据，分布式非关系型数据库存储从软件样本提取的指纹特征信息，图数据库存储关联关系数据，分布式文件系统存储文本信息，缓存模块和检索模块连接，检索模块分别与分布式文件存储系统、关系型数据库、分布式非关系型数据库和图数据库连接。本发明解决了海量软件样本特性数据入库与检索效率低、数据存储与管理困难、数据服务扩展性差和无法满足多用户获取实时请求数据的问题，具有分类存储、高效管理与快速检索的优点。   实质审查
一种资源流图的构建方法 CN202010741701.6 2023-09-22 本发明公开了一种资源流图的构建方法，包括以下步骤：S100、将源代码文件通过转换器生成相应的抽象语法树；S200、对每个方法中需要分析的变量和语句分别定义，其中，变量定义为未赋值变量、赋值变量和参数变量；S300、遍历所有的抽象语法树，并找到抽象语法树中的每一个方法，建立一个以它的名称和参数类型为主键值的索引；S400、对于方法内的每一个参数变量进行处理；S500、对于方法内的所有赋值变量进行处理；S600、对于方法内的所有未赋值变量进行处理。本发明的资源流图构建不需要通过生成大量中间的结果，可通过语法树直接生成，并且能够通过该资源流图分析数据的流向，节省了大量的时间和空间。 专利权的授权
面向C程序缺陷检测的靶向式并行符号执行方法 CN201910428120.4 2022-12-16 本发明涉及一种面向C程序缺陷检测的靶向式并行符号执行方法，其包括分布式计算系统，所述分布式计算系统包括一个主控节点和多个计算节点，所述主控节点任务预处理和任务分派包括以下步骤：步骤S1、源代码编译到中间代码；步骤S2、静态分析出疑似漏洞点；步骤S3、建立程序依赖图；步骤S4、图算法遍历程序依赖图G；步骤S5、将子图置入队列；步骤S6、记录计算节点的状态；步骤S7、初始化计算节点；步骤S8、中间代码的分配；步骤S9、遍历队列ListTask；步骤S10、各计算节点开始计算任务；步骤S11、更新元组NS；步骤S12、主控节点通知各计算节点结束，收取并汇总各计算节点所提交的处理结果。本发明实现了对源代码缺陷分析目标的快速精准定位和验证。 专利权的授权
一种连续合成二烯丙基异氰脲酸酯的方法 CN202211471125.3 2023-03-10 本发明公开了一种连续合成二烯丙基异氰脲酸酯的方法，属于有机合成工艺技术领域。具体步骤包括：三聚氰酸三烯丙酯的邻二甲苯溶液、醋酸铜的水溶液分别通过计量泵连续加入带轴向搅拌的管式反应器进行反应；然后进入带轴向搅拌的管式冷却结晶器冷却结晶；随后通过离心进行固液分离，固体即为目标产品二烯丙基异氰脲酸酯粗品。本发明解决了现有技术上的反应热集中释放的缺点；反应温度高，混合充分，减少了反应时间，避免了物料长时间受高温的影响，减少一烯丙基异氰脲酸酯等副产物的生成，产品品质和收率得到提高，不同批次间产品品质稳定，对工业化生产具有重要意义。 专利权的授权
一种三烯丙基异氰脲酸酯的合成方法 CN202210918788.9 2022-11-15 本发明公开了一种带轴向搅拌的管式反应器连续化合成三烯丙基异氰脲酸酯（TAIC）的方法，属于有机合成工艺技术领域。具体步骤包括：首先尿素与碳酸钠在DMF溶剂中脱水脱氨后得到氰酸钠的DMF浆料，氰酸钠的DMF浆料和氯丙烯分别用浆料计量泵和液体计量泵按比例泵入带轴向搅拌的管式反应器中进行取代和环合反应，过滤除盐后精馏即可得到三烯丙基异氰脲酸酯。相较于传统间歇合成法，本发明解决了现有技术中氰酸盐（氰酸钠、氰酸钾）需干燥后再反应的缺陷，也避免了未成环的烯丙基氰酸酯及三聚氰酸二取代或单取代等副产的生成，减少了氯丙烯的水解。该发明操作简单，产品收率高、品质好，更有利于工业化生产。 专利权的授权