bpf/progs/verifier_sock.c

54 __description("skb->sk: no NULL check")
70 __description("skb->sk: sk->family [non fullsock field]")
89 __description("skb->sk: sk->type [fullsock field]")
109 __description("bpf_sk_fullsock(skb->sk): no !skb->sk check")
126 __description("sk_fullsock(skb->sk): no NULL check on ret")
148 __description("sk_fullsock(skb->sk): sk->type [fullsock field]")
172 __description("sk_fullsock(skb->sk): sk->family [non fullsock field]")
195 __description("sk_fullsock(skb->sk): sk->state [narrow load]")
219 __description("sk_fullsock(skb->sk): sk->dst_port [word load] (backward compatibility)")
243 __description("sk_fullsock(skb->sk): sk->dst_port [half load]")
267 __description("sk_fullsock(skb->sk): sk->dst_port [half load] (invalid)")
292 __description("sk_fullsock(skb->sk): sk->dst_port [byte load]")
318 __description("sk_fullsock(skb->sk): sk->dst_port [byte load] (invalid)")
343 __description("sk_fullsock(skb->sk): past sk->dst_port [half load] (invalid)")
368 __description("sk_fullsock(skb->sk): sk->dst_ip6 [load 2nd byte]")
392 __description("sk_fullsock(skb->sk): sk->type [narrow load]")
416 __description("sk_fullsock(skb->sk): sk->protocol [narrow load]")
440 __description("sk_fullsock(skb->sk): beyond last field")
465 __description("bpf_tcp_sock(skb->sk): no !skb->sk check")
482 __description("bpf_tcp_sock(skb->sk): no NULL check on ret")
504 __description("bpf_tcp_sock(skb->sk): tp->snd_cwnd")
527 __description("bpf_tcp_sock(skb->sk): tp->bytes_acked")
550 __description("bpf_tcp_sock(skb->sk): beyond last field")
574 __description("bpf_tcp_sock(bpf_sk_fullsock(skb->sk)): tp->snd_cwnd")
602 __description("bpf_sk_release(skb->sk)")
619 __description("bpf_sk_release(bpf_sk_fullsock(skb->sk))")
643 __description("bpf_sk_release(bpf_tcp_sock(skb->sk))")
667 __description("sk_storage_get(map, skb->sk, NULL, 0): value == NULL")
696 __description("sk_storage_get(map, skb->sk, 1, 1): value == 1")
725 __description("sk_storage_get(map, skb->sk, &stack_value, 1): stack_value")
757 __description("bpf_map_lookup_elem(smap, &key)")
777 __description("bpf_map_lookup_elem(xskmap, &key); xs->queue_id")
801 __description("bpf_map_lookup_elem(sockmap, &key)")
821 __description("bpf_map_lookup_elem(sockhash, &key)")
841 __description("bpf_map_lookup_elem(sockmap, &key); sk->type [fullsock field]; bpf_sk_release(sk)")
867 __description("bpf_map_lookup_elem(sockhash, &key); sk->type [fullsock field]; bpf_sk_release(sk)")
893 __description("bpf_sk_select_reuseport(ctx, reuseport_array, &key, flags)")
913 __description("bpf_sk_select_reuseport(ctx, sockmap, &key, flags)")
933 __description("bpf_sk_select_reuseport(ctx, sockhash, &key, flags)")
953 __description("mark null check on return value of bpf_skc_to helpers")