Fuzzing Logical Bugs in eBPF Verifier with Bound-Violation Indicator | IEEE Conference Publication | IEEE Xplore