On Thu, Aug 12, 2021 at 08:00:33PM +0300, Ovidiu Panait wrote:
NOTE: the fixes were manually adjusted to apply to 4.19, so copying bpf@ to see if there are any concerns.
With this patchseries all bpf verifier selftests pass: root@intel-x86-64:~# ./test_verifier ... #657/u pass modified ctx pointer to helper, 2 OK #657/p pass modified ctx pointer to helper, 2 OK #658/p pass modified ctx pointer to helper, 3 OK #659/p mov64 src == dst OK #660/p mov64 src != dst OK #661/u calls: ctx read at start of subprog OK #661/p calls: ctx read at start of subprog OK Summary: 925 PASSED, 0 SKIPPED, 0 FAILED
Daniel Borkmann (4): bpf: Inherit expanded/patched seen count from old aux data bpf: Do not mark insn as seen under speculative path verification bpf: Fix leakage under speculation on mispredicted branches bpf, selftests: Adjust few selftest outcomes wrt unreachable code
All now queued up, thanks!
greg k-h