Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sctp/protocol.c sctp_inet_bind_verify() -> sctp_v4_available()

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

net/sctp/ipv6.c sctp_inet6_bind_verify() -> (struct sctp_af)->available()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 0 addr->sa.sa_family 2,10
PARAM_VALUE 1 sp 4096-ptr_max
PARAM_VALUE 1 sp->pf 4096-ptr_max
PARAM_VALUE 1 sp->pf->af 587912892075335680,8726587749426151424
BUF_SIZE 0 addr (-1)-s32max
BUF_SIZE 0 addr (-1)-s32max
DATA_SOURCE 0 addr $1
DATA_SOURCE 1 sp $0
BIT_INFO 0 addr->sa.sa_family 0x2,0xa
NOSPEC 0 addr->v6.sin6_scope_id
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 addr->sa.sa_family 2[u]
USER_DATA 0 addr->v4.sin_addr.s_addr 0-u32max[u]
USER_DATA 0 addr->v4.sin_family 0-u16max[u]
USER_DATA 0 addr->v4.sin_port 0-u16max[u]
USER_DATA 0 addr->v6.sin6_family 0-u16max[u]
USER_DATA 0 addr->v6.sin6_flowinfo 0-u32max[u]
USER_DATA 0 addr->v6.sin6_port 0-u16max[u]
USER_DATA 0 addr->v6.sin6_scope_id 0-u32max
USER_PTR 0 addr
HALF_LOCKED2 sk

net/sctp/ipv6.c sctp_v6_available() -> (struct sctp_af)->available()

Type Parameter Key Value
PARAM_VALUE 0 addr 4096-ptr_max
PARAM_VALUE 0 addr->v4.sin_family 2
PARAM_VALUE 1 sp->pf 0,4096-ptr_max
PARAM_VALUE 1 sp->pf->af 587912892075335680,8726587749426151424
PARAM_VALUE 1 sp->pf->af->addr_copy 0
PARAM_VALUE 1 sp->pf->af->addr_valid 0,1049461656719396864,2634361615904526336
PARAM_VALUE 1 sp->pf->af->available 0,4486845952825462784,7896570396048986112
PARAM_VALUE 1 sp->pf->af->cmp_addr 0,2744516200629493760,6080816399166455808
PARAM_VALUE 1 sp->pf->af->copy_addrlist 0,5929288859480113152,6122831022588821504
PARAM_VALUE 1 sp->pf->af->ecn_capable 0,2007687399038648320,5716461925466333184
PARAM_VALUE 1 sp->pf->af->from_addr_param 0,1074232968766283776,7357023546614419456
PARAM_VALUE 1 sp->pf->af->from_sk 0,145215091281559552,1603479864407089152
PARAM_VALUE 1 sp->pf->af->from_skb 0,6391820346451517440,8800267427123847168
PARAM_VALUE 1 sp->pf->af->get_dst 0,2538802751232704512,5586316359860203520
PARAM_VALUE 1 sp->pf->af->get_saddr 0,7644526763334291456,8676249858935836672
PARAM_VALUE 1 sp->pf->af->getsockopt 0,6203174396492578816,7547991521223057408
PARAM_VALUE 1 sp->pf->af->inaddr_any 0,1602307593374597120,2063673534687870976
PARAM_VALUE 1 sp->pf->af->ip_options_len 0,3830885180048666624,6592428232605245440
PARAM_VALUE 1 sp->pf->af->is_any 0,1385551973853454336,7357993535332798464
PARAM_VALUE 1 sp->pf->af->is_ce 0,6218290816661786624,6468313467210936320
PARAM_VALUE 1 sp->pf->af->net_header_len 0,20,40
PARAM_VALUE 1 sp->pf->af->sa_family 0,2,10
PARAM_VALUE 1 sp->pf->af->scope 0,2183821173568856064,8920768246163939328
PARAM_VALUE 1 sp->pf->af->sctp_xmit 0,737357048715800576,5319742339208253440
PARAM_VALUE 1 sp->pf->af->seq_dump_addr 0,5264773133257428992,7597223234623938560
PARAM_VALUE 1 sp->pf->af->setsockopt 0,1519625436257320960,8283524736928710656
PARAM_VALUE 1 sp->pf->af->skb_iif 0,4826512332206796800,5414390353909833728
PARAM_VALUE 1 sp->pf->af->skb_sdif 0,5722984843064946688,7480139790576668672
PARAM_VALUE 1 sp->pf->af->sockaddr_len 0,16,28
PARAM_VALUE 1 sp->pf->af->to_addr_param 0,257897785769652224,8196742772264431616
BUF_SIZE 0 addr (-1)-s32max
BUF_SIZE 0 addr (-1)-s32max
DATA_SOURCE 0 addr $0
DATA_SOURCE 1 sp $1
NOSPEC 0 addr->v6.sin6_scope_id
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 addr->sa.sa_family 2[u]
USER_DATA 0 addr->v4.sin_port 0-u16max[u]
USER_DATA 0 addr->v6.sin6_family 0-u16max[u]
USER_DATA 0 addr->v6.sin6_flowinfo 0-u32max[u]
USER_DATA 0 addr->v6.sin6_port 0-u16max[u]
USER_DATA 0 addr->v6.sin6_scope_id 0-u32max
USER_PTR 0 addr