Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/phonet/pep.c pep_accept_conn() -> pep_reply()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_family | 35 |
| 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_prot | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_rcv_wnd | u32max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | sk->__sk_common.skc_rx_queue_mapping | u16max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_state | 3 |
| 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->aligned | 0-1 |
| PARAM_VALUE | 0 | sk->ctrlreq_queue.qlen | 0 |
| PARAM_VALUE | 0 | sk->ifindex | 0 |
| PARAM_VALUE | 0 | sk->init_enable | 0-1 |
| PARAM_VALUE | 0 | sk->listener->__sk_common.skc_state | 10 |
| PARAM_VALUE | 0 | sk->listener->sk_lock.owned | 1 |
| PARAM_VALUE | 0 | sk->ns_tracker | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sk->peer_type | 0-65280 |
| PARAM_VALUE | 0 | sk->rx_credits | 0 |
| PARAM_VALUE | 0 | sk->rx_fc | 1 |
| PARAM_VALUE | 0 | sk->sk_allocation | 3264 |
| PARAM_VALUE | 0 | sk->sk_backlog_rcv | 4634513020990201856 |
| PARAM_VALUE | 0 | sk->sk_callback_lock.magic | 3736018669 |
| PARAM_VALUE | 0 | sk->sk_callback_lock.owner | (-1) |
| PARAM_VALUE | 0 | sk->sk_callback_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | sk->sk_cgrp_data.cgroup | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_cgrp_data.cgroup->self.refcnt.percpu_count_ptr | 1-u64max |
| PARAM_VALUE | 0 | sk->sk_data_ready | 528724923562565632 |
| PARAM_VALUE | 0 | sk->sk_destruct | 7541680245450416128 |
| 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.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_error_queue.qlen | 0 |
| PARAM_VALUE | 0 | sk->sk_error_report | 6702601906265018368 |
| PARAM_VALUE | 0 | sk->sk_frag.offset | 0 |
| PARAM_VALUE | 0 | sk->sk_frag.page | 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_napi_id | 0 |
| PARAM_VALUE | 0 | sk->sk_owner | 0 |
| 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 | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_prot_creator->owner | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_prot_creator->slab | 0,4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_rcvbuf | 212992 |
| 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_receive_queue.qlen | 0 |
| PARAM_VALUE | 0 | sk->sk_send_head | 0 |
| PARAM_VALUE | 0 | sk->sk_sndbuf | 212992 |
| 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_wmem_alloc.refs.counter | 1 |
| 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 |
| PARAM_VALUE | 0 | sk->tx_fc | 1 |
| PARAM_VALUE | 1 | oskb | 4096-ptr_max |
| PARAM_VALUE | 2 | code | 0 |
| PARAM_VALUE | 3 | data | 4096-ptr_max |
| PARAM_VALUE | 4 | len | 20 |
| PARAM_VALUE | 5 | priority | 3264 |
| BUF_SIZE | 1 | oskb | (-1),1-s32max |
| BUF_SIZE | 1 | oskb | (-1),1-s32max |
| BUF_SIZE | 3 | data | 20 |
| CAPPED_DATA | 0 | sk->__sk_common.skc_net.net | 1 |
| DATA_SOURCE | 0 | sk | $0 |
| DATA_SOURCE | 1 | oskb | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 4 | len | unit_byte |
| LOCK2 | sk | ||
| HALF_LOCKED2 | &pool->lock |
net/phonet/pep.c pep_do_rcv() -> pep_reply()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 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_rcv | 0-1770402027252219903,1770402027252219905-3047833183539765247,3047833183539765249-u64max |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | oskb | 4096-ptr_max |
| PARAM_VALUE | 1 | oskb->dev->rtnl_link_ops->priv_size | 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3720,9688-u64max |
| PARAM_VALUE | 1 | oskb->next->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | oskb->next->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | oskb->next->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | oskb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | oskb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | oskb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | code | 0 |
| PARAM_VALUE | 3 | data | 0 |
| PARAM_VALUE | 4 | len | 0 |
| PARAM_VALUE | 5 | priority | 2080 |
| BUF_SIZE | 0 | sk->__sk_common.skc_prot | (-1),448 |
| BUF_SIZE | 1 | oskb | (-1)-s32max |
| BUF_SIZE | 1 | oskb | (-1)-s32max |
| DATA_SOURCE | 0 | sk | $0 |
| DATA_SOURCE | 1 | oskb | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | oskb->csum | 0-4294967040[c] |
| HOST_DATA | 1 | oskb->csum_offset | 0-u16max |
| HOST_DATA | 1 | oskb->data_len | 0-u32max[c] |
| HOST_DATA | 1 | oskb->len | 0-u32max[c] |
| HOST_DATA | 1 | oskb->prev->csum_offset | 0-u16max |
| HOST_DATA | 1 | oskb->prev->data_len | 0-u32max[c] |
| HOST_DATA | 1 | oskb->prev->len | 1-u32max[c] |
| HOST_DATA | 1 | oskb->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 1 | oskb->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 1 | oskb->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 1 | *oskb->data | 0-255 |
| 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 | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->group | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->num_tc | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->proto_down | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->real_num_tx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->stats.rx_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->stats.tx_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->tx_queue_len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->end | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->tail | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->truesize | |
| UNITS | 0 | sk | unit_byte |
| UNITS | 1 | oskb | unit_byte |
| HALF_LOCKED2 | 0 | sk | |
| HALF_LOCKED2 | 0 | &sk->sk_lock.slock |
net/phonet/pep.c pep_reject_conn() -> pep_reply()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | oskb | 4096-ptr_max |
| PARAM_VALUE | 2 | code | 1,5-6 |
| PARAM_VALUE | 3 | data | 4096-ptr_max |
| PARAM_VALUE | 4 | len | 4 |
| PARAM_VALUE | 5 | priority | 2080,3264 |
| BUF_SIZE | 0 | sk->__sk_common.skc_prot | (-1),448 |
| BUF_SIZE | 1 | oskb | (-1)-s32max |
| BUF_SIZE | 1 | oskb | (-1)-s32max |
| BUF_SIZE | 3 | data | 4 |
| DATA_SOURCE | 0 | sk | $0 |
| DATA_SOURCE | 1 | oskb | $1 |
| DATA_SOURCE | 2 | code | $2 |
| DATA_SOURCE | 5 | priority | $3 |
| HARD_MAX | 2 | code | 6 |
| HARD_MAX | 5 | priority | 3264 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | oskb->csum | 0-126976[c] |
| HOST_DATA | 1 | oskb->csum_offset | 0-u16max |
| HOST_DATA | 1 | oskb->data_len | 0-u32max[c] |
| HOST_DATA | 1 | oskb->len | 0-u32max[c] |
| HOST_DATA | 1 | oskb->prev->csum_offset | 0-u16max |
| HOST_DATA | 1 | oskb->prev->data_len | 0-u32max[c] |
| HOST_DATA | 1 | oskb->prev->len | 1-u32max[c] |
| HOST_DATA | 1 | oskb->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 1 | oskb->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 1 | oskb->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 1 | *oskb->data | 0-255 |
| 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 | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->group | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->num_tc | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->proto_down | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->real_num_tx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->stats.rx_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->stats.tx_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->tx_queue_len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->end | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->tail | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->truesize | |
| UNITS | 0 | sk | unit_byte |
| UNITS | 1 | oskb | unit_byte |
| UNITS | 4 | len | unit_byte |
| HALF_LOCKED2 | 0 | sk | |
| HALF_LOCKED2 | 0 | &sk->sk_lock.slock |
net/phonet/pep.c pipe_do_rcv() -> pep_reply()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 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 |
| PARAM_VALUE | 1 | oskb | 4096-ptr_max |
| PARAM_VALUE | 1 | oskb->dev->rtnl_link_ops->priv_size | 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3720,9688-u64max |
| PARAM_VALUE | 1 | oskb->next->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | oskb->next->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | oskb->next->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | oskb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | oskb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | oskb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | code | 0 |
| PARAM_VALUE | 3 | data | 0 |
| PARAM_VALUE | 4 | len | 0 |
| PARAM_VALUE | 5 | priority | 2080 |
| BUF_SIZE | 0 | sk->__sk_common.skc_prot | (-1),448 |
| BUF_SIZE | 1 | oskb | (-1)-s32max |
| BUF_SIZE | 1 | oskb | (-1)-s32max |
| DATA_SOURCE | 0 | sk | $0 |
| DATA_SOURCE | 1 | oskb | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | oskb->csum | 0-4294967040[c] |
| HOST_DATA | 1 | oskb->csum_offset | 0-u16max |
| HOST_DATA | 1 | oskb->data_len | 0-u32max[c] |
| HOST_DATA | 1 | oskb->len | 0-u32max[c] |
| HOST_DATA | 1 | oskb->prev->csum_offset | 0-u16max |
| HOST_DATA | 1 | oskb->prev->data_len | 0-u32max[c] |
| HOST_DATA | 1 | oskb->prev->len | 1-u32max[c] |
| HOST_DATA | 1 | oskb->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 1 | oskb->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 1 | oskb->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 1 | *oskb->data | 0-255 |
| 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 | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->group | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->num_tc | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->proto_down | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->real_num_tx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->stats.rx_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->stats.tx_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->tx_queue_len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->end | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->tail | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->truesize | |
| UNITS | 0 | sk | unit_byte |
| UNITS | 1 | oskb | unit_byte |
| HALF_LOCKED2 | 0 | sk | |
| HALF_LOCKED2 | 0 | &sk->sk_lock.slock |
net/phonet/pep.c pipe_do_rcv() -> pep_reply()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 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 |
| PARAM_VALUE | 1 | oskb | 4096-ptr_max |
| PARAM_VALUE | 1 | oskb->dev->rtnl_link_ops->priv_size | 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3720,9688-u64max |
| PARAM_VALUE | 1 | oskb->next->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | oskb->next->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | oskb->next->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | oskb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | oskb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | oskb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | code | 0 |
| PARAM_VALUE | 3 | data | 0 |
| PARAM_VALUE | 4 | len | 0 |
| PARAM_VALUE | 5 | priority | 2080 |
| BUF_SIZE | 0 | sk->__sk_common.skc_prot | (-1),448 |
| BUF_SIZE | 1 | oskb | (-1)-s32max |
| BUF_SIZE | 1 | oskb | (-1)-s32max |
| DATA_SOURCE | 0 | sk | $0 |
| DATA_SOURCE | 1 | oskb | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | oskb->csum | 0-4294967040[c] |
| HOST_DATA | 1 | oskb->csum_offset | 0-u16max |
| HOST_DATA | 1 | oskb->data_len | 0-u32max[c] |
| HOST_DATA | 1 | oskb->len | 0-u32max[c] |
| HOST_DATA | 1 | oskb->prev->csum_offset | 0-u16max |
| HOST_DATA | 1 | oskb->prev->data_len | 0-u32max[c] |
| HOST_DATA | 1 | oskb->prev->len | 1-u32max[c] |
| HOST_DATA | 1 | oskb->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 1 | oskb->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 1 | oskb->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 1 | *oskb->data | 0-255 |
| 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 | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->group | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->num_tc | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->proto_down | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->real_num_tx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->stats.rx_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->stats.tx_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->tx_queue_len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->end | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->tail | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->truesize | |
| UNITS | 0 | sk | unit_byte |
| UNITS | 1 | oskb | unit_byte |
| HALF_LOCKED2 | 0 | sk | |
| HALF_LOCKED2 | 0 | &sk->sk_lock.slock |
net/phonet/pep.c pipe_do_rcv() -> pep_reply()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sk | 4096-ptr_max |
| PARAM_VALUE | 0 | sk->__sk_common.skc_state | 0-7,9-255 |
| PARAM_VALUE | 0 | sk->init_enable | 0-1 |
| 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 | 1 | oskb | 4096-ptr_max |
| PARAM_VALUE | 1 | oskb->dev->rtnl_link_ops->priv_size | 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3720,9688-u64max |
| PARAM_VALUE | 1 | oskb->next->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | oskb->next->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | oskb->next->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | oskb->next->sk->sk_peer_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | oskb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | oskb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | oskb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | code | 0 |
| PARAM_VALUE | 3 | data | 0 |
| PARAM_VALUE | 4 | len | 0 |
| PARAM_VALUE | 5 | priority | 2080 |
| BUF_SIZE | 0 | sk->__sk_common.skc_prot | (-1),448 |
| BUF_SIZE | 1 | oskb | (-1)-s32max |
| BUF_SIZE | 1 | oskb | (-1)-s32max |
| DATA_SOURCE | 0 | sk | $0 |
| DATA_SOURCE | 1 | oskb | $1 |
| FUZZY_MAX | 0 | sk->init_enable | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | oskb->csum | 0-4294967040[c] |
| HOST_DATA | 1 | oskb->csum_offset | 0-u16max |
| HOST_DATA | 1 | oskb->data_len | 0-u32max[c] |
| HOST_DATA | 1 | oskb->len | 0-u32max[c] |
| HOST_DATA | 1 | oskb->prev->csum_offset | 0-u16max |
| HOST_DATA | 1 | oskb->prev->data_len | 0-u32max[c] |
| HOST_DATA | 1 | oskb->prev->len | 1-u32max[c] |
| HOST_DATA | 1 | oskb->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 1 | oskb->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 1 | oskb->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 1 | *oskb->data | 0-255 |
| 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 | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->group | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->num_tc | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->proto_down | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->real_num_tx_queues | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->stats.rx_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->stats.tx_bytes | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->dev->tx_queue_len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->end | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->tail | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->next->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->tail | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->tail | |
| NO_OVERFLOW_SIMPLE | 1 | oskb->truesize | |
| UNITS | 0 | sk | unit_byte |
| UNITS | 1 | oskb | unit_byte |
| HALF_LOCKED2 | 0 | sk | |
| HALF_LOCKED2 | 0 | &sk->sk_lock.slock |