Directed Real-time Linux Fuzzing with Configuration Awareness
Rt-Linux is a branch of the Linux kernel with modifications to meet real-time requirements, whose components are often less tested due to their deep integration with kernel logic and their dependence on certain configurations, which complicate traditional testing approaches. These challenges make it difficult to achieve comprehensive coverage of Rt-Linux ’s unique code sections, leaving systems vulnerable to bugs. We present DRLF-C , a configuration-aware directed fuzzer tailored for Rt-Linux , enabling efficient testing of its unique code sections. DRLF-C constructs a kernel-level weighted callgraph to prioritize input sequences closer to the target code and integrates static and dynamic configurations to test in realistic scenarios. Evaluations show that DRLF-C achieves a 24.70% increase in target coverage compared to Syzkaller and discovers 13 previously unknown bugs, now fixed by the Rt-Linux team. DRLF-C is currently integrated into Alibaba’s CI/CD pipeline of operating systems for continuous testing.
Authors
- Q. Y. Zhang (ORCID: https://orcid.org/0000-0002-8425-4803)
- Yuheng Shen (ORCID: https://orcid.org/0000-0002-2667-5431)
- Runzhe Wang (ORCID: https://orcid.org/0000-0003-1227-8475)
- Yu Jiang (ORCID: https://orcid.org/0000-0003-0955-503X)
- Heyuan Shi (ORCID: https://orcid.org/0000-0002-9040-7247)
- Jianzhong Liu (ORCID: https://orcid.org/0000-0003-3612-4315)
- Yen-shen Chen (ORCID: https://orcid.org/0009-0007-2392-3173)
Institutions
- Central South University (CN)
- Shandong University (CN)
- Hunan University (CN)
- Alibaba Group (United States) (US)
- Tsinghua University (CN)
Publication Details
- Journal
- ACM Transactions on Embedded Computing Systems
- Published
- 2025-12-05
- DOI
- https://doi.org/10.1145/3779061
- Primary Topic
- Software Testing and Debugging Techniques
- Type
- article
- Field-Weighted Citation Impact
- 0.00