Fuzzing Logical Bugs in eBPF Verifier with Bound-Violation Indicator.

Youlin Li Weina Niu Yukun Zhu Jiacheng Gong Beibei Li Xiaosong Zhang

Published in: ICC (2023)

Keyphrases

upper bound
lower bound
worst case
error bounds
source code
software systems
probabilistic logic
logical representation
constraint violations
real time
databases
information systems
multiscale
special case
root cause
bug localization