Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ipv4/icmp.c __icmp_send() -> icmp_push_reply()

Type Parameter Key Value
PARAM_VALUE 1 icmp_param 9159443850083201024
PARAM_VALUE 1 icmp_param->data.icmph.checksum 0
PARAM_VALUE 1 icmp_param->data.icmph.type 3-5,11-12
PARAM_VALUE 1 icmp_param->data_len s32min-548
PARAM_VALUE 1 icmp_param->head_len 8
PARAM_VALUE 1 icmp_param->replyopts.opt.__pad2 0
PARAM_VALUE 1 icmp_param->replyopts.opt.cipso 0
PARAM_VALUE 1 icmp_param->replyopts.opt.faddr 0-255
PARAM_VALUE 1 icmp_param->replyopts.opt.is_changed 0
PARAM_VALUE 1 icmp_param->replyopts.opt.nexthop 0
PARAM_VALUE 1 icmp_param->replyopts.opt.optlen 0
PARAM_VALUE 1 icmp_param->replyopts.opt.router_alert 0
PARAM_VALUE 1 icmp_param->replyopts.opt.rr 0,20
PARAM_VALUE 1 icmp_param->replyopts.opt.rr_needaddr 0
PARAM_VALUE 1 icmp_param->replyopts.opt.srr 0
PARAM_VALUE 1 icmp_param->replyopts.opt.srr_is_hit 0
PARAM_VALUE 1 icmp_param->replyopts.opt.ts 0
PARAM_VALUE 1 icmp_param->replyopts.opt.ts_needaddr 0
PARAM_VALUE 1 icmp_param->replyopts.opt.ts_needtime 0
PARAM_VALUE 1 icmp_param->skb 4096-ptr_max
PARAM_VALUE 2 fl4 8544932557906923520
PARAM_VALUE 2 fl4->__fl_common.flowic_dscp 0,4-252
PARAM_VALUE 2 fl4->__fl_common.flowic_flags 0
PARAM_VALUE 2 fl4->__fl_common.flowic_iif 1
PARAM_VALUE 2 fl4->__fl_common.flowic_proto 1
PARAM_VALUE 2 fl4->saddr 3221225480
PARAM_VALUE 2 fl4->uli.icmpt.type 3-5,11-12
PARAM_VALUE 3 ipc 2914221854001922048
PARAM_VALUE 3 ipc->opt 9159443850083201064
PARAM_VALUE 3 ipc->tos 0-255
PARAM_VALUE 4 rt 565913239504048128
PARAM_VALUE 4 *rt 4096-ptr_max
BUF_SIZE 0 sk 0
BUF_SIZE 1 icmp_param 112
BUF_SIZE 1 icmp_param 112
BUF_SIZE 1 icmp_param->skb (-1)-s32max
CAPPED_DATA 1 icmp_param->data_len 1
DATA_SOURCE 0 sk r icmp_xmit_lock
BIT_INFO 0 sk 0x0,0x0
MEM_ZERO 1 &icmp_param->replyopts.opt
MEM_ZERO 2 fl4
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 icmp_param->skb->csum 0-4294967040[c]
HOST_DATA 1 icmp_param->skb->csum_offset 0-u16max
HOST_DATA 1 icmp_param->skb->data_len 0-u32max[c]
HOST_DATA 1 icmp_param->skb->inner_protocol 1-255
HOST_DATA 1 icmp_param->skb->len 0-u32max[c]
HOST_DATA 1 icmp_param->skb->protocol 1-255
HOST_DATA 1 icmp_param->skb->truesize 0-u32max
HOST_DATA 1 icmp_param->skb->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 icmp_param->skb->users.refs.counter s32min-0,2-s32max
USER_DATA 1 icmp_param->data.icmph.un.gateway 0-65515,4294967189-u32max
NO_OVERFLOW_SIMPLE 1 icmp_param->skb->data_len
NO_OVERFLOW_SIMPLE 1 icmp_param->skb->end
NO_OVERFLOW_SIMPLE 1 icmp_param->skb->len
NO_OVERFLOW_SIMPLE 1 icmp_param->skb->tail
NO_OVERFLOW_SIMPLE 1 icmp_param->skb->truesize
USER_PTR 1 icmp_param->skb->data
LOCK2 bh
HALF_LOCKED2 &x->lock
HALF_LOCKED2 rcu_read

