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

Martin Bromberger, Simon Schwarz, Christoph Weidenbach

Browse the full LPAR paper archive.