There is a newer version of the record available.

Published April 28, 2023 | Version v1
Conference paper Open

Verifying the Verifier: eBPF Range Analysis Verification

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

Files

ebpf-range-analysis-verification-cav23.zip

Files (8.7 GB)

Name Size Download all
md5:273de559d8d29c883f15ba9d64570746
8.7 GB Preview Download