Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- net/sctp/endpointola.c, line 388
- net/sctp/sm_make_chunk.c
- net/sctp/sm_sideeffect.c, line 712
- net/sctp/sm_statefuns.c
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 |