Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/arp.c arp_process() -> arp_send_dst()

Type Parameter Key Value
PARAM_VALUE 0 type 2
PARAM_VALUE 1 ptype 2054
PARAM_VALUE 2 dest_ip 0
PARAM_VALUE 3 dev 4096-ptr_max
PARAM_VALUE 8 dst 0,4096-ptr_max
PARAM_VALUE 8 dst->dst.__rcuref.refcnt.counter 0
PARAM_VALUE 8 dst->dst.__use 0
PARAM_VALUE 8 dst->dst.error 0
PARAM_VALUE 8 dst->dst.expires 0
PARAM_VALUE 8 dst->dst.flags 136
PARAM_VALUE 8 dst->dst.header_len 0
PARAM_VALUE 8 dst->dst.input 8553433669308997632
PARAM_VALUE 8 dst->dst.lwtstate 0
PARAM_VALUE 8 dst->dst.obsolete 0
PARAM_VALUE 8 dst->dst.ops->kmem_cachep 0
PARAM_VALUE 8 dst->dst.output 1359104979572629504
PARAM_VALUE 8 dst->dst.rt_uncached_list 0
PARAM_VALUE 8 dst->dst.tclassid 0
PARAM_VALUE 8 dst->dst.trailer_len 0
PARAM_VALUE 8 dst->dst.xfrm 0
PARAM_VALUE 8 dst->type 0
BUF_SIZE 5 dest_hw (-1),32
BUF_SIZE 5 dest_hw (-1),32
BUF_SIZE 6 src_hw 32
BUF_SIZE 7 target_hw (-1),32
BUF_SIZE 7 target_hw (-1),32
BUF_SIZE 8 dst (-1)-0,256-511
BUF_SIZE 8 dst (-1)-0,256-511
CAPPED_DATA 3 dev->ip_ptr 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 dev->group
NO_OVERFLOW_SIMPLE 3 dev->num_tc
NO_OVERFLOW_SIMPLE 3 dev->proto_down
NO_OVERFLOW_SIMPLE 3 dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 3 dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 3 dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE 3 dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE 3 dev->tx_queue_len
UNITS 3 dev unit_byte
HALF_LOCKED2 &tbl->proxy_queue.lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/ipv4/arp.c arp_process() -> arp_send_dst()

