Defined in 1 files as a function:

Referenced in 14 files:

Smatch caller information:

security/smack/smack_netfilter.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 rcu_read

net/ipv4/tcp_ipv4.c inet_sk_transparent() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk->__sk_common.skc_prot (-1),448
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 sk->sk_backlog.head->csum 0-4294967040[c]
HOST_DATA 0 sk->sk_backlog.head->csum_offset 0-u16max
HOST_DATA 0 sk->sk_backlog.head->data_len 0-u32max[c]
HOST_DATA 0 sk->sk_backlog.head->len 0-u32max[c]
HOST_DATA 0 sk->sk_backlog.head->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 sk->sk_backlog.head->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 sk->sk_backlog.tail->csum 0-4294967040[c]
HOST_DATA 0 sk->sk_backlog.tail->csum_offset 0-u16max
HOST_DATA 0 sk->sk_backlog.tail->data_len 0-u32max[c]
HOST_DATA 0 sk->sk_backlog.tail->len 0-u32max[c]
HOST_DATA 0 sk->sk_backlog.tail->next->csum 0-4294967040[c]
HOST_DATA 0 sk->sk_backlog.tail->next->csum_offset 0-u16max
HOST_DATA 0 sk->sk_backlog.tail->next->data_len 0-u32max[c]
HOST_DATA 0 sk->sk_backlog.tail->next->len 0-u32max[c]
HOST_DATA 0 sk->sk_backlog.tail->next->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 sk->sk_backlog.tail->next->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 sk->sk_backlog.tail->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 sk->sk_backlog.tail->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 sk->sk_receive_queue.prev->csum_offset 0-u16max
HOST_DATA 0 sk->sk_receive_queue.prev->data_len 0-u32max[c]
HOST_DATA 0 sk->sk_receive_queue.prev->next->csum_offset 0-u16max
HOST_DATA 0 sk->sk_receive_queue.prev->next->data_len 0-u32max[c]
HOST_DATA 0 sk->sk_receive_queue.prev->next->truesize 0-u32max
HOST_DATA 0 sk->sk_receive_queue.prev->truesize 0-u32max
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->end
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->end
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->truesize
UNITS 0 sk unit_byte
LOCK2 rcu_read
HALF_LOCKED2 0 sk
HALF_LOCKED2 0 &sk->sk_lock.slock

net/ipv4/tcp_ipv4.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/ipv4/tcp_ipv4.c skb_steal_sock() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 rcu_read

net/ipv4/tcp_ipv4.c skb_steal_sock() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 rcu_read

net/ipv4/tcp_ipv4.c tcp_req_err() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
CAPPED_DATA 0 sk->__sk_common.skc_hash 1
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 sk $0

net/ipv4/tcp_ipv4.c tcp_v4_rcv() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk r __inet_lookup_skb
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 rcu_read

net/ipv4/inet_diag.c inet_diag_bc_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &hslot->lock
HALF_LOCKED2 &ilb->lock
HALF_LOCKED2 &nlk->nl_cb_mutex
HALF_LOCKED2 bh
HALF_LOCKED2 lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct netlink_sock)->nl_cb_mutex

net/ipv6/esp6.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &backlog->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 bh

net/ipv4/tcp_diag.c tcp_req_diag_fill() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING

net/ipv4/tcp_diag.c tcp_req_diag_fill() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING

net/ipv4/syncookies.c cookie_bpf_check() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv6/udp.c skb_steal_sock() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte

net/ipv6/udp.c skb_steal_sock() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte

net/core/filter.c bpf_sock_ops_get_syn() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
UNITS 0 sk unit_byte

net/core/filter.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
UNITS 0 sk unit_byte

net/ipv4/tcp.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_callback_lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 sk

net/ipv4/tcp.c tcp_abort() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte

net/netfilter/ipvs/ip_vs_core.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 rcu_read

net/sched/cls_cgroup.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 rcu_read

net/ipv4/tcp_input.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte

net/netfilter/nft_tproxy.c inet_sk_transparent() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk $0

net/ipv4/esp4.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &backlog->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 bh

net/netfilter/xt_owner.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &table->lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/netfilter/xt_TPROXY.c inet_sk_transparent() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &table->lock
HALF_LOCKED2 bh

net/netfilter/nft_meta.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
UNITS 0 sk unit_byte

net/xfrm/xfrm_output.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte

net/xfrm/xfrm_interface_core.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 rcu_read

