Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/sctp/socket.c sctp_do_bind() -> sctp_bind_addr_match()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 addr 4096-ptr_max
PARAM_VALUE 1 addr->sa.sa_family 2,10
PARAM_VALUE 2 opt 4096-ptr_max
PARAM_VALUE 2 opt->pf 4096-ptr_max
PARAM_VALUE 2 opt->pf->af 4096-ptr_max
BUF_SIZE 0 bp 24
BUF_SIZE 1 addr (-1)-s32max
BUF_SIZE 1 addr (-1)-s32max
CAPPED_DATA 0 bp->port 1
CAPPED_DATA 2 opt->inet.sk.__sk_common.skc_net.net 1
DATA_SOURCE 1 addr $1
NOSPEC 1 addr->v6.sin6_scope_id
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 addr->sa.sa_family 2,10[u]
USER_DATA 1 addr->v4.sin_addr.s_addr 0-u32max[u]
USER_DATA 1 addr->v4.sin_family 0-u16max[u]
USER_DATA 1 addr->v4.sin_port 0-u16max[u]
USER_DATA 1 addr->v6.sin6_family 0-u16max[u]
USER_DATA 1 addr->v6.sin6_flowinfo 0-u32max[u]
USER_DATA 1 addr->v6.sin6_port 0-u16max[u]
USER_DATA 1 addr->v6.sin6_scope_id 0-u32max[u]
USER_PTR 1 addr
HALF_LOCKED2 sk

net/sctp/input.c sctp_addrs_lookup_transport() -> sctp_bind_addr_match()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 addr 4096-ptr_max
DATA_SOURCE 1 addr $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 addr->v4.sin_port 0-u16max
USER_DATA 1 addr->v6.sin6_port 0-u16max
HALF_LOCKED2 rcu_read

net/sctp/endpointola.c sctp_endpoint_is_match() -> sctp_bind_addr_match()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 addr 1100214965380026368
PARAM_VALUE 1 addr->v4.sin_addr.s_addr 1-4294967294
CAPPED_DATA 1 addr->v4.sin_port 1
DATA_SOURCE 1 addr $2
RX_PATH
TASK_NOT_RUNNING
LOCK2 &head->lock
TYPE_LOCK (struct sctp_hashbucket)->lock

net/sctp/associola.c sctp_assoc_lookup_laddr() -> sctp_bind_addr_match()

Type Parameter Key Value
PARAM_VALUE 0 bp 4096-ptr_max
PARAM_VALUE 1 addr 4096-ptr_max
BUF_SIZE 1 addr (-1)-135168
BUF_SIZE 1 addr (-1)-135168
CAPPED_DATA 1 addr->v4.sin_port 1
DATA_SOURCE 1 addr $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 addr->sa.sa_family 0-u16max[u]
USER_DATA 1 addr->v4.sin_addr.s_addr 0-u32max[u]
USER_DATA 1 addr->v4.sin_family 2,10[u]
USER_DATA 1 addr->v6.sin6_family 0-u16max[u]
USER_DATA 1 addr->v6.sin6_flowinfo 0-u32max[u]
USER_DATA 1 addr->v6.sin6_port 0-u16max[u]
USER_DATA 1 addr->v6.sin6_scope_id 0-u32max[u]
USER_PTR 1 addr
HALF_LOCKED2 sk