There is a newer version of the record available.

Published April 15, 2019 | Version v0.1-alpha
Software Open

vbpf/ebpf-verifier: PLDI '19 Camera Ready

Authors/Creators

  • 1. SRI International
  • 2. @bookingcom
  • 3. @kinvolk

Description

A new eBPF verifier, using abstract interpretation

Files

vbpf/ebpf-verifier-v0.1-alpha.zip

Files (426.5 kB)

Name Size Download all
md5:16d58d08e175c6af9b7dde668a0881d6
426.5 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/vbpf/ebpf-verifier/tree/v0.1-alpha (URL)