Type Parameter Key Value
PARAM_VALUE 0 type 2
PARAM_VALUE 1 ptype 2054
PARAM_VALUE 2 dest_ip 1-u32max
PARAM_VALUE 3 dev 4096-ptr_max
PARAM_VALUE 3 dev->ip_ptr->dev 4096-ptr_max
PARAM_VALUE 3 dev->ip_ptr->dev->nd_net.net->ipv4.fib_default->tb_data->stats->gets 0-4294967295
PARAM_VALUE 3 dev->ip_ptr->dev->nd_net.net->ipv4.fib_main->tb_data->kv->bits 1-255
PARAM_VALUE 3 dev->ip_ptr->dev->nd_net.net->ipv4.fib_main->tb_data->kv->pos 0-254
PARAM_VALUE 3 dev->ip_ptr->dev->nd_net.net->ipv4.fib_main->tb_data->kv->slen 1-255
PARAM_VALUE 3 dev->ip_ptr->dev->nd_net.net->ipv4.fib_main->tb_data->stats->backtrack 0-4294967295
PARAM_VALUE 3 dev->ip_ptr->dev->nd_net.net->ipv4.fib_main->tb_data->stats->gets 0-4294967295
PARAM_VALUE 3 dev->ip_ptr->dev->nd_net.net->ipv4.fib_main->tb_data->stats->null_node_hit 0-4294967295
PARAM_VALUE 3 dev->ip_ptr->dev->nd_net.net->ipv4.fib_main->tb_data->stats->semantic_match_miss 0-4294967295
PARAM_VALUE 3 dev->ip_ptr->mc_list->crcount 0-255
PARAM_VALUE 3 dev->ip_ptr->mc_list->gsquery 0-255
PARAM_VALUE 3 dev->ip_ptr->mc_list->loaded 0-255
PARAM_VALUE 3 dev->ip_ptr->mc_list->multiaddr 0-4294967295
PARAM_VALUE 3 dev->ip_ptr->mc_list->refcnt.refs.counter s32min-s32max
PARAM_VALUE 3 dev->ip_ptr->mc_list->reporter 0-255
PARAM_VALUE 3 dev->ip_ptr->mc_list->sfmode 0-4294967295
PARAM_VALUE 3 dev->ip_ptr->mc_list->timer.flags 0-4294967295
PARAM_VALUE 3 dev->ip_ptr->mc_list->tm_running 0-255
PARAM_VALUE 3 dev->ip_ptr->mc_list->unsolicit_count 0-255
PARAM_VALUE 3 dev->ip_ptr->mc_list->users s32min-s32max
PARAM_VALUE 3 dev->nd_net.net->ipv4.fib_main->tb_data->kv->bits 1-255
PARAM_VALUE 3 dev->nd_net.net->ipv4.fib_main->tb_data->kv->pos 0-254
PARAM_VALUE 3 dev->nd_net.net->ipv4.fib_main->tb_data->kv->slen 1-255
PARAM_VALUE 3 dev->nd_net.net->ipv4.fib_main->tb_data->stats->backtrack 0-4294967295
PARAM_VALUE 3 dev->nd_net.net->ipv4.fib_main->tb_data->stats->gets 0-4294967295
PARAM_VALUE 3 dev->nd_net.net->ipv4.fib_main->tb_data->stats->null_node_hit 0-4294967295
PARAM_VALUE 3 dev->nd_net.net->ipv4.fib_main->tb_data->stats->semantic_match_miss 0-4294967295
PARAM_VALUE 3 dev->nd_net.net->ipv4.fib_main->tb_data->stats->semantic_match_passed 0-4294967295
PARAM_VALUE 3 dev->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 3 dev->refcnt_tracker.list.next->prev 4096-ptr_max
PARAM_VALUE 8 dst 0,4096-ptr_max
PARAM_VALUE 8 dst->dst.__rcuref.refcnt.counter 0
PARAM_VALUE 8 dst->dst.__use 0
PARAM_VALUE 8 dst->dst.error 0
PARAM_VALUE 8 dst->dst.expires 0
PARAM_VALUE 8 dst->dst.flags 136
PARAM_VALUE 8 dst->dst.header_len 0
PARAM_VALUE 8 dst->dst.input 8553433669308997632
PARAM_VALUE 8 dst->dst.lwtstate 0
PARAM_VALUE 8 dst->dst.obsolete 0
PARAM_VALUE 8 dst->dst.ops->kmem_cachep 0
PARAM_VALUE 8 dst->dst.output 1359104979572629504
PARAM_VALUE 8 dst->dst.rt_uncached_list 0
PARAM_VALUE 8 dst->dst.tclassid 0
PARAM_VALUE 8 dst->dst.trailer_len 0
PARAM_VALUE 8 dst->dst.xfrm 0
PARAM_VALUE 8 dst->type 0
BUF_SIZE 5 dest_hw (-1),32
BUF_SIZE 5 dest_hw (-1),32
BUF_SIZE 6 src_hw 32
BUF_SIZE 7 target_hw (-1),32
BUF_SIZE 7 target_hw (-1),32
BUF_SIZE 8 dst (-1)-0,256-511
BUF_SIZE 8 dst (-1)-0,256-511
CAPPED_DATA 3 dev 1
CAPPED_DATA 3 dev->ip_ptr 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 dev->group
NO_OVERFLOW_SIMPLE 3 dev->num_tc
NO_OVERFLOW_SIMPLE 3 dev->proto_down
NO_OVERFLOW_SIMPLE 3 dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 3 dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 3 dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE 3 dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE 3 dev->tx_queue_len
UNITS 3 dev unit_byte
HALF_LOCKED2 &tbl->proxy_queue.lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/ipv4/arp.c arp_process() -> arp_send_dst()

