search

iovisor / ubpf

Userspace eBPF VM
Apache License 2.0
833 stars 138 forks source link

uBPF should correctly reject jumping and falling through between sub-programs #580

Closed Alan-Jowett closed 4 weeks ago

Alan-Jowett commented 4 weeks ago

Assume BPF byte code sequence contains a main program followed by a sub-program.

Main program is in range [0, m) and sub-program is in range [m, n).

The following are not permitted: 1) Jumps from [0,m) -> [m,n) 2) Falling through from m-1 -> m.

Alan-Jowett commented 4 weeks ago

Fixed