Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
net/sctp/sm_statefuns.c sctp_auth_chunk_verify() -> sctp_auth_recv_cid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | asoc | 4096-ptr_max |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 1 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 1 | asoc->outqueue.sched->dequeue | 4038417008399814656,4226222399964753920,6655190774967316480,8665237390103625728 |
| PARAM_VALUE | 1 | asoc->outqueue.sched->dequeue_done | 1807982924199383040,3156876484872548352,3372593028174364672,9158854385249738752 |
| PARAM_VALUE | 1 | asoc->outqueue.sched->enqueue | 2671639469245001728,6229596755538259968,6689935584130400256,8240962265936748544 |
| PARAM_VALUE | 1 | asoc->outqueue.sched->free_sid | 586196626866069504,2190553042971140096,6518328087334232064,6959756606677487616 |
| PARAM_VALUE | 1 | asoc->outqueue.sched->get | 1556208625275609088,2354324493855285248,3168642573887655936,3260818816899301376,7260443827905708032 |
| PARAM_VALUE | 1 | asoc->outqueue.sched->init | 2662583524079095808,3762032173587058688,7563697736999780352,9058018907907522560 |
| PARAM_VALUE | 1 | asoc->outqueue.sched->init_sid | 531006935798992896,5516633324243144704,6616183830673838080,7216798075140956160 |
| PARAM_VALUE | 1 | asoc->outqueue.sched->sched_all | 3060080010077085696,3200858702963396608,5296135041063636992,8493908269654249472 |
| PARAM_VALUE | 1 | asoc->outqueue.sched->set | 1544791478311620608,2233367098664521728,3259015772970213376,6054795723788525568,8730520473264320512 |
| PARAM_VALUE | 1 | asoc->outqueue.sched->unsched_all | 1181272021840441344,3562156887881297920,4950837965607002112,8300844112035074048 |
| PARAM_VALUE | 1 | asoc->stream.si->abort_pd | 4013874700188033024,7473634343065686016 |
| PARAM_VALUE | 1 | asoc->stream.si->assign_number | 2938229834975014912,4395241547658502144 |
| PARAM_VALUE | 1 | asoc->stream.si->data_chunk_len | 16,20 |
| PARAM_VALUE | 1 | asoc->stream.si->enqueue_event | 2153494495788359680,7329732674818818048 |
| PARAM_VALUE | 1 | asoc->stream.si->ftsn_chunk_len | 8 |
| PARAM_VALUE | 1 | asoc->stream.si->generate_ftsn | 1142965498112389120,8385514588456304640 |
| PARAM_VALUE | 1 | asoc->stream.si->handle_ftsn | 74869151756333056,5435815914550931456 |
| PARAM_VALUE | 1 | asoc->stream.si->make_datafrag | 6659804207675674624,7010030273759510528 |
| PARAM_VALUE | 1 | asoc->stream.si->renege_events | 5434029186302996480,8555912088225427456 |
| PARAM_VALUE | 1 | asoc->stream.si->report_ftsn | 891930293286313984,9067798030889078784 |
| PARAM_VALUE | 1 | asoc->stream.si->start_pd | 1272975562989445120,2428449025809031168 |
| PARAM_VALUE | 1 | asoc->stream.si->ulpevent_data | 7974919070111588352,8646894427506376704 |
| PARAM_VALUE | 1 | asoc->stream.si->validate_data | 148226341411205120,7579807691647606784 |
| PARAM_VALUE | 1 | asoc->stream.si->validate_ftsn | 1291880574891556864,5823089558653038592 |
| PARAM_VALUE | 1 | *asoc->c.auth_chunks | 0-255 |
| PARAM_VALUE | 1 | *asoc->c.auth_hmacs | 0-255 |
| BUF_SIZE | 1 | asoc | (-1),3016 |
| BUF_SIZE | 1 | asoc | (-1),3016 |
| CAPPED_DATA | 1 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 1 | asoc | $2 |
| NOSPEC | 1 | asoc->c.raw_addr_list_len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 1 | asoc->asoc_shared_key->len | 0-393210[c] |
| USER_DATA | 1 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 1 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 1 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 1 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 1 | asoc->c.padding | 0-255[u] |
| USER_DATA | 1 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 1 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 1 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 1 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 1 | asoc->c.sinit_max_instreams | 0-65534[c] |
| USER_DATA | 1 | asoc->c.sinit_num_ostreams | 0-65534[c] |
| USER_DATA | 1 | asoc->force_delay | 0-1 |
| USER_DATA | 1 | asoc->frag_point | 0,432-65512[c] |
| USER_DATA | 1 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 1 | asoc->peer.active_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 1 | asoc->peer.active_path->flowlabel | 1048576-2097151[c] |
| USER_DATA | 1 | asoc->peer.active_path->packet.destination_port | 0-u16max |
| USER_DATA | 1 | asoc->peer.active_path->packet.source_port | 0-u16max |
| USER_DATA | 1 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 1 | asoc->peer.i.a_rwnd | 0-u32max |
| USER_DATA | 1 | asoc->peer.i.init_tag | 0-u32max |
| USER_DATA | 1 | asoc->peer.i.initial_tsn | 0-u32max |
| USER_DATA | 1 | asoc->peer.i.num_inbound_streams | 0-u16max |
| USER_DATA | 1 | asoc->peer.i.num_outbound_streams | 0-u16max |
| USER_DATA | 1 | asoc->peer.last_data_from->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 1 | asoc->peer.port | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 1 | asoc->peer.primary_path->flowlabel | 1048576-2097151[c] |
| USER_DATA | 1 | asoc->peer.primary_path->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 1 | asoc->peer.primary_path->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 1 | asoc->peer.primary_path->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_path->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_path->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 1 | asoc->peer.primary_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_path->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 1 | asoc->peer.primary_path->packet.destination_port | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_path->packet.source_port | 0-u16max |
| USER_DATA | 1 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 1 | asoc->peer.retran_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 1 | asoc->peer.retran_path->flowlabel | 1048576-2097151[c] |
| USER_DATA | 1 | asoc->peer.retran_path->ipaddr.sa.sa_family | 2,10[c] |
| USER_DATA | 1 | asoc->peer.retran_path->ipaddr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 1 | asoc->peer.retran_path->ipaddr.v4.sin_family | 0-u16max |
| USER_DATA | 1 | asoc->peer.retran_path->ipaddr.v6.sin6_family | 0-u16max |
| USER_DATA | 1 | asoc->peer.retran_path->ipaddr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 1 | asoc->peer.retran_path->ipaddr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 1 | asoc->peer.retran_path->packet.destination_port | 0-u16max |
| USER_DATA | 1 | asoc->peer.retran_path->packet.source_port | 0-u16max |
| USER_DATA | 1 | asoc->peer.rwnd | 0-u32max |
| USER_DATA | 1 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 1 | asoc->strreset_chunk->transport->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 1 | asoc->strreset_inseq | 0-u32max |
| USER_DATA | 1 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_abort_violation() -> sctp_auth_recv_cid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chunk | 6 |
| PARAM_VALUE | 1 | asoc | 0,4096-ptr_max |
| PARAM_VALUE | 1 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->addip_last_asconf->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->addip_last_asconf->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->addip_last_asconf->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->base.sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 1 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 1 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->strreset_chunk->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->strreset_chunk->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->strreset_chunk->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| DATA_SOURCE | 1 | asoc | $2 |
| NOSPEC | 1 | asoc->c.raw_addr_list_len | |
| NOSPEC | 1 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 1 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 1 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 1 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 1 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 1 | asoc->c.padding | 0-255[u] |
| USER_DATA | 1 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 1 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 1 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 1 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 1 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 1 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 1 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 1 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 1 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 1 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 1 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 1 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 1 | asoc->force_delay | 0-1 |
| USER_DATA | 1 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 1 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 1 | asoc->peer.port | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 1 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 1 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 1 | asoc->peer.primary_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 1 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 1 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 1 | 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_auth_recv_cid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chunk | 6 |
| PARAM_VALUE | 1 | asoc | 4096-ptr_max |
| PARAM_VALUE | 1 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 1 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 1 | asoc->stream.si->data_chunk_len | 16,20 |
| CAPPED_DATA | 1 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 1 | asoc | $2 |
| NOSPEC | 1 | asoc->c.raw_addr_list_len | |
| NOSPEC | 1 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 1 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 1 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 1 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 1 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 1 | asoc->c.padding | 0-255[u] |
| USER_DATA | 1 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 1 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 1 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 1 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 1 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 1 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 1 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 1 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 1 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 1 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 1 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 1 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 1 | asoc->force_delay | 0-1 |
| USER_DATA | 1 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 1 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 1 | asoc->peer.port | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 1 | asoc->peer.primary_addr.v4.sin_addr.s_addr | 0-u32max |
| USER_DATA | 1 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 1 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 1 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 1 | asoc->peer.retran_path->ipaddr.v4.sin_port | 0-u16max |
| USER_DATA | 1 | asoc->peer.retran_path->ipaddr.v6.sin6_port | 0-u16max |
| USER_DATA | 1 | asoc->peer.tsn_map.base_tsn | 0 |
| USER_DATA | 1 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/sm_statefuns.c sctp_sf_violation_paramlen() -> sctp_auth_recv_cid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | chunk | 6 |
| PARAM_VALUE | 1 | asoc | 4096-ptr_max |
| PARAM_VALUE | 1 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->addip_last_asconf->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->addip_last_asconf->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->addip_last_asconf->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->addip_last_asconf->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->base.sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->base.sk->sk_backlog.head->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->outqueue.asoc->stream.out_curr->state | 0-1 |
| PARAM_VALUE | 1 | asoc->outqueue.asoc->stream.si->generate_ftsn | 4096-ptr_max |
| PARAM_VALUE | 1 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->strreset_chunk->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->strreset_chunk->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->strreset_chunk->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->strreset_chunk->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| CAPPED_DATA | 1 | asoc->c.my_vtag | 1 |
| DATA_SOURCE | 1 | asoc | $2 |
| NOSPEC | 1 | asoc->c.raw_addr_list_len | |
| NOSPEC | 1 | asoc->peer.port | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | asoc->addip_serial | 0-u32max[u] |
| USER_DATA | 1 | asoc->c.adaptation_ind | 0-u32max[u] |
| USER_DATA | 1 | asoc->c.expiration | s64min-s64max |
| USER_DATA | 1 | asoc->c.initial_tsn | 0-u32max[u] |
| USER_DATA | 1 | asoc->c.my_ttag | 0-u32max |
| USER_DATA | 1 | asoc->c.padding | 0-255[u] |
| USER_DATA | 1 | asoc->c.peer_addr.sa.sa_family | 0-u16max[u] |
| USER_DATA | 1 | asoc->c.peer_addr.v4.sin_family | 0-u16max[u] |
| USER_DATA | 1 | asoc->c.peer_addr.v6.sin6_family | 0-u16max[u] |
| USER_DATA | 1 | asoc->c.peer_addr.v6.sin6_flowinfo | 0-u32max[u] |
| USER_DATA | 1 | asoc->c.peer_addr.v6.sin6_port | 0-u16max[u] |
| USER_DATA | 1 | asoc->c.peer_addr.v6.sin6_scope_id | 0-u32max[u] |
| USER_DATA | 1 | asoc->c.peer_ttag | 0-u32max |
| USER_DATA | 1 | asoc->c.peer_vtag | 0-u32max |
| USER_DATA | 1 | asoc->c.prsctp_capable | 0-255[u] |
| USER_DATA | 1 | asoc->c.raw_addr_list_len | 0-65331[c][u] |
| USER_DATA | 1 | asoc->c.sinit_max_instreams | 0-u16max[u] |
| USER_DATA | 1 | asoc->c.sinit_num_ostreams | 0-u16max[u] |
| USER_DATA | 1 | asoc->force_delay | 0-1 |
| USER_DATA | 1 | asoc->next_tsn | 0-u32max[u] |
| USER_DATA | 1 | asoc->peer.adaptation_ind | 0-u32max |
| USER_DATA | 1 | asoc->peer.port | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_addr.sa.sa_family | 2,10[c] |
| USER_DATA | 1 | asoc->peer.primary_addr.v4.sin_family | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_addr.v4.sin_port | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_addr.v6.sin6_family | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_addr.v6.sin6_flowinfo | 0-u32max |
| USER_DATA | 1 | asoc->peer.primary_addr.v6.sin6_port | 0-u16max |
| USER_DATA | 1 | asoc->peer.primary_addr.v6.sin6_scope_id | 0-u32max |
| USER_DATA | 1 | asoc->peer.primary_path->cacc.next_tsn_at_change | 0-u32max[u] |
| USER_DATA | 1 | asoc->peer.prsctp_capable | 0-1[u] |
| USER_DATA | 1 | asoc->peer.tsn_map.base_tsn | 0-u32max |
| USER_DATA | 1 | asoc->strreset_outseq | 0-u32max[u] |
| HALF_LOCKED2 | &sk->sk_lock.slock | ||
| HALF_LOCKED2 | sk |
net/sctp/endpointola.c sctp_endpoint_bh_rcv() -> sctp_auth_recv_cid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | asoc | 0,4096-ptr_max |
| HALF_LOCKED2 | &pool->lock |
net/sctp/associola.c sctp_assoc_bh_rcv() -> sctp_auth_recv_cid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | asoc | 4096-ptr_max |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress | 4096-ptr_max |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->auth_chunk->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->skb | 4096-ptr_max |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | asoc->base.inqueue.in_progress->skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| HALF_LOCKED2 | &pool->lock |