kernel/tools/testing/selftests/bpf/verifier/ref_tracking.c, branch linux-5.2.y

selftests/bpf: test references to sock_common

2019-03-22T01:59:11Z

Make sure that returning a struct sock_common * reference invokes the reference tracking machinery in the verifier. Signed-off-by: Lorenz Bauer Signed-off-by: Alexei Starovoitov

selftests/bpf: allow specifying helper for BPF_SK_LOOKUP

2019-03-22T01:59:11Z

Make the BPF_SK_LOOKUP macro take a helper function, to ease writing tests for new helpers. Signed-off-by: Lorenz Bauer Signed-off-by: Alexei Starovoitov

bpf: Test ref release issue in bpf_tcp_sock and bpf_sk_fullsock

2019-03-13T19:04:35Z

Adding verifier tests to ensure the ptr returned from bpf_tcp_sock() and bpf_sk_fullsock() cannot be accessed after bpf_sk_release() is called. A few of the tests are derived from a reproducer test by Lorenz Bauer. Signed-off-by: Martin KaFai Lau Signed-off-by: Alexei Starovoitov

bpf: Add skb->sk, bpf_sk_fullsock and bpf_tcp_sock tests to test_verifer

2019-02-11T03:46:17Z

This patch tests accessing the skb->sk and the new helpers, bpf_sk_fullsock and bpf_tcp_sock. The errstr of some existing "reference tracking" tests is changed with s/bpf_sock/sock/ and s/socket/sock/ where "sock" is from the verifier's reg_type_str[]. Acked-by: Alexei Starovoitov Signed-off-by: Martin KaFai Lau Signed-off-by: Alexei Starovoitov

selftests: bpf: break up the rest of test_verifier

2019-01-28T05:37:45Z

Break up the rest of test_verifier tests into separate files. Signed-off-by: Jakub Kicinski Acked-by: Jiong Wang Signed-off-by: Alexei Starovoitov