小组研究论文被第21届ACM EMSOFT 2021接收


    清华大学软件系统安全保障小组研究成果论文“Rtkaller: State-aware Task Generation for RTOS Fuzzing”被 ACM EMSOFT (The ACM SIGBED International Conference on Embedded Software)2021接收。同时该论文将作为e-only special issue发表在期刊ACM Transactions on Embedded Computing Systems (TECS)上。
    该论文针对实时操作系统的模糊测试优化展开研究,根据实时操作系统注重调度能力和实时性的特点,提出一个增强的实时操作系统漏洞检测工具Rtkaller -- 结合了状态感知的内核模糊测试器。其提出了基于任务的测试用例生成,通过对任务的状态感知可以自动修复可能挂起的测试用例。同时采用了并行化的执行方式,可以加速模糊测试速度并有效提升代码覆盖率和漏洞检测效率。该工作由博士生沈煜恒,硕士生孙浩等共同完成。
    EMSOFT 是嵌入式软件的顶级会议之一。会议汇集了来自学术界、工业界的研究人员和开发人员,以推动嵌入式软件开发的科学、工程和技术的发展为目标。每年涵盖的领域包含:嵌入式软件设计与分析、嵌入式操作系统、形式化建模与验证、嵌入式系统安全等