内核模糊测试
通过改进覆盖反馈、执行机制和状态探索方法，提升操作系统内核模糊测试的效率与漏洞发现能力。
内核模糊测试覆盖反馈漏洞发现
研究方向
研究方向
课题组的主要研究方向。
嵌入式与移动系统安全
面向嵌入式操作系统、Android 固件驱动与硬件相关系统组件，开展跨平台、跨架构的安全测试研究。
嵌入式系统Android 驱动FreeRTOSOpenHarmony
文件系统与系统一致性测试
通过系统化探索文件系统持久化状态和系统行为，发现崩溃一致性与正确性缺陷。
文件系统崩溃一致性状态探索
软件分析与安全保障
面向系统软件、云原生基础设施与安全关键软件栈，构建实用的软件测试与分析技术。
软件测试程序分析安全保障