Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/key/af_key.c pfkey_broadcast_one() -> (struct sock)->sk_data_ready()
| 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_receive_queue.lock.rlock.dep_map->name | 0-255 |
| 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_receive_queue.prev->next->next | 4096-ptr_max |
| CAPPED_DATA | 0 | sk | 1 |
| DATA_SOURCE | 0 | sk | $2 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &net->xfrm.xfrm_cfg_mutex | ||
| HALF_LOCKED2 | &net->xfrm.xfrm_policy_lock | ||
| HALF_LOCKED2 | &net->xfrm.xfrm_state_lock | ||
| HALF_LOCKED2 | &pfk->dump_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
net/kcm/kcmsock.c kcm_queue_rcv_skb() -> (struct sock)->sk_data_ready()
| 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_memcg->high_work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_memcg->tcpmem_pressure | 0-1 |
| PARAM_VALUE | 0 | sk->sk_rcvbuf | (-2147483647)-s32max |
| PARAM_VALUE | 0 | sk->sk_receive_queue.lock.rlock.dep_map->name | 0-255 |
| 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_receive_queue.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_sndbuf | s32min-(-1),4608-s32max |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &mux->rx_lock | ||
| HALF_LOCKED2 | bh |
net/sctp/ulpqueue.c sctp_ulpq_abort_pd() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/sctp/ulpqueue.c sctp_ulpq_tail_event() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.owned | 0-1 |
| PARAM_VALUE | 0 | sk->sk_shutdown | 1-255 |
| CAPPED_DATA | 0 | &sk->sk_receive_queue | 1 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/packet/af_packet.c packet_rcv() -> (struct sock)->sk_data_ready()
| 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_filter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_rcvbuf | (-2147483647)-s32max |
| PARAM_VALUE | 0 | sk->sk_receive_queue.lock.rlock.dep_map->name | 0-255 |
| 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_receive_queue.prev->next->next | 4096-ptr_max |
| BUF_SIZE | 0 | sk | 184,200,264-524544 |
| BUF_SIZE | 0 | sk | 184,200,264-524544 |
| CAPPED_DATA | 0 | sk->__sk_common.skc_net.net | 1 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
net/packet/af_packet.c prb_close_block() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| BUF_SIZE | 0 | sk | 1480 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &po->sk.sk_receive_queue.lock | ||
| HALF_LOCKED2 | &sk->sk_receive_queue.lock | ||
| TYPE_LOCK | (struct sk_buff_head)->lock |
net/packet/af_packet.c tpacket_rcv() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_filter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_receive_queue.lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | sk | 184,200,264-524544 |
| BUF_SIZE | 0 | sk | 184,200,264-524544 |
| CAPPED_DATA | 0 | sk->__sk_common.skc_net.net | 1 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
net/packet/af_packet.c tpacket_rcv() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_filter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_receive_queue.lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | sk | 184,200,264-524544 |
| BUF_SIZE | 0 | sk | 184,200,264-524544 |
| CAPPED_DATA | 0 | sk->__sk_common.skc_net.net | 1 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &(&po->rx_ring)->prb_bdqc.blk_fill_in_prog_lock | ||
| HALF_LOCKED2 | rcu_read |
drivers/infiniband/sw/siw/siw_cm.c siw_cm_work_handler() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| CONTAINER | 0 | *(-408+0) | $(-1) |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
net/mptcp/sockopt.c mptcp_set_rcvlowat() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_protocol | 0-5,7-u16max |
| PARAM_VALUE | 0 | sk->sk_rcvlowat | 2-1073741823 |
| PARAM_VALUE | 0 | sk->sk_socket | 1-u64max |
| CAPPED_DATA | 0 | sk->sk_rcvlowat | 1 |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_backlog.len | |
| HALF_LOCKED2 | sk | ||
| HALF_LOCKED2 | 0 | sk |
net/phonet/pep.c pep_do_rcv() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_state | 10 |
| 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_rcv | 0-1770402027252219903,1770402027252219905-3047833183539765247,3047833183539765249-u64max |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->sk_receive_queue.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->sk_receive_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_receive_queue.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_receive_queue.next->prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | sk->__sk_common.skc_prot | (-1),448 |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | sk->sk_receive_queue.next->csum_offset | 0-u16max |
| HOST_DATA | 0 | sk->sk_receive_queue.next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | sk->sk_receive_queue.next->len | 0-u32max[c] |
| HOST_DATA | 0 | sk->sk_receive_queue.next->prev->csum_offset | 0-u16max |
| HOST_DATA | 0 | sk->sk_receive_queue.next->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | sk->sk_receive_queue.next->prev->len | 0-u32max[c] |
| HOST_DATA | 0 | sk->sk_receive_queue.next->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | sk->sk_receive_queue.next->prev->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 0 | sk->sk_receive_queue.next->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | sk->sk_receive_queue.next->users.refs.counter | s32min-0,2-s32max |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_backlog.head->data_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->next->data_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.next->end | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.next->len | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.next->prev->end | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.next->prev->len | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.next->prev->tail | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.next->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.next->tail | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.next->truesize | |
| 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 | 0 | sk | |
| HALF_LOCKED2 | 0 | &sk->sk_lock.slock |
net/phonet/pep.c pipe_do_rcv() -> (struct sock)->sk_data_ready()
| 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 | 0-7,9-255 |
| 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_rcv | 0-1770402027252219903,1770402027252219905-3047833183539765247,3047833183539765249-u64max |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | sk->__sk_common.skc_prot | (-1),448 |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_backlog.head->data_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->next->data_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->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 | 0 | sk | |
| HALF_LOCKED2 | 0 | &sk->sk_lock.slock |
net/phonet/pep.c pipe_handler_do_rcv() -> (struct sock)->sk_data_ready()
| 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->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_backlog_rcv | 0-1770402027252219903,1770402027252219905-3047833183539765247,3047833183539765249-u64max |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| 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.lock.rlock.dep_map->name | 0-255 |
| 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_receive_queue.prev->next->next | 4096-ptr_max |
| 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 |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_backlog.head->data_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->next->data_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->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 | 0 | sk | |
| HALF_LOCKED2 | 0 | &sk->sk_lock.slock |
net/core/skmsg.c sk_psock_data_ready() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_callback_lock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -408+0 | $(-1) |
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | 0 | &sk->sk_callback_lock | |
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct sock)->sk_callback_lock |
net/tipc/socket.c tipc_sk_filter_rcv() -> (struct sock)->sk_data_ready()
| 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->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_receive_queue.next | 4096-7050651072245248000 |
| PARAM_VALUE | 0 | sk->sk_receive_queue.prev | 4096-7050651072245248000 |
| PARAM_VALUE | 0 | sk->sk_receive_queue.prev->next->next | 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 |
| CAPPED_DATA | 0 | sk->__sk_common.skc_net.net | 1 |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_backlog.head->data_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->next->data_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->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 | bh | ||
| HALF_LOCKED2 | 0 | sk | |
| HALF_LOCKED2 | 0 | &sk->sk_lock.slock |
net/smc/smc_close.c smc_close_passive_work() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.owned | 1 |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| 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->next->next | 4096-ptr_max |
| BUF_SIZE | 0 | sk | 1480 |
| CAPPED_DATA | 0 | sk | 1 |
| CONTAINER | 0 | -408+0 | $(-1) |
| NOCHECK_CALL | |||
| LOCK2 | 0 | sk | |
| HALF_LOCKED2 | &pool->lock |
net/bluetooth/sco.c sco_conn_ready() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_state | 4 |
| PARAM_VALUE | 0 | sk->accept_q_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->sk_lock.owned | 1 |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| 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->next->next | 4096-ptr_max |
| CAPPED_DATA | 0 | sk->__sk_common.skc_net.net | 1 |
| DATA_SOURCE | 0 | sk | r sco_get_sock_listen |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &conn->lock | ||
| LOCK2 | global &hci_cb_list_lock | ||
| LOCK2 | 0 | sk | |
| HALF_LOCKED2 | &hdev->lock | ||
| HALF_LOCKED2 | &hdev->req_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct sco_conn)->lock |
net/rxrpc/recvmsg.c rxrpc_notify_socket() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_state | 0-6 |
| BUF_SIZE | 0 | sk | 1480 |
| FUZZY_MAX | 0 | sk->__sk_common.skc_state | 6 |
| CONTAINER | 0 | -408+0 | $(-1) |
| HARD_MAX | 0 | sk->__sk_common.skc_state | 6 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &call->user_mutex |
net/nfc/llcp_core.c nfc_llcp_recv_connect() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.owned | 1 |
| PARAM_VALUE | 0 | sk->sk_lock.wq.head.prev | 4096-ptr_max |
| BUF_SIZE | 0 | sk | 1480 |
| CONTAINER | 0 | -408+0 | $(-1) |
| PARAM_COMPARE | 0 | sk->sk_ack_backlog | <= $0->sk_max_ack_backlog |
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | &sock->sk | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct nfc_llcp_sock)->sk |
net/vmw_vsock/hyperv_transport.c hvs_channel_cb() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| BUF_SIZE | 0 | sk | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | sk | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &channel->sched_lock | ||
| HALF_LOCKED2 | rcu_read |
net/bluetooth/l2cap_sock.c l2cap_sock_defer_cb() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | &conn->lock | ||
| LOCK2 | sk | ||
| HALF_LOCKED2 | &chan->lock | ||
| HALF_LOCKED2 | &hdev->lock | ||
| HALF_LOCKED2 | &pchan->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &hci_cb_list_lock | ||
| TYPE_LOCK | (struct l2cap_chan)->lock | ||
| TYPE_LOCK | (struct l2cap_conn)->lock |
net/bluetooth/l2cap_sock.c l2cap_sock_ready_cb() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &conn->lock | ||
| LOCK2 | sk | ||
| HALF_LOCKED2 | &chan->lock | ||
| HALF_LOCKED2 | &pchan->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &hci_cb_list_lock | ||
| TYPE_LOCK | (struct l2cap_conn)->lock |
net/bluetooth/l2cap_sock.c l2cap_sock_teardown_cb() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | sk | ||
| HALF_LOCKED2 | &chan->lock | ||
| HALF_LOCKED2 | &conn->lock |
net/mptcp/protocol.c mptcp_data_ready() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.owned | 0 |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| CAPPED_DATA | 0 | sk->sk_rcvlowat | 1 |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -408+0 | $(-1) |
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | 0 | &sk->sk_lock.slock | |
| TYPE_LOCK | (struct socket_lock_t)->slock |
net/mptcp/protocol.c mptcp_move_skbs() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.owned | 0-1 |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| CAPPED_DATA | 0 | sk | 1 |
| CAPPED_DATA | 0 | sk->sk_rcvlowat | 1 |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -408+0 | $(-1) |
| HARD_MAX | 0 | sk->sk_lock.owned | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_backlog.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->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 |
net/mptcp/protocol.c mptcp_release_cb() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -408+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 | |
| 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 |
net/mptcp/fastopen.c mptcp_fastopen_subflow_synack_set_params() -> (struct sock)->sk_data_ready()
| 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_lock.owned | 0-1 |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| 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_receive_queue.prev->next->next | 4096-ptr_max |
| CONTAINER | 0 | -408+0 | $(-1) |
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | 0 | &sk->sk_lock.slock | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | sk | ||
| TYPE_LOCK | (struct socket_lock_t)->slock |
net/smc/smc_cdc.c smc_cdc_msg_recv_action() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &(&smc->sk)->sk_lock.slock |
net/smc/smc_cdc.c smc_cdc_msg_recv_action() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &(&smc->sk)->sk_lock.slock |
net/vmw_vsock/af_vsock.c vsock_data_ready() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->transport | 0,4096-ptr_max |
| BUF_SIZE | 0 | sk | (-1),1480 |
| BUF_SIZE | 0 | sk | (-1),1480 |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | sk | ||
| HALF_LOCKED2 | 0 | sk | |
| HALF_LOCKED2 | 0 | &sk->sk_lock.slock |
net/smc/af_smc.c smc_listen_out() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_callback_lock.owner | (-1) |
| PARAM_VALUE | 0 | sk->sk_callback_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sk->sk_callback_lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 0 | sk->sk_callback_lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 0 | sk->sk_lock.owned | 0 |
| CONTAINER | 0 | -408+0 | $(-1) |
| NOCHECK_CALL | |||
| LOCK2 | &new_smc->sk | ||
| HALF_LOCKED2 | &pool->lock |
net/core/sock.c __sock_queue_rcv_skb() -> (struct sock)->sk_data_ready()
| 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->channel | 0-127 |
| PARAM_VALUE | 0 | sk->sk_memcg->high_work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_memcg->tcpmem_pressure | 0-1 |
| PARAM_VALUE | 0 | sk->sk_receive_queue.lock.rlock.dep_map->name | 0-255 |
| 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_receive_queue.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_sndbuf | s32min-(-1),4608-s32max |
| BUF_SIZE | 0 | sk | (-1),1-s32max |
| BUF_SIZE | 0 | sk | (-1),1-s32max |
| CAPPED_DATA | 0 | sk | 1 |
| DATA_SOURCE | 0 | sk | $0 |
| FUZZY_MAX | 0 | sk->channel | 1 |
| STR_LEN | 0 | sk | (-1),21,33 |
| STR_LEN | 0 | sk | (-1),21,33 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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->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->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->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 | &conn->lock | ||
| HALF_LOCKED2 | 0 | sk | |
| HALF_LOCKED2 | 0 | &sk->sk_lock.slock |
net/bluetooth/iso.c iso_chan_del() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | sk | ||
| HALF_LOCKED2 | global &hci_cb_list_lock |
net/bluetooth/iso.c iso_conn_ready() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_state | 1,4,6 |
| PARAM_VALUE | 0 | sk->base_len | 0-248 |
| PARAM_VALUE | 0 | sk->sk_lock.owned | 1 |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| 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->next->next | 4096-ptr_max |
| CAPPED_DATA | 0 | sk->__sk_common.skc_net.net | 1 |
| CAPPED_DATA | 0 | sk->__sk_common.skc_state | 1 |
| FUZZY_MAX | 0 | sk->__sk_common.skc_state | 4 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &hci_cb_list_lock | ||
| LOCK2 | 0 | sk | |
| HALF_LOCKED2 | &hdev->lock | ||
| HALF_LOCKED2 | &hdev->req_lock | ||
| HALF_LOCKED2 | &pool->lock |
net/smc/smc_core.c smc_sk_wake_ups() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_err | 103 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &smc->sk | ||
| TYPE_LOCK | (struct smc_sock)->sk |
net/smc/smc_core.c smc_switch_cursor() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_state | 0-1,3-6,8-19,28-255 |
| CONTAINER | 0 | -408+0 | $(-1) |
| NOCHECK_CALL | |||
| LOCK2 | &conn->send_lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &lgr->llc_conf_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct smc_connection)->send_lock | ||
| TYPE_LOCK | (struct smc_link_group)->llc_conf_mutex |
drivers/net/tun.c __tun_xdp_flush_tfile() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| CONTAINER | 0 | *(-408+0) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | bh |
drivers/net/tun.c tun_detach_all() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_shutdown | 1 |
| CONTAINER | 0 | *(-408+0) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->lock |
drivers/net/tun.c tun_detach_all() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_shutdown | 1 |
| CONTAINER | 0 | *(-408+0) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &dev->lock |
drivers/net/tun.c tun_net_xmit() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| CONTAINER | 0 | *(-408+0) | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &dev->tx_global_lock | ||
| HALF_LOCKED2 | &txq->_xmit_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | flags |
net/ipv4/tcp_bpf.c sk_psock_data_ready() -> (struct sock)->sk_data_ready()
| 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->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_callback_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->sk_lock.owned | 1 |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| 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->next->next | 4096-ptr_max |
| CAPPED_DATA | 0 | sk->sk_user_data | 1 |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | 0 | sk | |
| LOCK2 | 0 | &sk->sk_callback_lock | |
| HALF_LOCKED2 | &vq->mutex | ||
| TYPE_LOCK | (struct sock)->sk_callback_lock |
net/vmw_vsock/virtio_transport_common.c virtio_transport_recv_listen() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_state | 10 |
| PARAM_VALUE | 0 | sk->local_addr.svm_cid | 0,4294967295 |
| PARAM_VALUE | 0 | sk->owner->non_rcu | 0 |
| PARAM_VALUE | 0 | sk->sk_lock.owned | 1 |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| 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->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_shutdown | 0-2,4-255 |
| PARAM_VALUE | 0 | sk->trans->peer_buf_alloc | 0-4294967295 |
| PARAM_VALUE | 0 | sk->trans->peer_fwd_cnt | 0-4294967295 |
| PARAM_VALUE | 0 | sk->trans->tx_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | sk | 1480 |
| CAPPED_DATA | 0 | sk->__sk_common.skc_net.net | 1 |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | sk | |
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | &vsock->rx_lock |
net/atm/raw.c atm_push_raw() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_receive_queue.lock.rlock.dep_map->name | 0-255 |
| 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_receive_queue.prev->next->next | 4096-ptr_max |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &ioctl_mutex |
net/rxrpc/oob.c rxrpc_notify_socket_oob() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_state | 0-6 |
| BUF_SIZE | 0 | sk | 1480 |
| FUZZY_MAX | 0 | sk->__sk_common.skc_state | 6 |
| CONTAINER | 0 | -408+0 | $(-1) |
| HARD_MAX | 0 | sk->__sk_common.skc_state | 6 |
| NOCHECK_CALL | |||
| LOCK2 | rcu_read |
net/mptcp/subflow.c subflow_data_ready() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| CONTAINER | 0 | -408+0 | $(-1) |
| NOCHECK_CALL |
net/x25/x25_in.c x25_queue_rx_frame() -> (struct sock)->sk_data_ready()
| 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->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_lock.slock.rlock.dep_map->name | 0-255 |
| 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.lock.rlock.dep_map->name | 0-255 |
| 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_receive_queue.prev->next->next | 4096-ptr_max |
| 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 |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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.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->next->data_len | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_backlog.tail->next->end | |
| 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/bluetooth/rfcomm/sock.c rfcomm_sk_data_ready() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_receive_queue.lock.rlock.dep_map->name | 0-255 |
| 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_receive_queue.prev->next->next | 4096-ptr_max |
| BUF_SIZE | 0 | sk | 1184 |
| BUF_SIZE | 0 | sk | 1184 |
| CONTAINER | 0 | -408+0 | $(-1) |
| NOCHECK_CALL | |||
| LOCK2 | &d->lock | ||
| LOCK2 | global &rfcomm_mutex | ||
| TYPE_LOCK | (struct rfcomm_dlc)->lock |
net/bluetooth/rfcomm/sock.c rfcomm_sk_state_change() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &d->lock | ||
| LOCK2 | global &rfcomm_mutex | ||
| LOCK2 | sk | ||
| TYPE_LOCK | (struct rfcomm_dlc)->lock |
net/sctp/stream_interleave.c sctp_enqueue_event() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_receive_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_receive_queue.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_shutdown | 1-255 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/sctp/stream_interleave.c sctp_intl_stream_abort_pd() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| 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_receive_queue.prev->next->next | 4096-ptr_max |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/vmw_vsock/vmci_transport.c vmci_transport_recv_connecting_server() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_state | 10 |
| PARAM_VALUE | 0 | sk->sk_lock.owned | 1 |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| 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->next->next | 4096-ptr_max |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -408+0 | $(-1) |
| NOCHECK_CALL | |||
| LOCK2 | pending | ||
| LOCK2 | 0 | sk | |
| HALF_LOCKED2 | &pool->lock |
net/tipc/topsrv.c tipc_topsrv_accept() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_callback_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->sk_callback_lock.owner | (-1) |
| PARAM_VALUE | 0 | sk->sk_callback_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sk->sk_callback_lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 0 | sk->sk_callback_lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 0 | sk->sk_data_ready | 5877645087729016832 |
| PARAM_VALUE | 0 | sk->sk_user_data | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_write_space | 7415450583969112064 |
| BUF_SIZE | 0 | sk->sk_user_data | 368 |
| CONTAINER | 0 | -408+0 | $(-1) |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
net/x25/af_x25.c x25_rx_call_request() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_state | 10 |
| PARAM_VALUE | 0 | sk->sk_receive_queue.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->sk_receive_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_receive_queue.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_receive_queue.next->prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_type | 5 |
| CAPPED_DATA | 0 | sk->__sk_common.skc_net.net | 1 |
| DATA_SOURCE | 0 | sk | r x25_find_listener |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | sk->sk_receive_queue.next->csum_offset | 0-u16max |
| HOST_DATA | 0 | sk->sk_receive_queue.next->data_len | 0-u32max[c] |
| HOST_DATA | 0 | sk->sk_receive_queue.next->len | 0-u32max[c] |
| HOST_DATA | 0 | sk->sk_receive_queue.next->prev->csum_offset | 0-u16max |
| HOST_DATA | 0 | sk->sk_receive_queue.next->prev->data_len | 0-u32max[c] |
| HOST_DATA | 0 | sk->sk_receive_queue.next->prev->len | 0-u32max[c] |
| HOST_DATA | 0 | sk->sk_receive_queue.next->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | sk->sk_receive_queue.next->prev->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 0 | sk->sk_receive_queue.next->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 0 | sk->sk_receive_queue.next->users.refs.counter | s32min-0,2-s32max |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.next->end | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.next->len | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.next->prev->end | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.next->prev->len | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.next->prev->tail | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.next->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.next->tail | |
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_receive_queue.next->truesize | |
| HALF_LOCKED2 | rcu_read |
net/netlink/af_netlink.c __netlink_sendskb() -> (struct sock)->sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_receive_queue.lock.rlock.dep_map->name | 0-255 |
| 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_receive_queue.prev->next->next | 4096-ptr_max |
| CAPPED_DATA | 0 | sk->__sk_common.skc_net.net | 1 |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_backlog.len |
net/sunrpc/xprtsock.c xs_data_ready() -> (struct sock_xprt)->old_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| DATA_SOURCE | 0 | sk | $0 |
| NOCHECK_CALL |
net/sunrpc/svcsock.c svc_data_ready() -> (struct svc_sock)->sk_odata()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_user_data | 4096-ptr_max |
| DATA_SOURCE | 0 | sk | $0 |
| NOCHECK_CALL |
net/sunrpc/svcsock.c svc_tcp_listen_data_ready() -> (struct svc_sock)->sk_odata()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_state | 10 |
| PARAM_VALUE | 0 | sk->sk_user_data | 4096-ptr_max |
| DATA_SOURCE | 0 | sk | $0 |
| NOCHECK_CALL |
net/rds/tcp_recv.c rds_tcp_data_ready() -> rds_tcp_data_ready ptr ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_callback_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->sk_user_data | 0,4096-ptr_max |
| DATA_SOURCE | 0 | sk | $0 |
| NOCHECK_CALL |
net/rds/tcp_listen.c rds_tcp_listen_data_ready() -> rds_tcp_listen_data_ready ptr ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_callback_lock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | sk | $0 |
| NOCHECK_CALL |
net/tls/tls_sw.c tls_finish_key_update() -> (struct tls_sw_context_rx)->saved_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.owned | 1 |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| 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->next->next | 4096-ptr_max |
| CAPPED_DATA | 0 | sk->sk_user_data | 1 |
| DATA_SOURCE | 0 | sk | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_backlog.len | |
| LOCK2 | 0 | sk |
net/tls/tls_sw.c tls_rx_msg_maybe_announce() -> (struct tls_sw_context_rx)->saved_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | sk | ||
| HALF_LOCKED2 | 0 | sk |
net/xfrm/espintcp.c handle_nonesp() -> (struct espintcp_ctx)->saved_data_ready()
| 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_memcg->high_work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_memcg->tcpmem_pressure | 0-1 |
| PARAM_VALUE | 0 | sk->sk_rcvbuf | (-2147483647)-s32max |
| PARAM_VALUE | 0 | sk->sk_sndbuf | s32min-(-1),4608-s32max |
| DATA_SOURCE | 0 | sk | $2 |
| NOCHECK_CALL |
net/core/skmsg.c sk_psock_data_ready() -> (struct sk_psock)->saved_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_callback_lock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | sk | $0 |
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | 0 | &sk->sk_callback_lock | |
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct sock)->sk_callback_lock |
net/ipv4/tcp_bpf.c sk_psock_data_ready() -> (struct sk_psock)->saved_data_ready()
| 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->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_callback_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->sk_lock.owned | 1 |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| 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->next->next | 4096-ptr_max |
| CAPPED_DATA | 0 | sk->sk_user_data | 1 |
| DATA_SOURCE | 0 | sk | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | 0 | sk | |
| LOCK2 | 0 | &sk->sk_callback_lock | |
| HALF_LOCKED2 | &vq->mutex | ||
| TYPE_LOCK | (struct sock)->sk_callback_lock |
net/ipv4/udp.c __udp_enqueue_schedule_skb() -> __udp_enqueue_schedule_skb ptr __f1()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_state | 0-5,7-255 |
| PARAM_VALUE | 0 | sk->sk_data_ready | 0-528724923562565631,528724923562565633-u64max |
| PARAM_VALUE | 0 | sk->sk_filter | 0 |
| PARAM_VALUE | 0 | sk->sk_receive_queue.lock.rlock.dep_map->name | 0-255 |
| 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_receive_queue.prev->next->next | 4096-ptr_max |
| CAPPED_DATA | 0 | sk | 1 |
| CAPPED_DATA | 0 | sk->__sk_common.skc_net.net | 1 |
| DATA_SOURCE | 0 | sk | $0 |
| CONTAINER | 0 | -408+0 | $(-1) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | sk->sk_backlog.len |
drivers/target/iscsi/iscsi_target_nego.c iscsi_target_sk_data_ready() -> (struct iscsit_conn)->orig_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_callback_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->sk_callback_lock.owner | (-1) |
| PARAM_VALUE | 0 | sk->sk_callback_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sk->sk_callback_lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 0 | sk->sk_callback_lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 0 | sk->sk_user_data | 4096-ptr_max |
| DATA_SOURCE | 0 | sk | $0 |
| NOCHECK_CALL |
drivers/net/ovpn/tcp.c ovpn_tcp_to_userspace() -> peer->tcp.sk_cb.sk_data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_prot | 4096-ptr_max |
| DATA_SOURCE | 0 | sk | $1 |
| NOCHECK_CALL |
drivers/nvme/target/tcp.c nvmet_tcp_data_ready() -> (struct nvmet_tcp_queue)->data_ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_callback_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->sk_user_data | 4096-ptr_max |
| DATA_SOURCE | 0 | sk | $0 |
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| LOCK2 | 0 | &sk->sk_callback_lock | |
| TYPE_LOCK | (struct sock)->sk_callback_lock |
fs/ocfs2/cluster/tcp.c o2net_data_ready() -> o2net_data_ready ptr ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_callback_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | sk->sk_user_data | 0,4096-ptr_max |
| DATA_SOURCE | 0 | sk | $0 |
| NOCHECK_CALL |
fs/ocfs2/cluster/tcp.c o2net_listen_data_ready() -> o2net_listen_data_ready ptr ready()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_callback_lock.dep_map->name | 0-255 |
| DATA_SOURCE | 0 | sk | $0 |
| NOCHECK_CALL |