Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/sctp/sm_sideeffect.c sctp_cmd_process_init() -> sctp_source()

Type Parameter Key Value
DATA_SOURCE 0 chunk $2

net/sctp/sm_make_chunk.c sctp_make_temp_asoc() -> sctp_source()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk->subh.init_hdr 1-s32max
DATA_SOURCE 0 chunk $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 chunk->subh.init_hdr->a_rwnd 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->init_tag 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->initial_tsn 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->num_inbound_streams 0-u16max[u]
USER_DATA 0 chunk->subh.init_hdr->num_outbound_streams 0-u16max[u]
USER_PTR 0 chunk->subh.init_hdr
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_make_chunk.c sctp_process_asconf_param() -> sctp_source()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk (-1),40
CAPPED_DATA 0 chunk->sctp_hdr->vtag 1
DATA_SOURCE 0 chunk $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_make_chunk.c sctp_process_asconf_param() -> sctp_source()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk (-1),40
CAPPED_DATA 0 chunk->sctp_hdr->vtag 1
DATA_SOURCE 0 chunk $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_make_chunk.c sctp_process_asconf_param() -> sctp_source()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk (-1),40
CAPPED_DATA 0 chunk->sctp_hdr->vtag 1
DATA_SOURCE 0 chunk $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_make_chunk.c sctp_process_init() -> sctp_source()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk->subh.cookie_hdr (-1),1-s32max
BUF_SIZE 0 chunk->subh.init_hdr (-1),1-s32max
DATA_SOURCE 0 chunk $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 chunk->subh.cookie_hdr->__pad 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->a_rwnd 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->init_tag 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->initial_tsn 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->num_inbound_streams 0-u16max[u]
USER_DATA 0 chunk->subh.init_hdr->num_outbound_streams 0-u16max[u]
USER_PTR 0 chunk->subh.cookie_hdr
USER_PTR 0 chunk->subh.init_hdr

net/sctp/sm_make_chunk.c sctp_process_init() -> sctp_source()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk->subh.cookie_hdr (-1),1-s32max
BUF_SIZE 0 chunk->subh.init_hdr (-1),1-s32max
DATA_SOURCE 0 chunk $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 chunk->subh.cookie_hdr->__pad 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->a_rwnd 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->init_tag 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->initial_tsn 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->num_inbound_streams 0-u16max[u]
USER_DATA 0 chunk->subh.init_hdr->num_outbound_streams 0-u16max[u]
USER_PTR 0 chunk->subh.cookie_hdr
USER_PTR 0 chunk->subh.init_hdr

