Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
-
net/sctp/sm_statefuns.c
- line 256
- line 545
- line 737
- line 960
- line 1199
- line 1275
- line 2249
- line 2524
- line 2915
- line 3003
- line 3051
- line 3138
- line 3192
- line 3253
- line 3373
- line 3463
- line 3628
- line 3667
- line 3757
- line 3763
- line 3900
- line 3935
- line 4078
- line 4190
- line 4270
- line 4337
- line 4502
- line 4526
- line 4596
- line 4672
- line 4739
- line 5760
Smatch caller information:
net/sctp/sm_statefuns.c __sctp_sf_do_9_2_reshutack() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | ep->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | ep->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | ep->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | ep->base.inqueue.in_progress->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | ep->base.inqueue.in_progress->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | ep->base.inqueue.in_progress->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | asoc | 0,4096-ptr_max |
| PARAM_VALUE | 2 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 2 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | asoc->addip_last_asconf->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | asoc->addip_last_asconf->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 2 | asoc->addip_last_asconf->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 2 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 2 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | asoc->base.sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | asoc->base.sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 2 | asoc->base.sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 2 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 2 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | asoc->strreset_chunk->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | asoc->strreset_chunk->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 2 | asoc->strreset_chunk->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->last_used_slot->obj.error | (-108),(-22),92,103-104,110-111 |
| PARAM_VALUE | 5 | commands->last_used_slot->obj.i32 | 0-1 |
| PARAM_VALUE | 5 | commands->last_used_slot->obj.state | 0-7 |
| PARAM_VALUE | 5 | commands->last_used_slot->obj.to | 1-3,5-6,10-11 |
| PARAM_VALUE | 5 | commands->last_used_slot->obj.u8 | 0 |
| PARAM_VALUE | 5 | commands->last_used_slot->obj.zero_all | 0 |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->data_len | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->end | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->len | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->tail | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->truesize | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_backbeat_8_3() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_beat_8_3() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_cookie_echoed_err() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_discard_chunk() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 0,4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->data_len | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->end | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->len | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->tail | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->truesize | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_do_4_C() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->c.peer_vtag | 1-u32max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.peer_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 1-u32max[c] |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_do_5_1C_ack() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_do_5_1D_ce() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | net | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc | 0,4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_do_5_1E_ca() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_do_5_2_4_dupcook() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 0,4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 [m] |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_do_8_5_1_E_sa() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 0,4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 [m] |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_do_9_2_final() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_do_9_2_shut_ctsn() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_do_9_2_shutdown() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_do_9_2_shutdown_ack() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->last_used_slot->obj.error | (-108),(-22),92,103-104,110-111 |
| PARAM_VALUE | 5 | commands->last_used_slot->obj.i32 | 0-1 |
| PARAM_VALUE | 5 | commands->last_used_slot->obj.state | 0-7 |
| PARAM_VALUE | 5 | commands->last_used_slot->obj.to | 1-3,5-6,10-11 |
| PARAM_VALUE | 5 | commands->last_used_slot->obj.u8 | 0 |
| PARAM_VALUE | 5 | commands->last_used_slot->obj.zero_all | 0 |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->data_len | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->end | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->len | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->tail | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->truesize | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_do_asconf() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_do_asconf_ack() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_do_ecn_cwr() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_do_ecne() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_do_reconf() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_eat_auth() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->peer.auth_capable | 1 |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_eat_auth() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->peer.auth_capable | 1 |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_eat_data_6_2() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->stream.si | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_eat_data_fast_4_4() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->stream.si | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_eat_fwd_tsn() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->peer.prsctp_capable | 1 |
| PARAM_VALUE | 2 | asoc->stream.si | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_eat_fwd_tsn_fast() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->peer.prsctp_capable | 1 |
| PARAM_VALUE | 2 | asoc->stream.si | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_eat_sack_6_2() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_ootb() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | net | 4096-ptr_max |
| PARAM_VALUE | 0 | net->sctp.sctp_statistics | 4096-ptr_max |
| PARAM_VALUE | 0 | net->sctp.sctp_statistics->mibs | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc | 0,4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 [m] |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->data_len | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->end | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->len | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->tail | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->truesize | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_ootb() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | net | 4096-ptr_max |
| PARAM_VALUE | 0 | net->sctp.sctp_statistics | 4096-ptr_max |
| PARAM_VALUE | 0 | net->sctp.sctp_statistics->mibs | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc | 0,4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 [m] |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->data_len | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->end | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->len | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->tail | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->truesize | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_operr_notify() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_unk_chunk() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->data_len | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->end | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->len | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->tail | |
| NO_OVERFLOW_SIMPLE | 4 | arg->skb->truesize | |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_violation() -> sctp_sf_violation_chunklen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | asoc | 4096-ptr_max |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 2 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 4 | arg | 4096-ptr_max |
| PARAM_VALUE | 5 | commands | 1603200764446941184 |
| PARAM_VALUE | 5 | commands->last_used_slot | 4096-ptr_max |
| PARAM_VALUE | 5 | commands->next_cmd | 4096-ptr_max |
| BUF_SIZE | 4 | arg | (-1),40 |
| BUF_SIZE | 4 | arg | (-1),40 |
| CAPPED_DATA | 2 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 0 | net | $0 |
| DATA_SOURCE | 1 | ep | $1 |
| DATA_SOURCE | 2 | asoc | $2 |
| DATA_SOURCE | 3 | type | $3 |
| DATA_SOURCE | 4 | arg | $4 |
| DATA_SOURCE | 5 | commands | $5 |
| NOSPEC | 2 | asoc->c.raw_addr_list_len | |
| NOSPEC | 2 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 2 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.padding | 0-255[u] |
| USER_DATA | 2 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 2 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 2 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 2 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 2 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 2 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 2 | asoc->force_delay | 0-1 |
| USER_DATA | 2 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 2 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 2 | asoc->peer.port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 2 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 2 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 2 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |