This group is locked. No changes can be made to the group while it is locked.
Re: math between pkt pointer and register with unbounded min value is not allowed #verifier
Simon
Thx a lot for your time Jiong.
The more I played with bpf/xdp, the more I understand that the challenge is about making "optimized byte code" compliant for the verifier.
How could I do this kind of checks my self ? I mean looking how llvm optimized my code ? (to be able to do same kind of analyses you do above?)