Comparing the Precision of Abstract Operators in the eBPF Verifier Using Differential Synthesis.

Matan Shachnai, Harishankar Vishwanathan, Srinivas Narayana, Santosh Nagarakatte

Browse the full SAS paper archive.