HEALER
Hao Sun, Yuheng Shen, Cong Wang, Jianzhong Liu, Yu Jiang, Ting Chen, Aiguo Cui
Abstract
Modern operating system kernels are too complex to be free of bugs. Fuzzing is a promising approach for vulnerability detection and has been applied to kernel testing. However, existing work does not consider the influence relations between system calls when generating and mutating inputs, resulting in difficulties when trying to reach into the kernel's deeper logic effectively.
Topics & Concepts
Fuzz testingComputer scienceKernel (algebra)Vulnerability (computing)Theoretical computer scienceProgramming languageSoftware engineeringComputer securityMathematicsSoftwareDiscrete mathematicsSoftware Testing and Debugging TechniquesAdvanced Malware Detection TechniquesRadiation Effects in Electronics