Automatic bit- and memory-precise verification of eBPF code

DOI10.29007/SJ4LMaRDI QIDQ7025187zbMATH OpenFDO

Authors Martin Bromberger, Simon Schwarz, Christoph Weidenbach

Publication date 19 February 2025

zbMATH Keywords

program verificationconstrained Horn clauseseBPF

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70)

This page was built for publication: Automatic bit- and memory-precise verification of eBPF code

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7025187)