Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
net/ipv4/inet_connection_sock.c inet_csk_find_open_port() -> inet_bhashfn_portaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hinfo | 4096-ptr_max |
| PARAM_VALUE | 0 | hinfo->bhash | 4096-ptr_max |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_net.net | 4096-ptr_max |
| PARAM_VALUE | 2 | net | 4096-ptr_max |
| BUF_SIZE | 1 | sk->sk_user_data | (-1),232 |
| CAPPED_DATA | 1 | sk->__sk_common.skc_net.net | 1 |
| DATA_SOURCE | 0 | hinfo | r tcp_get_hashinfo |
| DATA_SOURCE | 1 | sk | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->truesize | |
| UNITS | 1 | sk | unit_byte |
| UNITS | 2 | net | unit_byte |
| LOCK2 | &head->lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | global &port_mutex | ||
| HALF_LOCKED2 | 1 | sk | |
| TYPE_LOCK | (struct inet_bind_hashbucket)->lock |
net/ipv4/inet_connection_sock.c inet_csk_get_port() -> inet_bhashfn_portaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hinfo | 4096-ptr_max |
| PARAM_VALUE | 0 | hinfo->bhash | 4096-ptr_max |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_net.net | 4096-ptr_max |
| PARAM_VALUE | 2 | net | 4096-ptr_max |
| PARAM_VALUE | 3 | port | 1-u16max |
| BUF_SIZE | 1 | sk->sk_user_data | (-1),4,8,16,24,28,32,40,80,88,96,104,128,168,176,200,208,224,232,256,272 |
| CAPPED_DATA | 1 | sk | 1 |
| CAPPED_DATA | 1 | sk->__sk_common.skc_net.net | 1 |
| CAPPED_DATA | 3 | port | 1 |
| DATA_SOURCE | 0 | hinfo | r tcp_get_hashinfo |
| DATA_SOURCE | 1 | sk | $0 |
| DATA_SOURCE | 3 | port | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | port | 1-u16max[c] |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->truesize | |
| UNITS | 1 | sk | unit_byte |
| UNITS | 2 | net | unit_byte |
| LOCK2 | &head->lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | global &port_mutex | ||
| HALF_LOCKED2 | 1 | sk | |
| TYPE_LOCK | (struct inet_bind_hashbucket)->lock |
net/ipv4/inet_hashtables.c __inet_bhash2_update_saddr() -> inet_bhashfn_portaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hinfo | 4096-ptr_max |
| PARAM_VALUE | 0 | hinfo->bhash | 4096-ptr_max |
| PARAM_VALUE | 0 | hinfo->bind2_bucket_cachep | 4096-ptr_max |
| PARAM_VALUE | 0 | hinfo->bind2_bucket_cachep->object_size | 0-4294967295 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_net.net | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | sk->sk_backlog.head->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | sk->sk_backlog.head->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | net | 4096-ptr_max |
| BUF_SIZE | 1 | sk->__sk_common.skc_prot | (-1),448 |
| CAPPED_DATA | 0 | hinfo->bind2_bucket_cachep | 1 |
| CAPPED_DATA | 1 | sk | 1 |
| CAPPED_DATA | 1 | sk->__sk_common.skc_net.net | 1 |
| DATA_SOURCE | 0 | hinfo | r tcp_get_hashinfo |
| DATA_SOURCE | 1 | sk | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | sk->sk_receive_queue.prev->csum_offset | 0-u16max |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->data_len | 0-u32max[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->len | 0-241,4294901762-u32max[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->next->csum_offset | 0-u16max |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->next->data_len | 0-u32max[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->next->len | 0-241,4294901762-u32max[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->next->truesize | 0-u32max |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->truesize | 0-u32max |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.head->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.head->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.head->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.head->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->truesize | |
| UNITS | 1 | sk | unit_byte |
| UNITS | 2 | net | unit_byte |
| HALF_LOCKED2 | 1 | sk | |
| HALF_LOCKED2 | 1 | &sk->sk_lock.slock |
net/ipv4/inet_hashtables.c __inet_bhash2_update_saddr() -> inet_bhashfn_portaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hinfo | 4096-ptr_max |
| PARAM_VALUE | 0 | hinfo->bhash | 4096-ptr_max |
| PARAM_VALUE | 0 | hinfo->bind2_bucket_cachep | 4096-ptr_max |
| PARAM_VALUE | 0 | hinfo->bind2_bucket_cachep->object_size | 0-4294967295 |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_bind_node->next->pprev | 1-u64max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_bind_node.pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_net.net | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | sk->sk_backlog.head->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | sk->sk_backlog.head->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | net | 4096-ptr_max |
| BUF_SIZE | 1 | sk->__sk_common.skc_prot | (-1),448 |
| CAPPED_DATA | 0 | hinfo->bind2_bucket_cachep | 1 |
| CAPPED_DATA | 1 | sk | 1 |
| CAPPED_DATA | 1 | sk->__sk_common.skc_net.net | 1 |
| DATA_SOURCE | 0 | hinfo | r tcp_get_hashinfo |
| DATA_SOURCE | 1 | sk | $0 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | sk->sk_receive_queue.prev->csum_offset | 0-u16max |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->data_len | 0-u32max[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->len | 0-241,4294901762-u32max[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->next->csum_offset | 0-u16max |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->next->data_len | 0-u32max[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->next->len | 0-241,4294901762-u32max[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->next->truesize | 0-u32max |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->truesize | 0-u32max |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.head->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.head->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.head->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.head->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->truesize | |
| UNITS | 1 | sk | unit_byte |
| UNITS | 2 | net | unit_byte |
| LOCK2 | &head->lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | 1 | sk | |
| HALF_LOCKED2 | 1 | &sk->sk_lock.slock |
net/ipv4/inet_hashtables.c __inet_hash_connect() -> inet_bhashfn_portaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hinfo | 4096-ptr_max |
| PARAM_VALUE | 0 | hinfo->bhash | 4096-ptr_max |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_net.net | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_net.net->loopback_dev->refcnt_tracker.list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_net.net->loopback_dev->refcnt_tracker.list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_state | 2 |
| PARAM_VALUE | 1 | sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | sk->psp_assoc | 0-1 |
| PARAM_VALUE | 1 | sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | sk->sk_backlog.head->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | sk->sk_backlog.head->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | net | 4096-ptr_max |
| CAPPED_DATA | 1 | sk->__sk_common.skc_net.net | 1 |
| CAPPED_DATA | 1 | sk->psp_assoc | 1 |
| CAPPED_DATA | 2 | net | 1 |
| DATA_SOURCE | 1 | sk | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.len | |
| UNITS | 2 | net | unit_byte |
| LOCK2 | &head->lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | global &once_mutex | ||
| HALF_LOCKED2 | 1 | sk | |
| TYPE_LOCK | (struct inet_bind_hashbucket)->lock |
net/ipv4/inet_hashtables.c __inet_inherit_port() -> inet_bhashfn_portaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hinfo | 4096-ptr_max |
| PARAM_VALUE | 0 | hinfo->bhash | 4096-ptr_max |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_net.net->ipv4.tcp_congestion_control->cong_avoid | 2230018701915570176 |
| PARAM_VALUE | 1 | sk->__sk_common.skc_net.net->ipv4.tcp_congestion_control->flags | 1 |
| PARAM_VALUE | 1 | sk->__sk_common.skc_net.net->ipv4.tcp_congestion_control->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_net.net->ipv4.tcp_congestion_control->ssthresh | 7282641779380248576 |
| PARAM_VALUE | 1 | sk->__sk_common.skc_net.net->ipv4.tcp_congestion_control->undo_cwnd | 7526350595670568960 |
| PARAM_VALUE | 1 | sk->__sk_common.skc_state | 3 |
| PARAM_VALUE | 1 | sk->__sk_common.skc_tx_queue_mapping | u16max |
| PARAM_VALUE | 1 | sk->sk_dst_pending_confirm | 0 |
| PARAM_VALUE | 1 | sk->sk_gso_max_segs | 1-u16max |
| PARAM_VALUE | 1 | sk->sk_gso_type | 1,16 |
| PARAM_VALUE | 1 | sk->sk_rx_dst | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->sk_user_frags.xa_flags | 12 |
| PARAM_VALUE | 1 | sk->sk_user_frags.xa_head | 0 |
| PARAM_VALUE | 1 | sk->tcp_retransmit_timer.entry.pprev | 0 |
| PARAM_VALUE | 1 | sk->tcp_retransmit_timer.flags | 0-4194302 |
| PARAM_VALUE | 1 | sk->tcp_retransmit_timer.lockdep_map->name | 0-255 |
| PARAM_VALUE | 2 | net | 4096-ptr_max |
| CAPPED_DATA | 1 | sk | 1 |
| CAPPED_DATA | 1 | sk->__sk_common.skc_net.net | 1 |
| DATA_SOURCE | 0 | hinfo | r tcp_get_hashinfo |
| DATA_SOURCE | 1 | sk | $1 |
| HARD_MAX | 1 | sk->sk_gso_type | 16 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | net | unit_byte |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | sk |
net/ipv4/inet_hashtables.c __inet_put_port() -> inet_bhashfn_portaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hinfo | 4096-ptr_max |
| PARAM_VALUE | 0 | hinfo->bhash | 4096-ptr_max |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | sk->sk_backlog.head->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | sk->sk_backlog.head->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | net | 4096-ptr_max |
| BUF_SIZE | 1 | sk | (-1),16,24,32,40,56,88,96,120,160,248,568,672,1040,1080,1216 |
| BUF_SIZE | 1 | sk | (-1),16,24,32,40,56,88,96,120,160,248,568,672,1040,1080,1216 |
| BUF_SIZE | 1 | sk->__sk_common.skc_net.net | (-1),1-s32max |
| BUF_SIZE | 1 | sk->__sk_common.skc_prot | (-1),448 |
| BUF_SIZE | 1 | sk->sk_prot_creator | (-1),448 |
| BUF_SIZE | 1 | sk->sk_user_data | (-1),1-259,368 |
| BUF_SIZE | 2 | net | (-1),1-s32max |
| BUF_SIZE | 2 | net | (-1),1-s32max |
| CAPPED_DATA | 1 | sk | 1 |
| CAPPED_DATA | 1 | sk->__sk_common.skc_net.net | 1 |
| DATA_SOURCE | 0 | hinfo | r tcp_get_hashinfo |
| DATA_SOURCE | 1 | sk | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | sk->sk_receive_queue.prev->csum | 0-126976[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->csum_offset | 0-u16max |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->data_len | 0-u32max[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->len | 0-241,4294901762-u32max[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->next->csum | 0-126976[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->next->csum_offset | 0-u16max |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->next->data_len | 0-u32max[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->next->len | 0-241,4294901762-u32max[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->next->truesize | 0-u32max |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->truesize | 0-u32max |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.head->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.head->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.head->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.head->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_prot_creator->twsk_prot->twsk_slab->object_size | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_security | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->truesize | |
| UNITS | 1 | sk | unit_byte |
| UNITS | 2 | net | unit_byte |
| LOCK2 | bh | ||
| HALF_LOCKED2 | 1 | sk | |
| HALF_LOCKED2 | 1 | &sk->__sk_common.skc_net.net->ipv4.ra_mutex | |
| HALF_LOCKED2 | 1 | &sk->__sk_common.skc_net.net->mctp.keys_lock | |
| HALF_LOCKED2 | 1 | &sk->sk_callback_lock | |
| HALF_LOCKED2 | 1 | &sk->sk_lock.slock |
net/ipv4/inet_timewait_sock.c inet_twsk_hashdance_schedule() -> inet_bhashfn_portaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hinfo | 4096-ptr_max |
| PARAM_VALUE | 0 | hinfo->bhash | 4096-ptr_max |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->__sk_common.skc_net.net->ipv4.tcp_death_row.sysctl_max_tw_buckets | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | sk->psp_assoc | 0,4096-ptr_max |
| PARAM_VALUE | 1 | sk->sk_prot_creator | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->sk_prot_creator->twsk_prot | 4096-ptr_max |
| PARAM_VALUE | 1 | sk->sk_prot_creator->twsk_prot->twsk_slab->object_size | 0-4294967295 |
| BUF_SIZE | 1 | sk | (-1),1480 |
| BUF_SIZE | 1 | sk | (-1),1480 |
| BUF_SIZE | 1 | sk->__sk_common.skc_prot | (-1),448 |
| CAPPED_DATA | 1 | sk | 1 |
| CAPPED_DATA | 1 | sk->__sk_common.skc_net.net | 1 |
| CAPPED_DATA | 1 | sk->sk_prot_creator->twsk_prot->twsk_slab | 1 |
| DATA_SOURCE | 0 | hinfo | $2 |
| DATA_SOURCE | 1 | sk | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | sk->sk_receive_queue.prev->csum | 0-65024[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->csum_offset | 0-u16max |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->data_len | 0-u32max[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->len | 1-241[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->next->csum | 0-65024[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->next->csum_offset | 0-u16max |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->next->data_len | 0-u32max[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->next->len | 1-241[c] |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->next->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 1 | sk->sk_receive_queue.prev->users.refs.counter | s32min-0,2-s32max |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.head->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.head->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.head->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.head->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_backlog.tail->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_prot_creator->twsk_prot->twsk_slab->object_size | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_receive_queue.prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | sk->sk_write_queue.prev->truesize | |
| UNITS | 1 | sk | unit_byte |
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | 1 | sk | |
| HALF_LOCKED2 | 1 | &sk->sk_lock.slock |
net/ipv4/inet_timewait_sock.c inet_twsk_kill() -> inet_bhashfn_portaddr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hinfo | 4096-ptr_max |
| PARAM_VALUE | 0 | hinfo->bhash | 4096-ptr_max |
| PARAM_VALUE | 1 | sk | 4096-ptr_max |
| CAPPED_DATA | 1 | sk->__tw_common.skc_net.net | 1 |
| DATA_SOURCE | 1 | sk | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | sk | unit_byte |