kernel/tools/testing/selftests/bpf/verifier/jit.c, branch linux-5.2.yHosts the 0x221E linux distro kernel.https://universe.0xinfinity.dev/distro/kernel/atom?h=linux-5.2.y2019-05-01T21:32:16Zbpf, x32: Fix bug for BPF_JMP | {BPF_JSGT, BPF_JSLE, BPF_JSLT, BPF_JSGE}2019-05-01T21:32:16ZWang YanQingudknight@gmail.com2019-04-27T08:28:26Zurn:sha1:711aef1bbf88212a21f7103e88f397b47a528805
The current method to compare 64-bit numbers for conditional jump is:
1) Compare the high 32-bit first.
2) If the high 32-bit isn't the same, then goto step 4.
3) Compare the low 32-bit.
4) Check the desired condition.
This method is right for unsigned comparison, but it is buggy for signed
comparison, because it does signed comparison for low 32-bit too.
There is only one sign bit in 64-bit number, that is the MSB in the 64-bit
number, it is wrong to treat low 32-bit as signed number and do the signed
comparison for it.
This patch fixes the bug and adds a testcase in selftests/bpf for such bug.
Signed-off-by: Wang YanQing <udknight@gmail.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
selftests: bpf: break up the rest of test_verifier2019-01-28T05:37:45ZJakub Kicinskijakub.kicinski@netronome.com2019-01-25T23:24:44Zurn:sha1:48729226238d4d56bdb8de9d54b911f179dd54b7
Break up the rest of test_verifier tests into separate
files.
Signed-off-by: Jakub Kicinski <jakub.kicinski@netronome.com>
Acked-by: Jiong Wang <jiong.wang@netronome.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>