Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/sctp/sm_make_chunk.c sctp_make_abort_no_data() -> sctp_make_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk | 4096-ptr_max |
| PARAM_VALUE | 0 | asoc->base.sk->__sk_common.skc_prot | 4096-ptr_max |
| PARAM_VALUE | 0 | asoc->base.sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 0 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 0 | asoc->stream.si | 4096-ptr_max |
| PARAM_VALUE | 0 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | chunk | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr->length | 16-u16max |
| PARAM_VALUE | 1 | chunk->pdiscard | 0 |
| PARAM_VALUE | 1 | chunk->sctp_hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->skb | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->skb->data | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->subh.data_hdr | 4096-ptr_max |
| PARAM_VALUE | 2 | hint | 8 |
| BUF_SIZE | 1 | chunk | (-1),40 |
| BUF_SIZE | 1 | chunk | (-1),40 |
| BUF_SIZE | 1 | chunk->subh.data_hdr | 1-s32max |
| CAPPED_DATA | 0 | asoc->c.my_vtag | 1 |
| CAPPED_DATA | 0 | asoc->peer.tsn_map.len | 1 |
| CAPPED_DATA | 0 | asoc->rwnd | 1 |
| CAPPED_DATA | 1 | chunk->sctp_hdr->vtag | 1 |
| DATA_SOURCE | 0 | asoc | $0 |
| DATA_SOURCE | 1 | chunk | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| USER_DATA | 1 | chunk->subh.data_hdr->ppid | 0-u32max[u] |
| USER_DATA | 1 | chunk->subh.data_hdr->ssn | 0-u16max[u] |
| USER_DATA | 1 | chunk->subh.data_hdr->stream | 0-u16max[u] |
| USER_DATA | 1 | chunk->subh.data_hdr->tsn | 0-u32max[u] |
| UNITS | 2 | hint | unit_byte |
| USER_PTR | 1 | chunk->subh.data_hdr | |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_make_chunk.c sctp_make_abort_user() -> sctp_make_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| PARAM_VALUE | 0 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 1 | chunk | 0 |
| CAPPED_DATA | 2 | hint | 1 |
| DATA_SOURCE | 0 | asoc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | hint | unit_byte |
| LOCK2 | sk |
net/sctp/sm_make_chunk.c sctp_make_abort_violation() -> sctp_make_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 0 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 0 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | chunk | 4096-ptr_max |
| PARAM_VALUE | 2 | hint | 8-65543 |
| BUF_SIZE | 0 | asoc->strreset_chunk | (-1),1-s32max |
| BUF_SIZE | 1 | chunk | (-1)-s32max |
| BUF_SIZE | 1 | chunk | (-1)-s32max |
| DATA_SOURCE | 0 | asoc | $0 |
| DATA_SOURCE | 1 | chunk | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| NO_OVERFLOW_SIMPLE | 0 | asoc->ep->base.inqueue.in_progress->auth_chunk->extensions | |
| NO_OVERFLOW_SIMPLE | 0 | asoc->ep->base.inqueue.in_progress->skb->extensions | |
| UNITS | 2 | hint | unit_byte |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_make_chunk.c sctp_make_new_encap_port() -> sctp_make_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 0 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 0 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->transport->asoc->base.sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->transport->asoc->base.sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->transport->asoc->base.sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | chunk | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->sctp_hdr | 4096-ptr_max |
| PARAM_VALUE | 2 | hint | 8 |
| BUF_SIZE | 1 | chunk | (-1),40 |
| BUF_SIZE | 1 | chunk | (-1),40 |
| DATA_SOURCE | 0 | asoc | $0 |
| DATA_SOURCE | 1 | chunk | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| UNITS | 2 | hint | unit_byte |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_make_chunk.c sctp_make_violation_max_retrans() -> sctp_make_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| PARAM_VALUE | 0 | asoc->stream.si | 4096-ptr_max |
| PARAM_VALUE | 2 | hint | 47 |
| CAPPED_DATA | 0 | asoc->max_retrans | 1 |
| DATA_SOURCE | 0 | asoc | $0 |
| DATA_SOURCE | 1 | chunk | $1 |
| UNITS | 2 | hint | unit_byte |
net/sctp/sm_make_chunk.c sctp_make_violation_paramlen() -> sctp_make_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 0 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 0 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | chunk | 4096-ptr_max |
| PARAM_VALUE | 2 | hint | 52 |
| BUF_SIZE | 0 | asoc->strreset_chunk | (-1),1-s32max |
| BUF_SIZE | 1 | chunk | (-1)-s32max |
| BUF_SIZE | 1 | chunk | (-1)-s32max |
| BUF_SIZE | 1 | chunk->subh.cookie_hdr | (-1),1-s32max |
| BUF_SIZE | 1 | chunk->subh.init_hdr | (-1),1-s32max |
| DATA_SOURCE | 0 | asoc | $0 |
| DATA_SOURCE | 1 | chunk | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| USER_DATA | 1 | chunk->subh.cookie_hdr->__pad | 0-u32max[u] |
| USER_DATA | 1 | chunk->subh.init_hdr->a_rwnd | 0-u32max[u] |
| USER_DATA | 1 | chunk->subh.init_hdr->init_tag | 0-u32max[u] |
| USER_DATA | 1 | chunk->subh.init_hdr->initial_tsn | 0-u32max[u] |
| USER_DATA | 1 | chunk->subh.init_hdr->num_inbound_streams | 0-u16max[u] |
| USER_DATA | 1 | chunk->subh.init_hdr->num_outbound_streams | 0-u16max[u] |
| NO_OVERFLOW_SIMPLE | 0 | asoc->ep->base.inqueue.in_progress->auth_chunk->extensions | |
| NO_OVERFLOW_SIMPLE | 0 | asoc->ep->base.inqueue.in_progress->skb->extensions | |
| UNITS | 2 | hint | unit_byte |
| USER_PTR | 1 | chunk->subh.cookie_hdr | |
| USER_PTR | 1 | chunk->subh.init_hdr | |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_abort_pkt_new() -> sctp_make_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 0 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 0 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | chunk | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->sctp_hdr | 4096-ptr_max |
| PARAM_VALUE | 2 | hint | 0-65531,18446744073709551612-u64max |
| BUF_SIZE | 1 | chunk | (-1),40 |
| BUF_SIZE | 1 | chunk | (-1),40 |
| BUF_SIZE | 1 | chunk->subh.cookie_hdr | (-1),1-s32max |
| BUF_SIZE | 1 | chunk->subh.init_hdr | (-1),1-s32max |
| DATA_SOURCE | 0 | asoc | $2 |
| DATA_SOURCE | 1 | chunk | $3 |
| DATA_SOURCE | 2 | hint | $5 |
| NOSPEC | 0 | asoc->c.raw_addr_list_len | |
| NOSPEC | 0 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 0 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.padding | 0-255[u] |
| USER_DATA | 0 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 0 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 0 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 0 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| USER_DATA | 0 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 0 | asoc->peer.port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 0 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 0 | asoc->strreset_outseq | 0-u32max[u] |
| USER_DATA | 1 | chunk->subh.cookie_hdr->__pad | 0-u32max[u] |
| USER_DATA | 1 | chunk->subh.init_hdr->a_rwnd | 0-u32max[u] |
| USER_DATA | 1 | chunk->subh.init_hdr->init_tag | 0-u32max[u] |
| USER_DATA | 1 | chunk->subh.init_hdr->initial_tsn | 0-u32max[u] |
| USER_DATA | 1 | chunk->subh.init_hdr->num_inbound_streams | 0-u16max[u] |
| USER_DATA | 1 | chunk->subh.init_hdr->num_outbound_streams | 0-u16max[u] |
| USER_DATA | 2 | hint | 0-65531,18446744073709551612-u64max |
| UNITS | 2 | hint | unit_byte |
| USER_PTR | 1 | chunk->subh.cookie_hdr | |
| USER_PTR | 1 | chunk->subh.init_hdr | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_do_asconf_ack() -> sctp_make_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| PARAM_VALUE | 0 | asoc->addip_last_asconf | 0 |
| PARAM_VALUE | 0 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 0 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 0 | asoc->peer.asconf_capable | 1 |
| PARAM_VALUE | 1 | chunk | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr->length | 8-u16max |
| PARAM_VALUE | 1 | chunk->pdiscard | 0 |
| PARAM_VALUE | 1 | chunk->sctp_hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->skb | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->skb->data | 4096-ptr_max |
| PARAM_VALUE | 2 | hint | 4 |
| BUF_SIZE | 1 | chunk | (-1),40 |
| BUF_SIZE | 1 | chunk | (-1),40 |
| CAPPED_DATA | 0 | asoc->c.my_vtag | 1 |
| CAPPED_DATA | 1 | chunk->sctp_hdr->vtag | 1 |
| DATA_SOURCE | 0 | asoc | $2 |
| DATA_SOURCE | 1 | chunk | $4 |
| PARAM_COMPARE | 1 | chunk->sctp_hdr->vtag | == $0->c.my_vtag |
| NOSPEC | 0 | asoc->c.raw_addr_list_len | |
| NOSPEC | 0 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 0 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.padding | 0-255[u] |
| USER_DATA | 0 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 0 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 0 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 0 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| USER_DATA | 0 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 0 | asoc->peer.port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 0 | asoc->strreset_outseq | 0-u32max[u] |
| UNITS | 2 | hint | unit_byte |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_do_asconf_ack() -> sctp_make_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| PARAM_VALUE | 0 | asoc->addip_last_asconf | 0 |
| PARAM_VALUE | 0 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 0 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 0 | asoc->peer.asconf_capable | 1 |
| PARAM_VALUE | 1 | chunk | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr->length | 8-u16max |
| PARAM_VALUE | 1 | chunk->pdiscard | 0 |
| PARAM_VALUE | 1 | chunk->sctp_hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->skb | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->skb->data | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->skb->len | 0-3,5-u32max |
| PARAM_VALUE | 2 | hint | 4 |
| BUF_SIZE | 1 | chunk | (-1),40 |
| BUF_SIZE | 1 | chunk | (-1),40 |
| CAPPED_DATA | 0 | asoc->c.my_vtag | 1 |
| CAPPED_DATA | 1 | chunk->sctp_hdr->vtag | 1 |
| DATA_SOURCE | 0 | asoc | $2 |
| DATA_SOURCE | 1 | chunk | $4 |
| PARAM_COMPARE | 1 | chunk->sctp_hdr->vtag | == $0->c.my_vtag |
| NOSPEC | 0 | asoc->c.raw_addr_list_len | |
| NOSPEC | 0 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 0 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.padding | 0-255[u] |
| USER_DATA | 0 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 0 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 0 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 0 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| USER_DATA | 0 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 0 | asoc->peer.addip_disabled_mask | 0-u16max[u] |
| USER_DATA | 0 | asoc->peer.port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 0 | asoc->strreset_outseq | 0-u32max[u] |
| UNITS | 2 | hint | unit_byte |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_do_assoc_update() -> sctp_make_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk | 0 |
| PARAM_VALUE | 2 | hint | 4 |
| CAPPED_DATA | 0 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | asoc | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| USER_DATA | 0 | asoc->peer.active_path->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | asoc->peer.active_path->packet.destination_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.active_path->packet.source_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.port | 0-u16max |
| USER_DATA | 0 | asoc->peer.retran_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.retran_path->flowlabel | 1048576-2097151[c] |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | asoc->peer.retran_path->packet.destination_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.retran_path->packet.source_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| UNITS | 2 | hint | unit_byte |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_t5_timer_expire() -> sctp_make_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 0 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk | 0 |
| PARAM_VALUE | 2 | hint | 0 |
| DATA_SOURCE | 0 | asoc | $2 |
| NOSPEC | 0 | asoc->c.raw_addr_list_len | |
| NOSPEC | 0 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 0 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.padding | 0-255[u] |
| USER_DATA | 0 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 0 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 0 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 0 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| USER_DATA | 0 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 0 | asoc->peer.port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 0 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_tabort_8_4_8() -> sctp_make_abort()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | asoc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->addip_last_asconf->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 0 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 0 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | asoc->strreset_chunk->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | chunk | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->chunk_hdr | 4096-ptr_max |
| PARAM_VALUE | 1 | chunk->sctp_hdr | 4096-ptr_max |
| PARAM_VALUE | 2 | hint | 0 |
| BUF_SIZE | 1 | chunk | (-1),40 |
| BUF_SIZE | 1 | chunk | (-1),40 |
| DATA_SOURCE | 0 | asoc | $2 |
| DATA_SOURCE | 1 | chunk | $4 |
| NOSPEC | 0 | asoc->c.raw_addr_list_len | |
| NOSPEC | 0 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 0 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.padding | 0-255[u] |
| USER_DATA | 0 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 0 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 0 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 0 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 0 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 0 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 0 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 0 | asoc->force_delay | 0-1 |
| USER_DATA | 0 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 0 | asoc->peer.port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 0 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 0 | asoc->peer.primary_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 0 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 0 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 0 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |