Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program.

Hao Sun Yiru Xu Jianzhong Liu Yuheng Shen Nan Guan Yu Jiang

Published in: EuroSys (2024)

Keyphrases

test cases
neural network
static analysis
structured data
program execution
genetic algorithm