net/netfilter/nf_nat_proto.c inet_sk_transparent() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 rcu_read

net/ipv4/inet_connection_sock.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/udp.c skb_steal_sock() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 rcu_read

net/ipv4/udp.c skb_steal_sock() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 rcu_read

net/core/lwt_bpf.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 &net->ipv4.mfc_mutex
HALF_LOCKED2 &net->ipv6.mfc_mutex
HALF_LOCKED2 &sk->sk_callback_lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_timer.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &sk->sk_lock.slock

security/selinux/netlabel.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 rcu_read

net/ipv4/af_inet.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 sk

net/ipv4/inet_hashtables.c sock_gen_put() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &seq->lock
HALF_LOCKED2 global &pernet_ops_rwsem
HALF_LOCKED2 global &tcp_exit_batch_mutex
HALF_LOCKED2 rcu_read

net/core/sock.c sock_pfree() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &commonring->lock
HALF_LOCKED2 &dlc->lock
HALF_LOCKED2 &fq->q.lock
HALF_LOCKED2 &priv->driver_lock
HALF_LOCKED2 &qp->q.lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 global &rfcomm_dev_lock
HALF_LOCKED2 global &rfcomm_ioctl_mutex
HALF_LOCKED2 global &rfcomm_mutex
HALF_LOCKED2 rcu_read

net/core/sock.c sock_pfree() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &commonring->lock
HALF_LOCKED2 &dlc->lock
HALF_LOCKED2 &fq->q.lock
HALF_LOCKED2 &priv->driver_lock
HALF_LOCKED2 &qp->q.lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 global &rfcomm_dev_lock
HALF_LOCKED2 global &rfcomm_ioctl_mutex
HALF_LOCKED2 global &rfcomm_mutex
HALF_LOCKED2 rcu_read

net/core/sock.c sock_pfree() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &commonring->lock
HALF_LOCKED2 &dlc->lock
HALF_LOCKED2 &fq->q.lock
HALF_LOCKED2 &priv->driver_lock
HALF_LOCKED2 &qp->q.lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 bh
HALF_LOCKED2 flags
HALF_LOCKED2 global &rfcomm_dev_lock
HALF_LOCKED2 global &rfcomm_ioctl_mutex
HALF_LOCKED2 global &rfcomm_mutex
HALF_LOCKED2 rcu_read

net/sched/em_meta.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 rcu_read

net/netfilter/xt_socket.c inet_sk_transparent() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 &table->lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/ipv4/tcp_minisocks.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 &sk_listener->sk_lock.slock
HALF_LOCKED2 sk_listener

net/ipv6/calipso.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0

net/xfrm/xfrm_ipcomp.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &backlog->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 bh

net/ipv6/netfilter.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte

net/ipv4/tcp_fastopen.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/ipv4/tcp_ao.c tcp_ao_prepare_reset() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
BUF_SIZE 0 sk->__sk_common.skc_prot (-1),448
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 sk->sk_backlog.head->csum 0-4294967040[c]
HOST_DATA 0 sk->sk_backlog.head->csum_offset 0-u16max
HOST_DATA 0 sk->sk_backlog.head->data_len 0-u32max[c]
HOST_DATA 0 sk->sk_backlog.head->len 0-u32max[c]
HOST_DATA 0 sk->sk_backlog.head->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 sk->sk_backlog.head->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 sk->sk_backlog.tail->csum 0-4294967040[c]
HOST_DATA 0 sk->sk_backlog.tail->csum_offset 0-u16max
HOST_DATA 0 sk->sk_backlog.tail->data_len 0-u32max[c]
HOST_DATA 0 sk->sk_backlog.tail->len 0-u32max[c]
HOST_DATA 0 sk->sk_backlog.tail->next->csum 0-4294967040[c]
HOST_DATA 0 sk->sk_backlog.tail->next->csum_offset 0-u16max
HOST_DATA 0 sk->sk_backlog.tail->next->data_len 0-u32max[c]
HOST_DATA 0 sk->sk_backlog.tail->next->len 0-u32max[c]
HOST_DATA 0 sk->sk_backlog.tail->next->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 sk->sk_backlog.tail->next->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 sk->sk_backlog.tail->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 sk->sk_backlog.tail->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 sk->sk_receive_queue.prev->csum_offset 0-u16max
HOST_DATA 0 sk->sk_receive_queue.prev->data_len 0-u32max[c]
HOST_DATA 0 sk->sk_receive_queue.prev->next->csum_offset 0-u16max
HOST_DATA 0 sk->sk_receive_queue.prev->next->data_len 0-u32max[c]
HOST_DATA 0 sk->sk_receive_queue.prev->next->truesize 0-u32max
HOST_DATA 0 sk->sk_receive_queue.prev->truesize 0-u32max
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->end
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->end
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->truesize
UNITS 0 sk unit_byte
LOCK2 rcu_read
HALF_LOCKED2 0 sk
HALF_LOCKED2 0 &sk->sk_lock.slock