net/sctp/sm_make_chunk.c sctp_unpack_cookie() -> sctp_source()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk->subh.cookie_hdr 1-s32max
CAPPED_DATA 0 chunk->sctp_hdr->dest 1
CAPPED_DATA 0 chunk->sctp_hdr->source 1
CAPPED_DATA 0 chunk->sctp_hdr->vtag 1
DATA_SOURCE 0 chunk $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 chunk->subh.cookie_hdr->__pad 0-u32max[u]
USER_PTR 0 chunk->subh.cookie_hdr
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_ootb_pkt_new() -> sctp_source()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
BUF_SIZE 0 chunk (-1)-s32max
BUF_SIZE 0 chunk (-1)-s32max
BUF_SIZE 0 chunk->subh.cookie_hdr (-1),1-s32max
BUF_SIZE 0 chunk->subh.init_hdr (-1),1-s32max
DATA_SOURCE 0 chunk $2
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 chunk->subh.cookie_hdr->__pad 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->a_rwnd 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->init_tag 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->initial_tsn 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->num_inbound_streams 0-u16max[u]
USER_DATA 0 chunk->subh.init_hdr->num_outbound_streams 0-u16max[u]
NO_OVERFLOW_SIMPLE 0 chunk->skb->end
USER_PTR 0 chunk->subh.cookie_hdr
USER_PTR 0 chunk->subh.init_hdr
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_5_1B_init() -> sctp_source()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk->subh.init_hdr 1-s32max
DATA_SOURCE 0 chunk $4
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 chunk->subh.init_hdr->a_rwnd 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->init_tag 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->initial_tsn 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->num_inbound_streams 0-u16max[u]
USER_DATA 0 chunk->subh.init_hdr->num_outbound_streams 0-u16max[u]
USER_PTR 0 chunk->subh.init_hdr
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_5_1B_init() -> sctp_source()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk->subh.init_hdr 1-s32max
DATA_SOURCE 0 chunk $4
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 chunk->subh.init_hdr->a_rwnd 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->init_tag 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->initial_tsn 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->num_inbound_streams 0-u16max[u]
USER_DATA 0 chunk->subh.init_hdr->num_outbound_streams 0-u16max[u]
USER_PTR 0 chunk->subh.init_hdr
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_dupcook_a() -> sctp_source()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk->subh.cookie_hdr 1-s32max
CAPPED_DATA 0 chunk->sctp_hdr->dest 1
CAPPED_DATA 0 chunk->sctp_hdr->source 1
CAPPED_DATA 0 chunk->sctp_hdr->vtag 1
CAPPED_DATA 0 chunk->subh.cookie_hdr->c.my_port 1
CAPPED_DATA 0 chunk->subh.cookie_hdr->c.my_vtag 1
CAPPED_DATA 0 chunk->subh.cookie_hdr->c.peer_addr.v4.sin_port 1
CAPPED_DATA 0 chunk->subh.cookie_hdr->c.raw_addr_list_len 1
DATA_SOURCE 0 chunk $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 chunk->subh.cookie_hdr->__pad 0-u32max[u]
USER_PTR 0 chunk->subh.cookie_hdr
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_dupcook_b() -> sctp_source()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk->subh.cookie_hdr 1-s32max
CAPPED_DATA 0 chunk->sctp_hdr->dest 1
CAPPED_DATA 0 chunk->sctp_hdr->source 1
CAPPED_DATA 0 chunk->sctp_hdr->vtag 1
CAPPED_DATA 0 chunk->subh.cookie_hdr->c.my_port 1
CAPPED_DATA 0 chunk->subh.cookie_hdr->c.my_vtag 1
CAPPED_DATA 0 chunk->subh.cookie_hdr->c.peer_addr.v4.sin_port 1
CAPPED_DATA 0 chunk->subh.cookie_hdr->c.raw_addr_list_len 1
DATA_SOURCE 0 chunk $3
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 chunk->subh.cookie_hdr->__pad 0-u32max[u]
USER_PTR 0 chunk->subh.cookie_hdr
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_unexpected_init() -> sctp_source()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->transport 4096-ptr_max
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk->subh.init_hdr 1-s32max
CAPPED_DATA 0 chunk->transport->encap_port 1
DATA_SOURCE 0 chunk $4
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 chunk->subh.init_hdr->a_rwnd 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->init_tag 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->initial_tsn 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->num_inbound_streams 0-u16max[u]
USER_DATA 0 chunk->subh.init_hdr->num_outbound_streams 0-u16max[u]
USER_PTR 0 chunk->subh.init_hdr
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_unexpected_init() -> sctp_source()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->transport 4096-ptr_max
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk (-1),40
BUF_SIZE 0 chunk->subh.init_hdr 1-s32max
CAPPED_DATA 0 chunk->transport->encap_port 1
DATA_SOURCE 0 chunk $4
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 chunk->subh.init_hdr->a_rwnd 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->init_tag 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->initial_tsn 0-u32max[u]
USER_DATA 0 chunk->subh.init_hdr->num_inbound_streams 0-u16max[u]
USER_DATA 0 chunk->subh.init_hdr->num_outbound_streams 0-u16max[u]
USER_PTR 0 chunk->subh.init_hdr
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/endpointola.c sctp_endpoint_bh_rcv() -> sctp_source()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
DATA_SOURCE 0 chunk r sctp_inq_pop
USER_PTR 0 chunk->auth_chunk->data
HALF_LOCKED2 &pool->lock