Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/phonet/socket.c pn_socket_connect() -> (struct proto)->connect()

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_common.skc_state 7
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 1 uaddr 4096-ptr_max
PARAM_VALUE 1 uaddr->spn_family 35
PARAM_VALUE 2 addr_len s32min-(-1),16-s32max
BUF_SIZE 1 uaddr (-1),1-s32max
BUF_SIZE 1 uaddr (-1),1-s32max
DATA_SOURCE 1 uaddr $1
DATA_SOURCE 2 addr_len $2
CONTAINER 0 -16-40-0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 addr_len 16-128
LOCK2 0 sk

net/mptcp/protocol.c mptcp_connect() -> (struct proto)->connect()

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_common.skc_state 7
BUF_SIZE 1 uaddr (-1)-s32max
BUF_SIZE 1 uaddr (-1)-s32max
DATA_SOURCE 0 sk r __mptcp_nmpc_sk
DATA_SOURCE 1 uaddr $1
DATA_SOURCE 2 addr_len $2
STR_LEN 1 uaddr->sun_path (-1),107
CONTAINER 0 -16-40-0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 uaddr->sa_family 1-u16max[u]
USER_DATA 2 addr_len s32min-s32max
USER_PTR 1 uaddr
HALF_LOCKED2 sk
HALF_LOCKED2 0 sk

net/ipv4/af_inet.c __inet_stream_connect() -> (struct proto)->connect()

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_common.skc_state 7
PARAM_VALUE 1 uaddr 0,4096-ptr_max
PARAM_VALUE 1 uaddr->sa_family 1-u16max
BUF_SIZE 1 uaddr (-1)-s32max
BUF_SIZE 1 uaddr (-1)-s32max
DATA_SOURCE 1 uaddr $1
DATA_SOURCE 2 addr_len $2
CONTAINER 0 -16-40-0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 uaddr->sa_family 1-u16max[u]
USER_DATA 2 addr_len s32min-s32max
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
USER_PTR 1 uaddr
HALF_LOCKED2 sk
HALF_LOCKED2 sock->sk

net/ipv4/af_inet.c inet_dgram_connect() -> (struct proto)->connect()

Type Parameter Key Value
PARAM_VALUE 1 uaddr 4096-ptr_max
PARAM_VALUE 1 uaddr->sa_family 1-u16max
PARAM_VALUE 2 addr_len s32min-(-1),2-s32max
BUF_SIZE 1 uaddr (-1),1-s32max
BUF_SIZE 1 uaddr (-1),1-s32max
DATA_SOURCE 1 uaddr $1
DATA_SOURCE 2 addr_len $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 addr_len 2-128

net/ieee802154/socket.c ieee802154_sock_connect() -> (struct proto)->connect()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_prot 4096-ptr_max
PARAM_VALUE 1 uaddr 4096-ptr_max
PARAM_VALUE 1 uaddr->sa_family 1-u16max
PARAM_VALUE 2 addr_len s32min-(-1),2-s32max
BUF_SIZE 1 uaddr (-1),1-s32max
BUF_SIZE 1 uaddr (-1),1-s32max
DATA_SOURCE 1 uaddr $1
DATA_SOURCE 2 addr_len $2
CONTAINER 0 -16-40-0+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 addr_len 2-128