net/ipv4/icmp.c icmp_reply() -> icmp_push_reply()

Type Parameter Key Value
PARAM_VALUE 1 icmp_param 492589751759552512,4857504166837624832
PARAM_VALUE 1 icmp_param->data.icmph.checksum 0
PARAM_VALUE 1 icmp_param->data.icmph.type 0,14,43,161
PARAM_VALUE 1 icmp_param->head_len 8,20
PARAM_VALUE 1 icmp_param->offset 0
PARAM_VALUE 1 icmp_param->replyopts.opt->__data 0-255
PARAM_VALUE 1 icmp_param->replyopts.opt.__pad2 0
PARAM_VALUE 1 icmp_param->replyopts.opt.cipso 0
PARAM_VALUE 1 icmp_param->replyopts.opt.faddr 0-255
PARAM_VALUE 1 icmp_param->replyopts.opt.is_changed 0
PARAM_VALUE 1 icmp_param->replyopts.opt.nexthop 0
PARAM_VALUE 1 icmp_param->replyopts.opt.optlen 0
PARAM_VALUE 1 icmp_param->replyopts.opt.router_alert 0
PARAM_VALUE 1 icmp_param->replyopts.opt.rr 0,20
PARAM_VALUE 1 icmp_param->replyopts.opt.rr_needaddr 0
PARAM_VALUE 1 icmp_param->replyopts.opt.srr 0
PARAM_VALUE 1 icmp_param->replyopts.opt.srr_is_hit 0
PARAM_VALUE 1 icmp_param->replyopts.opt.ts 0
PARAM_VALUE 1 icmp_param->replyopts.opt.ts_needaddr 0
PARAM_VALUE 1 icmp_param->replyopts.opt.ts_needtime 0
PARAM_VALUE 1 icmp_param->skb 4096-ptr_max
PARAM_VALUE 1 icmp_param->skb->csum_valid 1
PARAM_VALUE 1 icmp_param->skb->data 4096-ptr_max
PARAM_VALUE 1 icmp_param->skb->dev 4096-ptr_max
PARAM_VALUE 1 icmp_param->skb->extensions 0
PARAM_VALUE 1 icmp_param->skb->ip_summed 0,2-3
PARAM_VALUE 2 fl4 1310788033161670656
PARAM_VALUE 2 fl4->__fl_common.flowic_dscp 0,4-252
PARAM_VALUE 2 fl4->__fl_common.flowic_iif 1
PARAM_VALUE 2 fl4->__fl_common.flowic_proto 1
PARAM_VALUE 3 ipc 1339647610310860800
PARAM_VALUE 3 ipc->tos 0-255
PARAM_VALUE 4 rt 3782095270402965504
PARAM_VALUE 4 *rt 0-ptr_max
BUF_SIZE 0 sk 0
BUF_SIZE 1 icmp_param 112
BUF_SIZE 1 icmp_param 112
BUF_SIZE 1 icmp_param->skb (-1)-s32max
DATA_SOURCE 0 sk r icmp_xmit_lock
DATA_SOURCE 1 icmp_param $0
BIT_INFO 0 sk 0x0,0x0
HARD_MAX 1 icmp_param->head_len 20
MEM_ZERO 1 &icmp_param->replyopts.opt
MEM_ZERO 2 fl4
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 icmp_param->skb->csum 0-192512[c]
HOST_DATA 1 icmp_param->skb->csum_offset 0-u16max
HOST_DATA 1 icmp_param->skb->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 icmp_param->skb->users.refs.counter s32min-0,2-s32max
NO_OVERFLOW_SIMPLE 1 icmp_param->data_len
NO_OVERFLOW_SIMPLE 1 icmp_param->skb->data_len
NO_OVERFLOW_SIMPLE 1 icmp_param->skb->end
NO_OVERFLOW_SIMPLE 1 icmp_param->skb->len
NO_OVERFLOW_SIMPLE 1 icmp_param->skb->tail
NO_OVERFLOW_SIMPLE 1 icmp_param->skb->truesize
USER_PTR 1 icmp_param->skb->data
LOCK2 bh
HALF_LOCKED2 rcu_read