Automatic Bit- and Memory-Precise Verification of eBPF Code.

Martin Bromberger Simon Schwarz Christoph Weidenbach

Published in: LPAR (2024)

Keyphrases

address space
magnetic tape
error correcting codes
computing power
processor core
logical operations
virtual memory
fully automatic
source code
random access memory
memory usage
computational power
error correction
verification method
memory requirements
model checking
data driven