Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
net/batman-adv/tvlv.c batadv_tvlv_ogm_receive() -> batadv_tvlv_containers_process()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bat_priv | 4096-ptr_max |
| PARAM_VALUE | 1 | packet_type | 0 |
| PARAM_VALUE | 2 | orig_node | 4096-ptr_max |
| PARAM_VALUE | 3 | skb | 0 |
| PARAM_VALUE | 5 | tvlv_value_len | 1-u16max |
| BUF_SIZE | 2 | orig_node | (-1),1656 |
| BUF_SIZE | 2 | orig_node | (-1),1656 |
| CAPPED_DATA | 2 | orig_node | 1 |
| DATA_SOURCE | 0 | bat_priv | $0 |
| DATA_SOURCE | 2 | orig_node | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 5 | tvlv_value_len | 1-u16max[u] |
| UNITS | 4 | tvlv_value | unit_byte |
| USER_PTR | 4 | tvlv_value |
net/batman-adv/routing.c batadv_recv_mcast_packet() -> batadv_tvlv_containers_process()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | packet_type | 5 |
| PARAM_VALUE | 2 | orig_node | 0 |
| PARAM_VALUE | 3 | skb | 4096-ptr_max |
| PARAM_VALUE | 3 | skb->data | 4096-ptr_max |
| PARAM_VALUE | 3 | skb->data->version | 15 |
| PARAM_VALUE | 3 | skb->data_len | 0-1 |
| PARAM_VALUE | 3 | skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire | 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560 |
| PARAM_VALUE | 3 | skb->dev->nd_net.net->ipv4.fqdir->f->qsize | 0,304,320 |
| PARAM_VALUE | 3 | skb->dev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| PARAM_VALUE | 3 | skb->hdr_len | 0 |
| PARAM_VALUE | 3 | skb->head_frag | 0 |
| PARAM_VALUE | 3 | skb->ip_summed | 0 |
| PARAM_VALUE | 3 | skb->mac_len | 14 |
| PARAM_VALUE | 3 | skb->nohdr | 0 |
| PARAM_VALUE | 3 | skb->pp_recycle | 0 |
| PARAM_VALUE | 3 | skb->sk->sk_callback_lock.owner | (-1) |
| PARAM_VALUE | 3 | skb->sk->sk_callback_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 3 | skb->sk->sk_filter | 0 |
| PARAM_VALUE | 3 | skb->sk->sk_frag.page | 0 |
| PARAM_VALUE | 3 | skb->sk->sk_owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 3 | skb->sk->sk_prot_creator->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 3 | skb->sk->sk_rcu.next | 0 |
| PARAM_VALUE | 3 | skb->sk->sk_security | 0 |
| PARAM_VALUE | 4 | tvlv_value | 4096-ptr_max |
| BUF_SIZE | 3 | skb | (-1)-s32max |
| BUF_SIZE | 3 | skb | (-1)-s32max |
| CAPPED_DATA | 5 | tvlv_value_len | 1 |
| DATA_SOURCE | 3 | skb | $0 |
| BIT_INFO | 5 | tvlv_value_len | 0x0,0xfffe |
| MEM_ZERO | 3 | skb->cb | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 3 | skb->csum_offset | 0-u16max |
| HOST_DATA | 3 | skb->len | 0-u32max[c] |
| HOST_DATA | 3 | skb->prev->csum_offset | 0-u16max |
| HOST_DATA | 3 | skb->prev->data_len | 0-u32max[c] |
| HOST_DATA | 3 | skb->prev->len | 1-u32max[c] |
| HOST_DATA | 3 | skb->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 3 | skb->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 3 | *skb->data | 0-255 |
| NO_OVERFLOW_SIMPLE | 3 | skb->data_len | |
| NO_OVERFLOW_SIMPLE | 3 | skb->dev->group | |
| NO_OVERFLOW_SIMPLE | 3 | skb->dev->num_tc | |
| NO_OVERFLOW_SIMPLE | 3 | skb->dev->proto_down | |
| NO_OVERFLOW_SIMPLE | 3 | skb->dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 3 | skb->dev->real_num_tx_queues | |
| NO_OVERFLOW_SIMPLE | 3 | skb->dev->stats.rx_bytes | |
| NO_OVERFLOW_SIMPLE | 3 | skb->dev->stats.tx_bytes | |
| NO_OVERFLOW_SIMPLE | 3 | skb->dev->tx_queue_len | |
| NO_OVERFLOW_SIMPLE | 3 | skb->end | |
| NO_OVERFLOW_SIMPLE | 3 | skb->extensions | |
| NO_OVERFLOW_SIMPLE | 3 | skb->len | |
| NO_OVERFLOW_SIMPLE | 3 | skb->next->end | |
| NO_OVERFLOW_SIMPLE | 3 | skb->next->len | |
| NO_OVERFLOW_SIMPLE | 3 | skb->prev->end | |
| NO_OVERFLOW_SIMPLE | 3 | skb->prev->len | |
| NO_OVERFLOW_SIMPLE | 3 | skb->prev->tail | |
| NO_OVERFLOW_SIMPLE | 3 | skb->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 3 | skb->sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 3 | skb->tail | |
| NO_OVERFLOW_SIMPLE | 3 | skb->truesize | |
| UNITS | 4 | tvlv_value | unit_byte |
| UNITS | 5 | tvlv_value_len | unit_byte |
| USER_PTR | 4 | tvlv_value | |
| HALF_LOCKED2 | rcu_read |
net/batman-adv/routing.c batadv_recv_unicast_tvlv() -> batadv_tvlv_containers_process()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | packet_type | 68 |
| PARAM_VALUE | 2 | orig_node | 0 |
| PARAM_VALUE | 3 | skb | 4096-ptr_max |
| PARAM_VALUE | 3 | skb->data | 4096-ptr_max |
| PARAM_VALUE | 3 | skb->data->version | 15 |
| PARAM_VALUE | 3 | skb->data_len | 0-1 |
| PARAM_VALUE | 3 | skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire | 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560 |
| PARAM_VALUE | 3 | skb->dev->nd_net.net->ipv4.fqdir->f->qsize | 0,304,320 |
| PARAM_VALUE | 3 | skb->dev->rtnl_link_ops->maxtype | 0-6,8-10,15,18,20,22,24,34,50 |
| PARAM_VALUE | 3 | skb->hdr_len | 0 |
| PARAM_VALUE | 3 | skb->head_frag | 0 |
| PARAM_VALUE | 3 | skb->mac_len | 14 |
| PARAM_VALUE | 3 | skb->nohdr | 0 |
| PARAM_VALUE | 3 | skb->pp_recycle | 0 |
| PARAM_VALUE | 3 | skb->sk->sk_callback_lock.owner | (-1) |
| PARAM_VALUE | 3 | skb->sk->sk_callback_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 3 | skb->sk->sk_filter | 0 |
| PARAM_VALUE | 3 | skb->sk->sk_frag.page | 0 |
| PARAM_VALUE | 3 | skb->sk->sk_owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 3 | skb->sk->sk_prot_creator->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 3 | skb->sk->sk_rcu.next | 0 |
| PARAM_VALUE | 3 | skb->sk->sk_security | 0 |
| PARAM_VALUE | 4 | tvlv_value | 4096-ptr_max |
| BUF_SIZE | 3 | skb | (-1)-s32max |
| BUF_SIZE | 3 | skb | (-1)-s32max |
| CAPPED_DATA | 5 | tvlv_value_len | 1 |
| DATA_SOURCE | 3 | skb | $0 |
| MEM_ZERO | 3 | skb->cb | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 3 | skb->csum | 0-126976[c] |
| HOST_DATA | 3 | skb->csum_offset | 0-u16max |
| HOST_DATA | 3 | skb->len | 0-u32max[c] |
| HOST_DATA | 3 | skb->prev->csum_offset | 0-u16max |
| HOST_DATA | 3 | skb->prev->data_len | 0-u32max[c] |
| HOST_DATA | 3 | skb->prev->len | 1-u32max[c] |
| HOST_DATA | 3 | skb->prev->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 3 | skb->tstamp | 500000002-4294967299794967295[c] |
| HOST_DATA | 3 | *skb->data | 0-255 |
| NO_OVERFLOW_SIMPLE | 3 | skb->data_len | |
| NO_OVERFLOW_SIMPLE | 3 | skb->dev->group | |
| NO_OVERFLOW_SIMPLE | 3 | skb->dev->num_tc | |
| NO_OVERFLOW_SIMPLE | 3 | skb->dev->proto_down | |
| NO_OVERFLOW_SIMPLE | 3 | skb->dev->real_num_rx_queues | |
| NO_OVERFLOW_SIMPLE | 3 | skb->dev->real_num_tx_queues | |
| NO_OVERFLOW_SIMPLE | 3 | skb->dev->stats.rx_bytes | |
| NO_OVERFLOW_SIMPLE | 3 | skb->dev->stats.tx_bytes | |
| NO_OVERFLOW_SIMPLE | 3 | skb->dev->tx_queue_len | |
| NO_OVERFLOW_SIMPLE | 3 | skb->end | |
| NO_OVERFLOW_SIMPLE | 3 | skb->extensions | |
| NO_OVERFLOW_SIMPLE | 3 | skb->len | |
| NO_OVERFLOW_SIMPLE | 3 | skb->next->end | |
| NO_OVERFLOW_SIMPLE | 3 | skb->next->len | |
| NO_OVERFLOW_SIMPLE | 3 | skb->prev->end | |
| NO_OVERFLOW_SIMPLE | 3 | skb->prev->len | |
| NO_OVERFLOW_SIMPLE | 3 | skb->prev->tail | |
| NO_OVERFLOW_SIMPLE | 3 | skb->prev->truesize | |
| NO_OVERFLOW_SIMPLE | 3 | skb->sk->sk_backlog.len | |
| NO_OVERFLOW_SIMPLE | 3 | skb->tail | |
| NO_OVERFLOW_SIMPLE | 3 | skb->truesize | |
| UNITS | 4 | tvlv_value | unit_byte |
| UNITS | 5 | tvlv_value_len | unit_byte |
| USER_PTR | 4 | tvlv_value | |
| HALF_LOCKED2 | rcu_read |
net/batman-adv/bat_v_ogm.c batadv_v_ogm_process_per_outif() -> batadv_tvlv_containers_process()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bat_priv | 4096-ptr_max |
| PARAM_VALUE | 0 | bat_priv->orig_hash | 4096-ptr_max |
| PARAM_VALUE | 1 | packet_type | 4 |
| PARAM_VALUE | 2 | orig_node | 4096-ptr_max |
| PARAM_VALUE | 2 | orig_node->ifinfo_list.first | 4096-ptr_max |
| PARAM_VALUE | 2 | orig_node->ifinfo_list.first->pprev | 4096-ptr_max |
| PARAM_VALUE | 2 | orig_node->neigh_list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 3 | skb | 0 |
| PARAM_VALUE | 4 | *tvlv_value | s32min-s32max |
| BUF_SIZE | 2 | orig_node | (-1),1656 |
| BUF_SIZE | 2 | orig_node | (-1),1656 |
| CAPPED_DATA | 2 | orig_node | 1 |
| DATA_SOURCE | 0 | bat_priv | $0 |
| DATA_SOURCE | 2 | orig_node | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 5 | tvlv_value_len | 0-u16max[u] |
| UNITS | 4 | tvlv_value | unit_byte |
| UNITS | 5 | tvlv_value_len | unit_byte |
| USER_PTR | 4 | tvlv_value | |
| HALF_LOCKED2 | rcu_read |