Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/ipv4/ping.c ping_v4_sendmsg() -> ip_sendmsg_scope()

Type Parameter Key Value
PARAM_VALUE 0 inet 4096-ptr_max
PARAM_VALUE 1 ipc 8093818204654346240
PARAM_VALUE 1 ipc->opt 0,4096-ptr_max
PARAM_VALUE 2 msg 4096-ptr_max
BUF_SIZE 2 msg->msg_control (-1)-0,16,24,36-s32max
BUF_SIZE 2 msg->msg_name (-1)-0,12,28,128
BUF_SIZE 2 msg->msg_ubuf (-1),16
DATA_SOURCE 2 msg $1
NOSPEC 2 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 ipc->oif s32min-(-1),1-s32max[u]
USER_DATA 1 ipc->protocol 1-255
USER_DATA 1 ipc->sockc.priority 0-u32max
USER_DATA 1 ipc->sockc.transmit_time 0-9223372036854775807
USER_DATA 1 ipc->tos 0-255
USER_DATA 1 ipc->ttl 1-255
USER_DATA 2 msg->msg_controllen 0-s32max[c]
USER_DATA 2 msg->msg_flags 0-u32max[c]
USER_DATA 2 msg->msg_iter.count 1-18446744073709551614
USER_DATA 2 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 2 msg->msg_namelen 0-128
USER_DATA 2 *msg->msg_name s64min-s64max
USER_PTR 2 msg->msg_control
USER_PTR 2 msg->msg_name
HALF_LOCKED2 &vq->mutex

net/ipv4/raw.c raw_sendmsg() -> ip_sendmsg_scope()

Type Parameter Key Value
PARAM_VALUE 0 inet 4096-ptr_max
PARAM_VALUE 1 ipc 1423554224653365248
PARAM_VALUE 1 ipc->opt 0,4096-ptr_max
PARAM_VALUE 2 msg 4096-ptr_max
BUF_SIZE 2 msg->msg_control (-1)-0,16,24,36-s32max
BUF_SIZE 2 msg->msg_name (-1)-0,12,28,128
BUF_SIZE 2 msg->msg_ubuf (-1),16
DATA_SOURCE 2 msg $1
BIT_INFO 2 msg->msg_flags 0x0,0xfffffffe
NOSPEC 2 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 ipc->addr 0-u32max[u]
USER_DATA 1 ipc->oif s32min-(-1),1-s32max[u]
USER_DATA 1 ipc->protocol 1-255
USER_DATA 1 ipc->sockc.priority 0-u32max
USER_DATA 1 ipc->sockc.transmit_time 0-9223372036854775807
USER_DATA 1 ipc->tos 0-255
USER_DATA 1 ipc->ttl 1-255
USER_DATA 2 msg->msg_controllen 0-s32max[c]
USER_DATA 2 msg->msg_flags 0-u32max[c]
USER_DATA 2 msg->msg_iter.count 1-18446744073709551614
USER_DATA 2 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 2 msg->msg_namelen 0,16-128
USER_DATA 2 *msg->msg_name s64min-s64max
USER_PTR 2 msg->msg_control
USER_PTR 2 msg->msg_name
HALF_LOCKED2 &vq->mutex

net/ipv4/udp.c udp_sendmsg() -> ip_sendmsg_scope()

Type Parameter Key Value
PARAM_VALUE 0 inet 4096-ptr_max
PARAM_VALUE 1 ipc 220240098717503488
PARAM_VALUE 1 ipc->opt 0,4096-ptr_max
PARAM_VALUE 2 msg 4096-ptr_max
BUF_SIZE 2 msg->msg_control (-1)-0,16,24,36-s32max
BUF_SIZE 2 msg->msg_name (-1)-0,12,16,28,128
BUF_SIZE 2 msg->msg_ubuf (-1),16
DATA_SOURCE 2 msg $1
BIT_INFO 2 msg->msg_flags 0x0,0xfffffffe
NOSPEC 2 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 ipc->gso_size 0-u16max
USER_DATA 1 ipc->oif s32min-(-1),1-s32max[u]
USER_DATA 1 ipc->protocol 1-255
USER_DATA 1 ipc->sockc.priority 0-u32max
USER_DATA 1 ipc->sockc.transmit_time 0-9223372036854775807
USER_DATA 1 ipc->tos 0-255
USER_DATA 1 ipc->ttl 1-255
USER_DATA 2 msg->msg_controllen 0-s32max[c]
USER_DATA 2 msg->msg_flags 0-u32max[c]
USER_DATA 2 msg->msg_iter.count 1-18446744073709551614
USER_DATA 2 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 2 msg->msg_namelen 0-128
USER_DATA 2 *msg->msg_name s64min-s64max
USER_PTR 2 msg->msg_control
USER_PTR 2 msg->msg_name