公开(公告)号：CN118152294A

公开(公告)日：2024-06-07

申请号：CN202410373751.1

申请日：2024-03-29

Applicant: 复旦大学

Inventor： 陈平 ,  王逸

IPC: G06F11/36 ,  G06F11/30 ,  G06F21/57

Abstract: 本发明涉及一种面向星载固件基于ARM架构的QNX固件仿真方法，包括如下步骤：针对目标星载固件，在终端实现基于IPL的引导启动模拟、内核callouts的代码建模，以及基于QNX资源管理进程的驱动IO模拟监控，完成目标星载固件在终端的模拟；通过将所述目标星载固件与所述终端桥接，采集ETM数据流；基于二进制静态插桩和反馈式模糊测试实现固件动态调试，完成固件仿真。与现有技术相比，本发明通过优化传统仿真技术以实现通用、自动化固件仿真技术，从而解决ARM架构的高度集成芯片设计导致的硬件架构异构性、非Linux系统的闭源性、不统一性、较差的硬件抽象支持等等问题。

公开(公告)号：CN118194295A

公开(公告)日：2024-06-14

申请号：CN202410326755.4

申请日：2024-03-21

Applicant: 复旦大学

Inventor： 陈平 ,  祁麟捷 ,  王逸

IPC: G06F21/57 ,  G06F9/54

Abstract: 本发明涉及一种非侵入式的并行模糊测试方法及装置，该方法包括以下步骤：从封闭式系统中提取程序运行时的指令信息；针对提取的指令信息进行解码处理，得到解码信息；根据解码信息，分别重构控制流和数据流；针对重构后的控制流和数据流，进行并行模糊测试。该装置包括调试设备和计算机，调试设备用于对封闭式系统进行指令追踪以及指令收集，并将收集的指令轨迹信息传输给计算机；计算机则用于对收集的指令轨迹信息进行过滤和解码操作，并重构出控制流和数据流后进行并行模糊测试。与现有技术相比，本发明能够针对封闭式系统进行有效的模糊测试，并提高模糊测试效率。

公开(公告)号：CN118409845A

公开(公告)日：2024-07-30

申请号：CN202410555697.2

申请日：2024-05-07

Applicant: 复旦大学

Inventor： 陈平 ,  侯秋雨 ,  王逸

IPC: G06F9/48 ,  G06F9/50

Abstract: 本发明公开了一种基于虚拟化技术的多线程模糊测试调度方法，包括基于虚拟机资源利用率的动态调度策略，包括：收集虚拟机资源利用率信息；计算虚拟机的资源利用率得分；根据虚拟机的资源利用率得分，将模糊测试工具分配到虚拟机上。本发明提出了一种基于虚拟机资源利用率的动态调度策略：该策略可以根据虚拟机资源利用率的变化动态调整模糊测试工具的分配，从而提高虚拟机资源利用率和模糊测试效率。

公开(公告)号：CN118445050A

公开(公告)日：2024-08-06

申请号：CN202410643485.X

申请日：2024-05-22

Applicant: 复旦大学

Inventor： 陈平 ,  王逸 ,  解凯风

IPC: G06F9/48 ,  G06F9/50 ,  G06F21/57

Abstract: 本发明涉及模糊测试方法，包括：在虚拟机系统中创建具有初始数量和初始优先级的线程，每个线程执行一个模糊测试任务；模拟CPU中断机制，以挂起不占用CPU的线程，并执行下一个等待执行的线程。本发明还涉及模糊测试设备、介质和计算机程序产品。