KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis.

Pansilu Pitigalaarachchi Xuhua Ding Haiqing Qiu Haoxin Tu Jiaqi Hong Lingxiao Jiang

Published in: CCS (2023)

Keyphrases

data analysis
data structure
multi dimensional