专利标题 公开号/公告号 公开日期 摘要 专利状态
一种FPGA并行仿真的海量仿真波形数据切片方法 CN202210073594.3 - 本发明公开了一种FPGA并行仿真的海量仿真波形数据切片方法，该方法包括：设置仿真波形切分信息并将导入的FPGA项目划分为多个独立子模块，然后将对应生成的FPGA位流下载至FPGA上并行仿真；选择调试信号并将仿真波形数据缓存至DDR内存中；访问仿真波形数据并生成索引文件，并将转存为VCD仿真波形切片文件与索引文件一起进行保存；解析索引文件得到调试信号列表；选择需要还原的调试信号即可还原出仿真波形。本发明基于调试信号的功能模块及时间轴将海量仿真波形文件切分为大量微型文件并通过创建索引将微型文件组织起来，聚焦于调试所需信号及时段，滤除大量冗余数据，降低对网络带宽和CPU处理速度的要求，从而降低了还原仿真波形的时延，提高了调试效率。 实质审查
一种虚实结合的网络靶场场景及快照构建方法 CN202210064382.9 2022-04-19 本发明公开了一种虚实结合的网络靶场场景及快照构建方法，属于网络靶场构建技术领域。该方法包含步骤：S1：靶场管理模块设置网络靶场目标场景配置文件，构建网络靶场实验环境；S2：路由器/交换机将网络靶场目标场景配置文件备份至本地存储空间；S3：靶场管理模块备份网络靶场拓扑图及网络靶场目标场景配置文件；S4：靶场管理模块对网络靶场虚拟设备生成系统快照；S5：靶场管理模块进行网络靶场物理环境场景恢复。本发明利用快照技术解决了虚实结合网络靶场实验环境故障时需要专业技术人员保障、配置时间长、难以扩展、场景数据易丢失等问题，提高了网络靶场实验环境的安全性和稳定性。 专利权的授权
一种基于函数签名的自定义特征规则方法 CN202210008854.9 - 本发明公开了一种基于函数签名的自定义特征规则方法，包括统计所分析语言的安全漏洞设计编程安全特征规则；根据编程安全特征规则定义相应的状态转换流程，并记录引起状态转换的函数签名得到函数签名的集合；根据状态转换流程、函数签名的集合以及预设的规则含义设计多个有限状态自动机；获取启动各自动机的函数签名集合，监控变量所调函数，根据变量所调函数和启动各自动机的函数签名集合启动自动机；自动机启动后，追踪变量的访问和传播路径，将变量及其引用所调函数的签名作为对应自动机的输入串，结合自动机的当前状态、状态转换函数得到转换后的状态直到自动机结束或发生错误。无需掌握静态分析核心技术，就可以对特征规则集进行扩展。 实质审查
一种支持自动化检测程序缺陷的方法和系统 CN202210009142.9 2022-04-08 本发明公开了一种支持自动化检测程序缺陷的方法和系统，包括获取待测试程序，按照预设的程序完备配置原则给待测试程序配置信息得到完备后的待测试程序；分析完备后的待测试程序，解析并提取待测函数和待测函数信息，并将完备后的待测试程序编译成LLVM中间码；分析LLVM中间码得到中间码指令上的附带信息，根据附带信息和待测函数信息对待测函数进行代码插桩，生成符号执行驱动程序；通过执行分析技术分析符号执行驱动程序，生成待测试程序的触发缺陷测试数据；解释器实际执行缺陷测试数据，输出执行结果得到待测试程序的缺陷测试结果。无需任何人工干预，大大减少了缺陷测试的工作量，保证系统在进行测试时的通用性和自动化程度。 专利权的授权
一种网络靶场流量实时采集系统及方法 CN202111656295.4 2023-06-02 本发明公开了一种网络靶场流量实时采集系统及方法，属于网络靶场流量监测技术领域。该系统包含靶场管理模块、流量汇集模块、网络靶场设备。其采集方法为：S1：靶场管理模块设置流量采集脚本；S2：靶场管理模块发送流量采集脚本至流量汇集模块，依据该流量采集脚本设置流量汇集规则；S3：网络靶场设备依据流量汇集模块设置的流量汇集规则进行流量汇集，并输出汇集的网络流量至网络靶场设备的镜像端口；S4：流量汇集模块采集网络靶场设备汇集的网络流量数据，并向靶场管理模块发送网络靶场网络流量采集状态数据。本发明解决了网络靶场物理实验环境难以自动化实时采集设备流量的问题，实现了网络靶场对多个端口设备流量的实时自动化采集。 专利权的授权
一种用于逻辑仿真系统的高性能信号监视方法 CN202111656294.X 2024-03-29 本发明公开了一种用于逻辑仿真系统的高性能信号监视方法。该方法包含步骤S1：对源代码进行词法及语法分析，生成对应的抽象语法树；S2：生成基于节点语义的定义引用表；S3：对源代码执行代码生成，记录信号引用点位置，同时在信号引用点前后置入空指令；S4：创建定义符号引用地址表；S5：执行逻辑仿真系统逻辑仿真；S6：执行检查点补丁；S7：记录并更新信号值及检查点结果。该方法利用硬件描述语言特性在源代码的编译处理过程中产生引用信息，为调试器提供关键的语义信息，同时在信号引用点位置预留补丁空间，从而提高逻辑仿真系统对信号监控的执行性能。 专利权的授权
一种HDL代码仿真覆盖率异步事件驱动自动分析方法 CN202111643328.1 2024-10-01 本发明公开了一种HDL代码仿真覆盖率异步事件驱动自动分析方法，该方法包括：HDL代码的词法语法分析；覆盖率分析环境初始化；覆盖率原语插入；生成覆盖率原语对应的可执行函数，然后将可执行函数插入到覆盖引擎的事件队列以作为单独的线程或进程进行维护；可执行函数与仿真程序并行异步执行以收集覆盖率信息；输出覆盖率分析结果及报告。本发明通过将覆盖率原语对应的可执行函数插入到覆盖引擎的事件队列中与仿真过程并行异步执行，既不会影响原始电路功能的实现，同时又能够对仿真性能的影响最小化。 专利权的授权
一种基于规则定义的Java污点分析方法 CN202011115176.3 2022-07-01 本发明具体公开了一种基于规则定义的Java污点分析方法，所述方法包括：S1、定义Java语言中source点和sink点的规则并形成格式化的规则；S2、定义Java语言的污点传播规则；S3、根据步骤S1中所定义的Java语言中source点和sink点的规则和步骤S2中所定义的污点传播规则，构建Java语言中每个污点的传播路径以对Java污点进行分析。本发明通过对Java语言中source点和sink点的规则以及对污点传播规则进行定义，从而构建出Java语言中污点的传播路径并进行追踪，通过将程序中的污点构建与source点规则、sink点规则和pass点规则的定义相分离，使得污点传播分析具有自定义性和可扩展性，因此，用户可以在不了解静态分析核心技术的情况下构造出对Java污点进行分析的自定义污染分析规则。 专利权的授权
一种支持多维数组的符号执行方法及漏洞检测系统 CN202011108279.7 2022-10-28 本发明公开了一种支持多维数组的符号执行方法及漏洞检测系统。该方法在程序输入值为复杂数据结构时，依据手动设置和自动调整获得的最佳固定长度值，懒初始化复杂数据结构，在访问复杂数据结构时，通过判断访问偏移量的有效性，初始化调用的数据类型并获取具体数值，依据访问结果，调用约束求解器对路径条件的可满足性进行求解，调用程序计数器，触发计算目标代码的具体值。该漏洞检测系统包含程序指令分析模块、参数分析模块、符号引擎模块及测试引擎模块。本发明解决了在符号执行时针对复杂数据结构懒初始化失效问题，能够确保复杂数据结构符号化的准确性，提高复杂数据结构情况下符号执行的程序稳定性。 专利权的授权
一种基于Coq的超大规模集成电路RTL漏洞形式化分析方法 CN202011100587.5 2023-12-12 本发明公开了一种基于Coq的超大规模集成电路RTL漏洞形式化分析方法，包括：S1、词法语法分析，主要是分析集成电路硬件描述语言生成抽象语法树；S2、数据流转化，获取集成电路的数据流信息；S3、获取方程描述，从数据流信息的插桩函数中，获取数据流的方程描述；S4、抽象函数模型转换，将方程描述转换成函数表示形式的抽象函数模型；S5、形式数据模型抽取和精简化，从抽象函数模型中抽取形式数据模型并进一步精简；S6、漏洞分析，使用Coq定理证明器进行证明并分析结果，证伪时，则该集成电路设计存在漏洞。本发明将安全漏洞产生条件定义为数学定理，推导判定漏洞定理是被证明或证伪，从而判断集成电路RTL漏洞是否存在。 专利权的授权