Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/ipv4/tcp.c tcp_set_state() -> (struct proto)->unhash()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot | 4096-ptr_max |
| BUF_SIZE | 0 | sk | (-1),1480 |
| BUF_SIZE | 0 | sk | (-1),1480 |
| BUF_SIZE | 0 | sk->__sk_common.skc_prot | (-1),448 |
| BUF_SIZE | 0 | sk->sk_user_data | (-1),1-259,368 |
| CAPPED_DATA | 0 | sk | 1 |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -176-40-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | sk->sk_receive_queue.prev->csum | 0-65024[c] |
| 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 | 0-65024[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->next->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 0 | sk->sk_receive_queue.prev->truesize | 0-u32max |
| HOST_DATA | 0 | sk->sk_receive_queue.prev->users.refs.counter | s32min-0,2-s32max |
| 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->object_size | |
| 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 | |
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | sk | ||
| HALF_LOCKED2 | 0 | sk | |
| HALF_LOCKED2 | 0 | &sk->sk_callback_lock | |
| HALF_LOCKED2 | 0 | &sk->sk_lock.slock |
net/unix/af_unix.c unix_shutdown() -> (struct proto)->unhash()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 1-u64max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot->unhash | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/ipv4/udp.c __udp_disconnect() -> (struct proto)->unhash()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_bound_dev_if | 0 |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_rxhash | 0 |
| PARAM_VALUE | 0 | sk->__sk_common.skc_state | 7 |
| PARAM_VALUE | 0 | sk->__sk_common.skc_tw_snd_nxt | 0 |
| PARAM_VALUE | 0 | sk->__sk_common.skc_window_clamp | 0 |
| PARAM_VALUE | 0 | sk->sk_dst_cache->dev_rcu->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| BUF_SIZE | 0 | sk->__sk_common.skc_prot | (-1),448 |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -176-40-0+0 | $(-1) |
| BIT_INFO | 0 | sk->sk_userlocks | 0x0,0xf7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_prot_creator->twsk_prot->twsk_slab->object_size | |
| 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 | |
| HALF_LOCKED2 | 0 | sk | |
| HALF_LOCKED2 | 0 | &sk->sk_lock.slock |
net/ipv4/af_inet.c __sk_prot_rehash() -> (struct proto)->unhash()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_bind_node.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_net.net | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_net.net->ipv4.fib_main->tb_data->kv->key | 0-4294967295 |
| PARAM_VALUE | 0 | sk->__sk_common.skc_net.net->loopback_dev->refcnt_tracker.list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_net.net->loopback_dev->refcnt_tracker.list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_state | 0-5,7-255 |
| PARAM_VALUE | 0 | sk->__sk_common.skc_tx_queue_mapping | u16max |
| PARAM_VALUE | 0 | sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | sk->sk_backlog.head->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | sk->sk_backlog.head->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | sk->sk_dst_pending_confirm | 0 |
| PARAM_VALUE | 0 | sk->sk_gso_max_segs | 1-u16max |
| PARAM_VALUE | 0 | sk->sk_peer_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | sk->sk_peer_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | sk->sk_peer_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | sk->sk_peer_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | sk->sk_peer_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | sk->sk_peer_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | sk->sk_peer_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | sk->sk_peer_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | sk->sk_receive_queue.next->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | sk->sk_receive_queue.next->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | sk->sk_receive_queue.next->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | sk->sk_socket->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | sk->sk_socket->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | sk->sk_socket->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| 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 |
| CONTAINER | 0 | -176-40-0+0 | $(-1) |
| BIT_INFO | 0 | sk->sk_userlocks | 0x0,0xfb |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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->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_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 | |
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | 0 | sk | |
| HALF_LOCKED2 | 0 | &sk->sk_lock.slock |
net/ipv4/af_inet.c inet_ctl_sock_create() -> (struct proto)->unhash()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &pernet_ops_rwsem |
net/smc/af_smc.c __smc_release() -> (struct proto)->unhash()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_state | 7 |
| BUF_SIZE | 0 | sk | 1480 |
| CONTAINER | 0 | -176-40-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | sk |
net/smc/af_smc.c smc_accept_dequeue() -> (struct proto)->unhash()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_state | 7 |
| PARAM_VALUE | 0 | sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | sk->sk_bpf_storage->owner_refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | sk->sk_cgrp_data.cgroup->bpf.refcnt.data | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_cgrp_data.cgroup->self.refcnt.data | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sk->sk_rcu.next | 0 |
| PARAM_VALUE | 0 | sk->sk_reuseport_cb->rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sk->sk_reuseport_cb->rcu.next | 0 |
| CONTAINER | 0 | -176-40-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | parent |
net/smc/af_smc.c smc_clcsock_accept() -> (struct proto)->unhash()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_family | 43 |
| PARAM_VALUE | 0 | sk->__sk_common.skc_incoming_cpu | (-1) |
| PARAM_VALUE | 0 | sk->__sk_common.skc_net.net | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_net.net->mctp.bind_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->__sk_common.skc_net.net->mctp.bind_lock.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_net.net->mctp.bind_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | sk->__sk_common.skc_net.net->mctp.bind_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | sk->__sk_common.skc_net.net->mctp.bind_lock.first_waiter->task->blocked_on | 0 |
| PARAM_VALUE | 0 | sk->__sk_common.skc_net.net->mctp.bind_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_net.net->notrefcnt_tracker.dead | 1 |
| PARAM_VALUE | 0 | sk->__sk_common.skc_net.net->notrefcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_net.net->refcnt_tracker.dead | 1 |
| PARAM_VALUE | 0 | sk->__sk_common.skc_node.pprev | 1-u64max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_nulls_node.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot->h.raw_hash->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot->h.smc_hash->ht.first | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot->h.smc_hash->lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot->h.smc_hash->lock.owner | (-1) |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot->h.smc_hash->lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot->h.smc_hash->lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot->h.smc_hash->lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot->hash | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_rcv_wnd | u32max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_rx_queue_mapping | u16max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_state | 2,7 |
| PARAM_VALUE | 0 | sk->__sk_common.skc_tw_rcv_nxt | u32max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_tx_queue_mapping | u16max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_u16hashes | 0-u32max |
| PARAM_VALUE | 0 | sk->ns_tracker | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | sk->sk_allocation | 3264 |
| PARAM_VALUE | 0 | sk->sk_bpf_storage->owner_refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | sk->sk_cgrp_data.cgroup | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_cgrp_data.cgroup->bpf.refcnt.data | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_cgrp_data.cgroup->self.refcnt.data | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_data_ready | 528724923562565632 |
| PARAM_VALUE | 0 | sk->sk_destruct | 1962054304010412032 |
| PARAM_VALUE | 0 | sk->sk_drop_counters | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_drop_counters->drops0.counter | 0 |
| PARAM_VALUE | 0 | sk->sk_drop_counters->drops1.counter | 0 |
| PARAM_VALUE | 0 | sk->sk_drops.counter | 0 |
| PARAM_VALUE | 0 | sk->sk_error_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_error_queue.next->prev | 2011684551238094848 |
| PARAM_VALUE | 0 | sk->sk_error_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_error_queue.prev->next | 2011684551238094848 |
| PARAM_VALUE | 0 | sk->sk_error_queue.qlen | 0 |
| PARAM_VALUE | 0 | sk->sk_error_report | 6702601906265018368 |
| PARAM_VALUE | 0 | sk->sk_filter->rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sk->sk_filter->rcu.next | 0 |
| PARAM_VALUE | 0 | sk->sk_frag.offset | 0 |
| PARAM_VALUE | 0 | sk->sk_kern_sock | 0 |
| PARAM_VALUE | 0 | sk->sk_ll_usec | 0 |
| PARAM_VALUE | 0 | sk->sk_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->sk_lock.owned | 0 |
| PARAM_VALUE | 0 | sk->sk_lock.wq.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.wq.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.wq.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.wq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.wq.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_max_pacing_rate | u64max |
| PARAM_VALUE | 0 | sk->sk_memcg->css.refcnt.data | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_napi_id | 0 |
| PARAM_VALUE | 0 | sk->sk_owner | 0 |
| PARAM_VALUE | 0 | sk->sk_owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | sk->sk_pacing_rate | u64max |
| PARAM_VALUE | 0 | sk->sk_pacing_shift | 10 |
| PARAM_VALUE | 0 | sk->sk_peek_off | (-1) |
| PARAM_VALUE | 0 | sk->sk_peer_pid | 0 |
| PARAM_VALUE | 0 | sk->sk_prot_creator | 354629982846701568,9176960785282969600 |
| PARAM_VALUE | 0 | sk->sk_prot_creator->owner | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_prot_creator->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | sk->sk_prot_creator->slab | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sk->sk_rcu.next | 0 |
| PARAM_VALUE | 0 | sk->sk_rcvlowat | 1 |
| PARAM_VALUE | 0 | sk->sk_rcvtimeo | s64max |
| PARAM_VALUE | 0 | sk->sk_receive_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_receive_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_reserved_mem | 0 |
| PARAM_VALUE | 0 | sk->sk_reuseport_cb | 0 |
| PARAM_VALUE | 0 | sk->sk_reuseport_cb->rcu.func | 1-u64max |
| PARAM_VALUE | 0 | sk->sk_reuseport_cb->rcu.next | 0 |
| PARAM_VALUE | 0 | sk->sk_send_head | 0 |
| PARAM_VALUE | 0 | sk->sk_sndtimeo | s64max |
| PARAM_VALUE | 0 | sk->sk_socket | 0 |
| PARAM_VALUE | 0 | sk->sk_stamp | (-1000000000) |
| PARAM_VALUE | 0 | sk->sk_state_change | 8403502521175646208 |
| PARAM_VALUE | 0 | sk->sk_timer.entry.pprev | 0 |
| PARAM_VALUE | 0 | sk->sk_timer.flags | 0-4194302 |
| PARAM_VALUE | 0 | sk->sk_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->sk_use_task_frag | 1 |
| PARAM_VALUE | 0 | sk->sk_user_data | 0 |
| PARAM_VALUE | 0 | sk->sk_wq | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_wq_raw | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_write_pending | 0 |
| PARAM_VALUE | 0 | sk->sk_write_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_write_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_write_queue.qlen | 0 |
| PARAM_VALUE | 0 | sk->sk_write_space | 892094836763238400 |
| PARAM_VALUE | 0 | sk->sk_zckey.counter | 0 |
| CAPPED_DATA | 0 | sk | 1 |
| DATA_SOURCE | 0 | sk | r smc_sock_alloc |
| CONTAINER | 0 | -176-40-0+0 | $(-1) |
| BIT_INFO | 0 | sk->sk_prot_creator | 0x44b041628431000,0xffffffffffffffff |
| NOCHECK_CALL | |||
| LOCK2 | lsk | ||
| LOCK2 | lsk | ||
| HALF_LOCKED2 | &pool->lock |
net/core/sock.c sk_common_release() -> (struct proto)->unhash()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot | 4096-ptr_max |
| BUF_SIZE | 0 | sk->__sk_common.skc_net.net | (-1),1-s32max |
| BUF_SIZE | 0 | sk->sk_prot_creator | (-1),448 |
| BUF_SIZE | 0 | sk->sk_socket | (-1),192 |
| CAPPED_DATA | 0 | sk | 1 |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -176-40-0+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.prev->data_len | |
| 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->data_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->data_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->data_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 | |
| HALF_LOCKED2 | &net->sctp.addr_wq_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | sk | ||
| HALF_LOCKED2 | 0 | &sk->sk_lock.slock |
net/core/sock_map.c sock_map_unhash() -> sock_map_unhash ptr saved_unhash()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| BUF_SIZE | 0 | sk | (-1),16,24,32,40,56,88,96,120,160,248,568,672,1040,1080,1216,1480 |
| BUF_SIZE | 0 | sk | (-1),16,24,32,40,56,88,96,120,160,248,568,672,1040,1080,1216,1480 |
| BUF_SIZE | 0 | sk->__sk_common.skc_net.net | (-1),1-s32max |
| BUF_SIZE | 0 | sk->__sk_common.skc_prot | (-1),448 |
| BUF_SIZE | 0 | sk->sk_prot_creator | (-1),448 |
| BUF_SIZE | 0 | sk->sk_user_data | (-1),1-259,368 |
| CAPPED_DATA | 0 | sk | 1 |
| CAPPED_DATA | 0 | sk->sk_user_data | 1 |
| DATA_SOURCE | 0 | sk | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | sk->sk_receive_queue.prev->csum | 0-126976[c] |
| 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 | 0-126976[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->object_size | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.prev->data_len | |
| 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->data_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->data_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->data_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 | |
| HALF_LOCKED2 | lsk | ||
| HALF_LOCKED2 | sk | ||
| HALF_LOCKED2 | 0 | sk | |
| HALF_LOCKED2 | 0 | &sk->__sk_common.skc_net.net->ipv4.ra_mutex | |
| HALF_LOCKED2 | 0 | &sk->__sk_common.skc_net.net->mctp.keys_lock | |
| HALF_LOCKED2 | 0 | &sk->sk_callback_lock | |
| HALF_LOCKED2 | 0 | &sk->sk_lock.slock |