Type Parameter Key Value
PARAM_VALUE 0 type 2
PARAM_VALUE 1 ptype 2054
PARAM_VALUE 2 dest_ip 1-u32max
PARAM_VALUE 3 dev 4096-ptr_max
PARAM_VALUE 3 dev->ip_ptr->arp_parms 4096-ptr_max
PARAM_VALUE 3 dev->ip_ptr->dev 4096-ptr_max
PARAM_VALUE 3 dev->ip_ptr->dev->nd_net.net->ipv4.fib_default->tb_data->stats->gets 0-4294967295
PARAM_VALUE 3 dev->ip_ptr->dev->nd_net.net->ipv4.fib_main->tb_data->kv->bits 1-255
PARAM_VALUE 3 dev->ip_ptr->dev->nd_net.net->ipv4.fib_main->tb_data->kv->pos 0-254
PARAM_VALUE 3 dev->ip_ptr->dev->nd_net.net->ipv4.fib_main->tb_data->kv->slen 1-255
PARAM_VALUE 3 dev->ip_ptr->dev->nd_net.net->ipv4.fib_main->tb_data->stats->backtrack 0-4294967295
PARAM_VALUE 3 dev->ip_ptr->dev->nd_net.net->ipv4.fib_main->tb_data->stats->gets 0-4294967295
PARAM_VALUE 3 dev->ip_ptr->dev->nd_net.net->ipv4.fib_main->tb_data->stats->null_node_hit 0-4294967295
PARAM_VALUE 3 dev->ip_ptr->dev->nd_net.net->ipv4.fib_main->tb_data->stats->semantic_match_miss 0-4294967295
PARAM_VALUE 3 dev->ip_ptr->mc_list->crcount 0-255
PARAM_VALUE 3 dev->ip_ptr->mc_list->gsquery 0-255
PARAM_VALUE 3 dev->ip_ptr->mc_list->loaded 0-255
PARAM_VALUE 3 dev->ip_ptr->mc_list->multiaddr 0-4294967295
PARAM_VALUE 3 dev->ip_ptr->mc_list->refcnt.refs.counter s32min-s32max
PARAM_VALUE 3 dev->ip_ptr->mc_list->reporter 0-255
PARAM_VALUE 3 dev->ip_ptr->mc_list->sfmode 0-4294967295
PARAM_VALUE 3 dev->ip_ptr->mc_list->timer.flags 0-4294967295
PARAM_VALUE 3 dev->ip_ptr->mc_list->tm_running 0-255
PARAM_VALUE 3 dev->ip_ptr->mc_list->unsolicit_count 0-255
PARAM_VALUE 3 dev->ip_ptr->mc_list->users s32min-s32max
PARAM_VALUE 3 dev->nd_net.net->ipv4.fib_default->tb_data->stats->gets 0-4294967295
PARAM_VALUE 3 dev->nd_net.net->ipv4.fib_default->tb_data->stats->semantic_match_passed 0-4294967295
PARAM_VALUE 3 dev->nd_net.net->ipv4.fib_main->tb_data->kv->bits 1-255
PARAM_VALUE 3 dev->nd_net.net->ipv4.fib_main->tb_data->kv->pos 0-254
PARAM_VALUE 3 dev->nd_net.net->ipv4.fib_main->tb_data->kv->slen 1-255
PARAM_VALUE 3 dev->nd_net.net->ipv4.fib_main->tb_data->stats->backtrack 0-4294967295
PARAM_VALUE 3 dev->nd_net.net->ipv4.fib_main->tb_data->stats->gets 0-4294967295
PARAM_VALUE 3 dev->nd_net.net->ipv4.fib_main->tb_data->stats->null_node_hit 0-4294967295
PARAM_VALUE 3 dev->nd_net.net->ipv4.fib_main->tb_data->stats->semantic_match_miss 0-4294967295
PARAM_VALUE 3 dev->nd_net.net->ipv4.fib_main->tb_data->stats->semantic_match_passed 0-4294967295
PARAM_VALUE 3 dev->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 3 dev->refcnt_tracker.list.next->prev 4096-ptr_max
PARAM_VALUE 8 dst 0,4096-ptr_max
PARAM_VALUE 8 dst->dst.__rcuref.refcnt.counter 0
PARAM_VALUE 8 dst->dst.__use 0
PARAM_VALUE 8 dst->dst.error 0
PARAM_VALUE 8 dst->dst.expires 0
PARAM_VALUE 8 dst->dst.flags 136
PARAM_VALUE 8 dst->dst.header_len 0
PARAM_VALUE 8 dst->dst.input 8553433669308997632
PARAM_VALUE 8 dst->dst.lwtstate 0
PARAM_VALUE 8 dst->dst.obsolete 0
PARAM_VALUE 8 dst->dst.ops->kmem_cachep 0
PARAM_VALUE 8 dst->dst.output 1359104979572629504
PARAM_VALUE 8 dst->dst.rt_uncached_list 0
PARAM_VALUE 8 dst->dst.tclassid 0
PARAM_VALUE 8 dst->dst.trailer_len 0
PARAM_VALUE 8 dst->dst.xfrm 0
PARAM_VALUE 8 dst->type 0
BUF_SIZE 5 dest_hw (-1),32
BUF_SIZE 5 dest_hw (-1),32
BUF_SIZE 6 src_hw 32
BUF_SIZE 7 target_hw (-1),32
BUF_SIZE 7 target_hw (-1),32
BUF_SIZE 8 dst (-1)-0,256-511
BUF_SIZE 8 dst (-1)-0,256-511
CAPPED_DATA 3 dev 1
CAPPED_DATA 3 dev->ip_ptr 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 dev->group
NO_OVERFLOW_SIMPLE 3 dev->num_tc
NO_OVERFLOW_SIMPLE 3 dev->proto_down
NO_OVERFLOW_SIMPLE 3 dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 3 dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 3 dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE 3 dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE 3 dev->tx_queue_len
UNITS 3 dev unit_byte
HALF_LOCKED2 &tbl->proxy_queue.lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/ipv4/arp.c arp_send() -> arp_send_dst()

