qmonnet / rbpf

Rust virtual machine and JIT compiler for eBPF programs

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

rbpf incorrectly rejects last instruction is not an exit

Alan-Jowett opened this issue · comments

The rbpf runtime incorrectly rejects programs where the last instruction is not an exit instruction.

See https://github.com/Alan-Jowett/bpf_conformance/blob/main/tests/exit-not-last.data as an example.

This test passes the Linux verifier.