Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sctp/socket.c sctp_sendmsg() -> sctp_sendmsg_new_asoc()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.owned 1
PARAM_VALUE 0 sk->sk_lock.slock.rlock.dep_map->name 0-255
PARAM_VALUE 0 sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 sk->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 2 cmsgs 5863205829093642240
PARAM_VALUE 2 cmsgs->addrs_msg 4096-ptr_max
PARAM_VALUE 3 daddr 1-ptr_max
PARAM_VALUE 3 daddr->sa.sa_family 2,10
PARAM_VALUE 3 daddr->v4.sin_addr.s_addr 1-4294967294
PARAM_VALUE 4 tp 371869787393806336
PARAM_VALUE 4 *tp 0
BUF_SIZE 3 daddr (-1)-0,12,28,128
BUF_SIZE 3 daddr (-1)-0,12,28,128
CAPPED_DATA 0 sk 1
DATA_SOURCE 0 sk $0
DATA_SOURCE 3 daddr r sctp_sendmsg_get_daddr
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 daddr->sa.sa_family 2,10
USER_DATA 3 daddr->v4.sin_addr.s_addr 1-4294967294
USER_DATA 3 daddr->v4.sin_family 0-u16max
USER_DATA 3 daddr->v4.sin_port 0-u16max
USER_DATA 3 daddr->v6.sin6_family 0-u16max
USER_DATA 3 daddr->v6.sin6_flowinfo 0-u32max
USER_DATA 3 daddr->v6.sin6_port 0-u16max
USER_DATA 3 daddr->v6.sin6_scope_id 0-u32max
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
UNITS 0 sk unit_byte
USER_PTR 3 daddr
LOCK2 0 sk
HALF_LOCKED2 &vq->mutex