Type Parameter Key Value
PARAM_VALUE 0 type 1-3
PARAM_VALUE 1 ptype 2054,32821
PARAM_VALUE 3 dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 3 dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 3 dev->ndisc_ops->fill_addr_option 4096-ptr_max
PARAM_VALUE 3 dev->ndisc_ops->parse_options 4096-ptr_max
PARAM_VALUE 3 dev->ndisc_ops->update 4096-ptr_max
PARAM_VALUE 3 dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 3 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,3552,3720,9688-u64max
PARAM_VALUE 3 *dev->name 0-255
PARAM_VALUE 8 dst 0
BUF_SIZE 5 dest_hw (-1),6
BUF_SIZE 5 dest_hw (-1),6
BUF_SIZE 6 src_hw 6,32
BUF_SIZE 6 src_hw 6,32
BUF_SIZE 7 target_hw (-1),6,32
BUF_SIZE 7 target_hw (-1),6,32
DATA_SOURCE 0 type $0
DATA_SOURCE 1 ptype $1
DATA_SOURCE 2 dest_ip $2
DATA_SOURCE 3 dev $3
DATA_SOURCE 4 src_ip $4
DATA_SOURCE 5 dest_hw $5
DATA_SOURCE 6 src_hw $6
DATA_SOURCE 7 target_hw $7
HARD_MAX 0 type 3
HARD_MAX 1 ptype 32821
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 dev->group
NO_OVERFLOW_SIMPLE 3 dev->num_tc
NO_OVERFLOW_SIMPLE 3 dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 3 dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 3 dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE 3 dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE 3 dev->tx_queue_len
UNITS 2 dest_ip unit_byte
UNITS 3 dev unit_byte
UNITS 4 src_ip unit_byte
UNITS 5 dest_hw unit_byte
UNITS 7 target_hw unit_byte

net/ipv4/arp.c arp_solicit() -> arp_send_dst()

Type Parameter Key Value
PARAM_VALUE 0 type 1
PARAM_VALUE 1 ptype 2054
PARAM_VALUE 3 dev 4096-ptr_max
PARAM_VALUE 5 dest_hw 0,4943979803270074368
PARAM_VALUE 7 target_hw 0
PARAM_VALUE 8 dst 0,2-u64max
BUF_SIZE 5 dest_hw 0,32
BUF_SIZE 5 dest_hw 0,32
BUF_SIZE 6 src_hw 32
CAPPED_DATA 3 dev->ip_ptr 1
BIT_INFO 5 dest_hw 0x0,0x449c8b6fce9e5000
BIT_INFO 5 dest_hw 0x0,0x449c8b6fce9e5000
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 dest_ip 0-u32max
UNITS 3 dev unit_byte
UNITS 4 src_ip unit_byte
HALF_LOCKED2 bh