net/ipv4/netfilter.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte

net/ipv6/ip6_output.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
BUF_SIZE 0 sk->__sk_common.skc_prot (-1),448
BUF_SIZE 0 sk->sk_user_data (-1),1-259,368
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 sk->sk_receive_queue.prev->csum_offset 0-u16max
HOST_DATA 0 sk->sk_receive_queue.prev->data_len 0-u32max[c]
HOST_DATA 0 sk->sk_receive_queue.prev->len 0-241,4294901762-u32max[c]
HOST_DATA 0 sk->sk_receive_queue.prev->next->csum_offset 0-u16max
HOST_DATA 0 sk->sk_receive_queue.prev->next->data_len 0-u32max[c]
HOST_DATA 0 sk->sk_receive_queue.prev->next->len 0-241,4294901762-u32max[c]
HOST_DATA 0 sk->sk_receive_queue.prev->next->truesize 0-u32max
HOST_DATA 0 sk->sk_receive_queue.prev->truesize 0-u32max
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->end
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->end
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->truesize
UNITS 0 sk unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
HALF_LOCKED2 0 sk
HALF_LOCKED2 0 &sk->sk_callback_lock
HALF_LOCKED2 0 &sk->sk_lock.slock

net/ipv6/tcp_ipv6.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/ipv6/tcp_ipv6.c skb_steal_sock() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte

net/ipv6/tcp_ipv6.c skb_steal_sock() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte

net/ipv6/tcp_ipv6.c tcp_v6_rcv() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk r __inet6_lookup_skb
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte

net/sched/cls_flow.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 rcu_read

net/ipv4/inet_timewait_sock.c inet_twsk_purge() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
CAPPED_DATA 0 sk->__sk_common.skc_net.net 1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
LOCK2 global &pernet_ops_rwsem
LOCK2 global &tcp_exit_batch_mutex
HALF_LOCKED2 &pool->lock

net/xfrm/xfrm_policy.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte

net/netfilter/nft_socket.c inet_sk_transparent() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk $0
UNITS 0 sk unit_byte

net/core/dev.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
LOCK2 rcu_read
HALF_LOCKED2 &eql->queue.lock
HALF_LOCKED2 &lapb->lock
HALF_LOCKED2 &mgmt_eth_data->mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 bh
HALF_LOCKED2 k->lock

security/apparmor/lsm.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 rcu_read

security/selinux/hooks.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
HALF_LOCKED2 rcu_read

net/ipv4/tcp_nv.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk

net/ipv4/ah4.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &backlog->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 bh

net/ipv4/tcp_output.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 sk

net/ipv4/ip_output.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
BUF_SIZE 0 sk->__sk_common.skc_prot (-1),448
BUF_SIZE 0 sk->sk_user_data (-1),1-259,368
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 sk->sk_receive_queue.prev->csum_offset 0-u16max
HOST_DATA 0 sk->sk_receive_queue.prev->data_len 0-u32max[c]
HOST_DATA 0 sk->sk_receive_queue.prev->len 0-241,4294901762-u32max[c]
HOST_DATA 0 sk->sk_receive_queue.prev->next->csum_offset 0-u16max
HOST_DATA 0 sk->sk_receive_queue.prev->next->data_len 0-u32max[c]
HOST_DATA 0 sk->sk_receive_queue.prev->next->len 0-241,4294901762-u32max[c]
HOST_DATA 0 sk->sk_receive_queue.prev->next->truesize 0-u32max
HOST_DATA 0 sk->sk_receive_queue.prev->truesize 0-u32max
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->end
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.head->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->end
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.tail->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->truesize
UNITS 0 sk unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read
HALF_LOCKED2 0 sk
HALF_LOCKED2 0 &sk->sk_callback_lock
HALF_LOCKED2 0 &sk->sk_lock.slock

net/ipv6/ah6.c sk_to_full_sk() -> inet_reqsk()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
HALF_LOCKED2 &backlog->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 bh