Published April 28, 2023
| Version v2
Conference paper
Open
Verifying the Verifier: eBPF Range Analysis Verification
Authors/Creators
- 1. Rutgers University
Description
This archive is the artifact for the CAV-2023 paper "Verifying the Verifier: eBPF Range Analysis Verification". The archive is self contained and includes a readme file that explains the steps required to reproduce the results in the paper.
Notes
This work is supported in part by the National Science Foundation under FMITF-Track I Grant No. 2019302