KRover: A symbolic execution engine for dynamic kernel analysis

• Main Authors: PITIGALA ARACHCHILLAGE, Pansilu Madhura Bhashana Pitigalaarachchi, DING, Xuhua, QIU, Haiqing, TU, Haoxin, HONG, Jiaqi, JIANG, Lingxiao
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2023
• Subjects: dynamic kernel analysis; symbolic execution; Information Security
• Online Access: https://ink.library.smu.edu.sg/sis_research/8469; https://ink.library.smu.edu.sg/context/sis_research/article/9472/viewcontent/3576915.3623198.pdf
• Institution: Singapore Management University

We present KRover, a novel kernel symbolic execution engine catered for dynamic kernel analysis such as vulnerability analysis and exploit generation. Different from existing symbolic execution engines, KRover operates directly upon a live kernel thread's virtual memory and weaves symbolic exec...