Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 6 files:
- drivers/infiniband/sw/rxe/rxe_net.c, line 338
- include/net/ip.h, line 585
- net/ipv4/ip_output.c, line 183
- net/ipv4/ip_tunnel_core.c, line 95
- net/ipv4/route.c, line 508
- net/netfilter/nf_flow_table_ip.c, line 621
Smatch caller information:
net/xfrm/xfrm_iptfs.c ip_select_ident_segs() -> __ip_select_ident()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | iph | 4096-ptr_max |
| PARAM_VALUE | 1 | iph->frag_off | 16384-u16max |
| PARAM_VALUE | 2 | segs | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | iph | r ip_hdr |
| DATA_SOURCE | 2 | segs | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
net/ipv4/raw.c ip_select_ident_segs() -> __ip_select_ident()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | iph | 4096-ptr_max |
| PARAM_VALUE | 1 | iph->frag_off | 16384-u16max |
| PARAM_VALUE | 2 | segs | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | iph | r ip_hdr |
| DATA_SOURCE | 2 | segs | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | net | unit_byte |
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | sk |
drivers/net/amt.c ip_select_ident_segs() -> __ip_select_ident()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->kv->bits | 1-255 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->kv->key | 0-4294967295 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->kv->pos | 0-254 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->kv->slen | 1-255 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->stats->backtrack | 0-4294967295 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->stats->gets | 0-4294967295 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->stats->null_node_hit | 0-4294967295 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->stats->semantic_match_miss | 0-4294967295 |
| PARAM_VALUE | 0 | net->loopback_dev->refcnt_tracker.list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | net->loopback_dev->refcnt_tracker.list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | iph | 4096-ptr_max |
| PARAM_VALUE | 1 | iph->frag_off | 16384-u16max |
| PARAM_VALUE | 2 | segs | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | iph | r ip_hdr |
| DATA_SOURCE | 2 | segs | $3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &pool->lock |
drivers/net/ppp/pptp.c ip_select_ident_segs() -> __ip_select_ident()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | iph | 4096-ptr_max |
| PARAM_VALUE | 1 | iph->frag_off | 16384-u16max |
| PARAM_VALUE | 2 | segs | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | iph | r ip_hdr |
| DATA_SOURCE | 2 | segs | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | net | unit_byte |
| HALF_LOCKED2 | &pch->downl | ||
| HALF_LOCKED2 | &pchb->downl | ||
| HALF_LOCKED2 | &ppp->wlock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct channel)->downl |
net/netfilter/ipvs/ip_vs_xmit.c ip_select_ident_segs() -> __ip_select_ident()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | iph | 4096-ptr_max |
| PARAM_VALUE | 1 | iph->frag_off | 16384-u16max |
| PARAM_VALUE | 2 | segs | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | iph | r ip_hdr |
| DATA_SOURCE | 2 | segs | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/ipv4/ip_tunnel_core.c iptunnel_xmit() -> __ip_select_ident()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | iph | 4096-ptr_max |
| PARAM_VALUE | 1 | iph->ihl | 5 |
| PARAM_VALUE | 1 | iph->version | 4 |
| PARAM_VALUE | 2 | segs | 1-u16max |
| DATA_SOURCE | 1 | iph | r ip_hdr |
| FUZZY_MAX | 2 | segs | 1 |
| BIT_INFO | 2 | segs | 0x0,0xffff |
| NOSPEC | 1 | iph->saddr | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | iph->daddr | 0-u32max[u] |
| USER_DATA | 1 | iph->frag_off | 0-u16max[u] |
| USER_DATA | 1 | iph->protocol | 0-255[u] |
| USER_DATA | 1 | iph->saddr | 0-u32max |
| USER_DATA | 1 | iph->tos | 0-255[c][u] |
| USER_DATA | 1 | iph->ttl | 0-255[u] |
| UNITS | 0 | net | unit_byte |
| UNITS | 2 | segs | unit_byte |
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
net/ipv4/igmp.c ip_select_ident_segs() -> __ip_select_ident()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | net | 4096-ptr_max |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->kv->bits | 1-255 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->kv->key | 0-4294967295 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->kv->pos | 0-254 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->kv->slen | 1-255 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->stats->backtrack | 0-4294967295 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->stats->gets | 0-4294967295 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->stats->null_node_hit | 0-4294967295 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->stats->semantic_match_miss | 0-4294967295 |
| PARAM_VALUE | 0 | net->ipv6.rt6_stats->fib_rt_alloc.counter | s32min-s32max |
| PARAM_VALUE | 0 | net->loopback_dev->refcnt_tracker.list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | net->loopback_dev->refcnt_tracker.list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | net->user_ns | 4096-ptr_max |
| PARAM_VALUE | 1 | iph | 4096-ptr_max |
| PARAM_VALUE | 1 | iph->frag_off | 16384-u16max |
| PARAM_VALUE | 2 | segs | 1 |
| CAPPED_DATA | 0 | net->user_ns->uid_map.nr_extents | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | iph | r ip_hdr |
| DATA_SOURCE | 2 | segs | $3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | net | unit_byte |
drivers/infiniband/sw/rxe/rxe_net.c prepare_ipv4_hdr() -> __ip_select_ident()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | iph | 4096-ptr_max |
| PARAM_VALUE | 1 | iph->frag_off | 16384 |
| PARAM_VALUE | 1 | iph->ihl | 5 |
| PARAM_VALUE | 1 | iph->protocol | 17 |
| PARAM_VALUE | 1 | iph->version | 4 |
| PARAM_VALUE | 2 | segs | 1-u16max |
| DATA_SOURCE | 1 | iph | r ip_hdr |
| FUZZY_MAX | 2 | segs | 1 |
| BIT_INFO | 2 | segs | 0x0,0xffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | segs | unit_byte |
net/xfrm/xfrm_output.c ip_select_ident_segs() -> __ip_select_ident()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | iph | 4096-ptr_max |
| PARAM_VALUE | 1 | iph->frag_off | 16384-u16max |
| PARAM_VALUE | 2 | segs | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | iph | r ip_hdr |
| DATA_SOURCE | 2 | segs | $3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | rcu_read |
net/netfilter/nf_flow_table_ip.c nf_flow_tunnel_ipip_push() -> __ip_select_ident()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | iph | 4096-ptr_max |
| PARAM_VALUE | 1 | iph->ihl | 5 |
| PARAM_VALUE | 1 | iph->version | 4 |
| PARAM_VALUE | 2 | segs | 1-u16max |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | iph | r ip_hdr |
| FUZZY_MAX | 2 | segs | 1 |
| BIT_INFO | 2 | segs | 0x0,0xffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | iph->tot_len | |
| UNITS | 0 | net | unit_byte |
| UNITS | 2 | segs | unit_byte |
| HALF_LOCKED2 | rcu_read |
net/ipv4/ipmr.c ip_select_ident_segs() -> __ip_select_ident()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | net | 4096-ptr_max |
| PARAM_VALUE | 0 | net->ipv4.fib_default->tb_data->stats->gets | 0-4294967295 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->kv->bits | 1-255 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->kv->pos | 0-254 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->kv->slen | 1-255 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->stats->backtrack | 0-4294967295 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->stats->gets | 0-4294967295 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->stats->null_node_hit | 0-4294967295 |
| PARAM_VALUE | 0 | net->ipv4.fib_main->tb_data->stats->semantic_match_miss | 0-4294967295 |
| PARAM_VALUE | 0 | net->ipv4.fqdir->f->frag_expire | 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560 |
| PARAM_VALUE | 0 | net->ipv4.fqdir->f->qsize | 0,304,320 |
| PARAM_VALUE | 0 | net->loopback_dev->refcnt_tracker.list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | net->loopback_dev->refcnt_tracker.list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | net->user_ns | 4096-ptr_max |
| PARAM_VALUE | 1 | iph | 4096-ptr_max |
| PARAM_VALUE | 1 | iph->frag_off | 16384-u16max |
| PARAM_VALUE | 2 | segs | 1 |
| BUF_SIZE | 0 | net | (-1),1-s32max |
| BUF_SIZE | 0 | net | (-1),1-s32max |
| CAPPED_DATA | 0 | net->user_ns->uid_map.nr_extents | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | iph | r ip_hdr |
| DATA_SOURCE | 2 | segs | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | net | unit_byte |
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | 0 | &net->ipv4.mfc_mutex | |
| HALF_LOCKED2 | 0 | &net->ipv6.mfc_mutex |
net/ipv4/ip_output.c ip_build_and_send_pkt() -> __ip_select_ident()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | iph | 4096-ptr_max |
| PARAM_VALUE | 1 | iph->frag_off | 0 |
| PARAM_VALUE | 1 | iph->ihl | 5 |
| PARAM_VALUE | 1 | iph->version | 4 |
| PARAM_VALUE | 2 | segs | 1 |
| DATA_SOURCE | 1 | iph | r ip_hdr |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | net | unit_byte |
| HALF_LOCKED2 | &net->xfrm.xfrm_state_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
net/ipv4/ip_output.c ip_select_ident_segs() -> __ip_select_ident()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | iph | 4096-ptr_max |
| PARAM_VALUE | 1 | iph->frag_off | 16384-u16max |
| PARAM_VALUE | 2 | segs | 1-u16max |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | iph | r ip_hdr |
| DATA_SOURCE | 2 | segs | $3 |
| FUZZY_MAX | 2 | segs | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | net | unit_byte |
| UNITS | 2 | segs | unit_byte |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | rcu_read | ||
| HALF_LOCKED2 | sk |