Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 asoc 4096-ptr_max
PARAM_VALUE 0 asoc->a_rwnd 1500-s32max
PARAM_VALUE 0 asoc->addip_chunk_list.next 4096-ptr_max
PARAM_VALUE 0 asoc->addip_chunk_list.next->next 4096-ptr_max
PARAM_VALUE 0 asoc->addip_chunk_list.prev 4096-ptr_max
PARAM_VALUE 0 asoc->addip_chunk_list.prev->next 4096-ptr_max
PARAM_VALUE 0 asoc->addip_chunk_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 asoc->asconf_ack_list.next 4096-ptr_max
PARAM_VALUE 0 asoc->asconf_ack_list.next->next 4096-ptr_max
PARAM_VALUE 0 asoc->asconf_ack_list.prev 4096-ptr_max
PARAM_VALUE 0 asoc->asconf_ack_list.prev->next 4096-ptr_max
PARAM_VALUE 0 asoc->asconf_ack_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 asoc->asocs.next 4096-ptr_max
PARAM_VALUE 0 asoc->asocs.next->next 4096-ptr_max
PARAM_VALUE 0 asoc->asocs.prev 4096-ptr_max
PARAM_VALUE 0 asoc->asocs.prev->next 4096-ptr_max
PARAM_VALUE 0 asoc->asocs.prev->prev 4096-ptr_max
PARAM_VALUE 0 asoc->base.bind_addr.address_list.next 4096-ptr_max
PARAM_VALUE 0 asoc->base.bind_addr.address_list.next->next 4096-ptr_max
PARAM_VALUE 0 asoc->base.bind_addr.address_list.prev 4096-ptr_max
PARAM_VALUE 0 asoc->base.bind_addr.address_list.prev->next 4096-ptr_max
PARAM_VALUE 0 asoc->base.bind_addr.address_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 asoc->base.inqueue.in_chunk_list.next 4096-ptr_max
PARAM_VALUE 0 asoc->base.inqueue.in_chunk_list.next->next 4096-ptr_max
PARAM_VALUE 0 asoc->base.inqueue.in_chunk_list.prev 4096-ptr_max
PARAM_VALUE 0 asoc->base.inqueue.in_chunk_list.prev->next 4096-ptr_max
PARAM_VALUE 0 asoc->base.inqueue.in_chunk_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 asoc->base.inqueue.in_progress 0
PARAM_VALUE 0 asoc->base.refcnt.refs.counter 1
PARAM_VALUE 0 asoc->base.sk 4096-ptr_max
PARAM_VALUE 0 asoc->base.type 1
PARAM_VALUE 0 asoc->c.auth_random->length 36
PARAM_VALUE 0 asoc->c.auth_random->type 640
PARAM_VALUE 0 asoc->c.raw_addr_list_len 0-65331
PARAM_VALUE 0 asoc->dscp 0-1,4-253
PARAM_VALUE 0 asoc->endpoint_shared_keys.next 4096-ptr_max
PARAM_VALUE 0 asoc->endpoint_shared_keys.next->next 4096-ptr_max
PARAM_VALUE 0 asoc->endpoint_shared_keys.prev 4096-ptr_max
PARAM_VALUE 0 asoc->endpoint_shared_keys.prev->next 4096-ptr_max
PARAM_VALUE 0 asoc->endpoint_shared_keys.prev->prev 4096-ptr_max
PARAM_VALUE 0 asoc->ep 4096-ptr_max
PARAM_VALUE 0 asoc->ep->base.refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 asoc->flowlabel 0-2097151
PARAM_VALUE 0 asoc->frag_point 0,4-65532
PARAM_VALUE 0 asoc->hbinterval 0-536870912,4611686018427387902
PARAM_VALUE 0 asoc->max_init_timeo 0-536870912,4611686018427387902
PARAM_VALUE 0 asoc->max_retrans 0-u16max
PARAM_VALUE 0 asoc->outqueue.abandoned.next 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.abandoned.next->next 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.abandoned.prev 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.abandoned.prev->next 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.abandoned.prev->prev 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.asoc 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.control_chunk_list.next 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.control_chunk_list.next->next 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.control_chunk_list.prev 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.control_chunk_list.prev->next 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.control_chunk_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.cork 0
PARAM_VALUE 0 asoc->outqueue.error 0
PARAM_VALUE 0 asoc->outqueue.fast_rtx 0
PARAM_VALUE 0 asoc->outqueue.out_chunk_list.next 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.out_chunk_list.next->next 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.out_chunk_list.prev 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.out_chunk_list.prev->next 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.out_chunk_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.out_qlen 0
PARAM_VALUE 0 asoc->outqueue.outstanding_bytes 0
PARAM_VALUE 0 asoc->outqueue.retransmit.next 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.retransmit.next->next 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.retransmit.prev 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.retransmit.prev->next 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.retransmit.prev->prev 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.sacked.next 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.sacked.next->next 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.sacked.prev 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.sacked.prev->next 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.sacked.prev->prev 4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.sched 0,4096-ptr_max
PARAM_VALUE 0 asoc->outqueue.sched->dequeue 4038417008399814656,4226222399964753920,6655190774967316480,8665237390103625728
PARAM_VALUE 0 asoc->outqueue.sched->dequeue_done 1807982924199383040,3156876484872548352,3372593028174364672,9158854385249738752
PARAM_VALUE 0 asoc->outqueue.sched->enqueue 2671639469245001728,6229596755538259968,6689935584130400256,8240962265936748544
PARAM_VALUE 0 asoc->outqueue.sched->free_sid 586196626866069504,2190553042971140096,6518328087334232064,6959756606677487616
PARAM_VALUE 0 asoc->outqueue.sched->get 1556208625275609088,2354324493855285248,3168642573887655936,3260818816899301376,7260443827905708032
PARAM_VALUE 0 asoc->outqueue.sched->init 2662583524079095808,3762032173587058688,7563697736999780352,9058018907907522560
PARAM_VALUE 0 asoc->outqueue.sched->init_sid 531006935798992896,5516633324243144704,6616183830673838080,7216798075140956160
PARAM_VALUE 0 asoc->outqueue.sched->sched_all 3060080010077085696,3200858702963396608,5296135041063636992,8493908269654249472
PARAM_VALUE 0 asoc->outqueue.sched->set 1544791478311620608,2233367098664521728,3259015772970213376,6054795723788525568,8730520473264320512
PARAM_VALUE 0 asoc->outqueue.sched->unsched_all 1181272021840441344,3562156887881297920,4950837965607002112,8300844112035074048
PARAM_VALUE 0 asoc->pathmtu 0,512-u32max
PARAM_VALUE 0 asoc->peer.ipv4_address 1
PARAM_VALUE 0 asoc->peer.ipv6_address 1
PARAM_VALUE 0 asoc->peer.rwnd u16max
PARAM_VALUE 0 asoc->peer.sack_generation 1
PARAM_VALUE 0 asoc->peer.sack_needed 1
PARAM_VALUE 0 asoc->peer.transport_addr_list.next 4096-ptr_max
PARAM_VALUE 0 asoc->peer.transport_addr_list.next->next 4096-ptr_max
PARAM_VALUE 0 asoc->peer.transport_addr_list.prev 4096-ptr_max
PARAM_VALUE 0 asoc->peer.transport_addr_list.prev->next 4096-ptr_max
PARAM_VALUE 0 asoc->peer.transport_addr_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 asoc->probe_interval 0-536870912,4611686018427387902
PARAM_VALUE 0 asoc->rmem_alloc.counter 0
PARAM_VALUE 0 asoc->rto_initial 0-536870912,4611686018427387902
PARAM_VALUE 0 asoc->rto_max 0-536870912,4611686018427387902
PARAM_VALUE 0 asoc->rto_min 0-536870912,4611686018427387902
PARAM_VALUE 0 asoc->rwnd 1500-s32max
PARAM_VALUE 0 asoc->sackdelay 0-536870912,4611686018427387902
PARAM_VALUE 0 asoc->sackfreq 2-u32max
PARAM_VALUE 0 asoc->state 0
PARAM_VALUE 0 asoc->stream.incnt 0-65534
PARAM_VALUE 0 asoc->stream.prio_list.prev 4096-ptr_max
PARAM_VALUE 0 asoc->stream.prio_list.prev->next 4096-ptr_max
PARAM_VALUE 0 asoc->stream.prio_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 asoc->stream.rr_list.prev 4096-ptr_max
PARAM_VALUE 0 asoc->stream.rr_list.prev->next 4096-ptr_max
PARAM_VALUE 0 asoc->stream.rr_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 asoc->stream.si 1404961082085122048,4326107235098353664
PARAM_VALUE 0 asoc->stream.si->abort_pd 4013874700188033024,7473634343065686016
PARAM_VALUE 0 asoc->stream.si->assign_number 2938229834975014912,4395241547658502144
PARAM_VALUE 0 asoc->stream.si->data_chunk_len 16,20
PARAM_VALUE 0 asoc->stream.si->enqueue_event 2153494495788359680,7329732674818818048
PARAM_VALUE 0 asoc->stream.si->ftsn_chunk_len 8
PARAM_VALUE 0 asoc->stream.si->generate_ftsn 1142965498112389120,8385514588456304640
PARAM_VALUE 0 asoc->stream.si->handle_ftsn 74869151756333056,5435815914550931456
PARAM_VALUE 0 asoc->stream.si->make_datafrag 6659804207675674624,7010030273759510528
PARAM_VALUE 0 asoc->stream.si->renege_events 5434029186302996480,8555912088225427456
PARAM_VALUE 0 asoc->stream.si->report_ftsn 891930293286313984,9067798030889078784
PARAM_VALUE 0 asoc->stream.si->start_pd 1272975562989445120,2428449025809031168
PARAM_VALUE 0 asoc->stream.si->ulpevent_data 7974919070111588352,8646894427506376704
PARAM_VALUE 0 asoc->stream.si->validate_data 148226341411205120,7579807691647606784
PARAM_VALUE 0 asoc->stream.si->validate_ftsn 1291880574891556864,5823089558653038592
PARAM_VALUE 0 asoc->ulpq.asoc 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->a_rwnd 1500-s32max
PARAM_VALUE 0 asoc->ulpq.asoc->addip_chunk_list.next 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->addip_chunk_list.prev 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->asconf_ack_list.next 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->asconf_ack_list.prev 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->base.bind_addr.address_list.next 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->base.bind_addr.address_list.prev 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->base.inqueue.in_chunk_list.next 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->base.inqueue.in_chunk_list.prev 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->base.refcnt.refs.counter 1
PARAM_VALUE 0 asoc->ulpq.asoc->base.type 1
PARAM_VALUE 0 asoc->ulpq.asoc->c.my_vtag 1-u32max
PARAM_VALUE 0 asoc->ulpq.asoc->dscp 0-1,4-253
PARAM_VALUE 0 asoc->ulpq.asoc->ep 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->flowlabel 0-2097151
PARAM_VALUE 0 asoc->ulpq.asoc->hbinterval 0-536870912,4611686018427387902
PARAM_VALUE 0 asoc->ulpq.asoc->max_init_timeo 0-536870912,4611686018427387902
PARAM_VALUE 0 asoc->ulpq.asoc->max_retrans 0-u16max
PARAM_VALUE 0 asoc->ulpq.asoc->outqueue.abandoned.next 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->outqueue.abandoned.prev 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->outqueue.asoc 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->outqueue.control_chunk_list.next 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->outqueue.control_chunk_list.prev 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->outqueue.cork 0
PARAM_VALUE 0 asoc->ulpq.asoc->outqueue.error 0
PARAM_VALUE 0 asoc->ulpq.asoc->outqueue.fast_rtx 0
PARAM_VALUE 0 asoc->ulpq.asoc->outqueue.out_chunk_list.next 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->outqueue.out_chunk_list.prev 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->outqueue.out_qlen 0
PARAM_VALUE 0 asoc->ulpq.asoc->outqueue.retransmit.next 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->outqueue.retransmit.prev 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->outqueue.sacked.next 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->outqueue.sacked.prev 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->outqueue.sched 0,4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->peer.rwnd u16max
PARAM_VALUE 0 asoc->ulpq.asoc->peer.sack_generation 1
PARAM_VALUE 0 asoc->ulpq.asoc->peer.sack_needed 1
PARAM_VALUE 0 asoc->ulpq.asoc->peer.transport_addr_list.next 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->peer.transport_addr_list.prev 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->probe_interval 0-536870912,4611686018427387902
PARAM_VALUE 0 asoc->ulpq.asoc->rmem_alloc.counter 0
PARAM_VALUE 0 asoc->ulpq.asoc->rto_initial 0-536870912,4611686018427387902
PARAM_VALUE 0 asoc->ulpq.asoc->rto_max 0-536870912,4611686018427387902
PARAM_VALUE 0 asoc->ulpq.asoc->rto_min 0-536870912,4611686018427387902
PARAM_VALUE 0 asoc->ulpq.asoc->rwnd 1500-s32max
PARAM_VALUE 0 asoc->ulpq.asoc->sackdelay 0-536870912,4611686018427387902
PARAM_VALUE 0 asoc->ulpq.asoc->sackfreq 2-u32max
PARAM_VALUE 0 asoc->ulpq.asoc->state 0
PARAM_VALUE 0 asoc->ulpq.asoc->user_frag 0,432-65516
PARAM_VALUE 0 asoc->ulpq.asoc->wait.head.next 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.asoc->wait.head.prev 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.lobby.list.next 0
PARAM_VALUE 0 asoc->ulpq.lobby.list.prev 0
PARAM_VALUE 0 asoc->ulpq.lobby.next 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.lobby.prev 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.lobby.qlen 0
PARAM_VALUE 0 asoc->ulpq.pd_mode 0
PARAM_VALUE 0 asoc->ulpq.reasm.list.next 0
PARAM_VALUE 0 asoc->ulpq.reasm.list.prev 0
PARAM_VALUE 0 asoc->ulpq.reasm.next 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.reasm.prev 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.reasm.qlen 0
PARAM_VALUE 0 asoc->ulpq.reasm_uo.list.next 0
PARAM_VALUE 0 asoc->ulpq.reasm_uo.list.prev 0
PARAM_VALUE 0 asoc->ulpq.reasm_uo.next 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.reasm_uo.prev 4096-ptr_max
PARAM_VALUE 0 asoc->ulpq.reasm_uo.qlen 0
PARAM_VALUE 0 asoc->user_frag 0,432-65516
PARAM_VALUE 0 asoc->wait.head.next 4096-ptr_max
PARAM_VALUE 0 asoc->wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 asoc->wait.head.prev 4096-ptr_max
PARAM_VALUE 0 asoc->wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 asoc->wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 *asoc->c.auth_chunks 0-255
PARAM_VALUE 0 *asoc->c.auth_hmacs 0-255
PARAM_VALUE 1 cookie 4096-ptr_max
PARAM_VALUE 1 cookie->raw_addr_list_len 0-65331
PARAM_VALUE 2 gfp 2080
BUF_SIZE 0 asoc 3016
BUF_SIZE 1 cookie 144
CAPPED_DATA 0 asoc->c.my_port 1
CAPPED_DATA 0 asoc->c.my_vtag 1
CAPPED_DATA 0 asoc->c.peer_addr.v4.sin_port 1
CAPPED_DATA 0 asoc->c.raw_addr_list_len 1
CAPPED_DATA 0 asoc->peer.port 1
CAPPED_DATA 1 cookie->my_port 1
CAPPED_DATA 1 cookie->my_vtag 1
CAPPED_DATA 1 cookie->peer_addr.v4.sin_port 1
CAPPED_DATA 1 cookie->raw_addr_list_len 1
DATA_SOURCE 0 asoc r sctp_association_new
NOSPEC 0 asoc->c.raw_addr_list_len
NOSPEC 1 cookie->raw_addr_list_len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 asoc->c.adaptation_ind 0-u32max[u]
USER_DATA 0 asoc->c.expiration s64min-s64max
USER_DATA 0 asoc->c.initial_tsn 0-u32max[u]
USER_DATA 0 asoc->c.my_ttag 0-u32max[u]
USER_DATA 0 asoc->c.padding 0-255[u]
USER_DATA 0 asoc->c.peer_ttag 0-u32max[u]
USER_DATA 0 asoc->c.peer_vtag 0-u32max[u]
USER_DATA 0 asoc->c.prsctp_capable 0-255[u]
USER_DATA 0 asoc->c.raw_addr_list_len 0-65331[u]
USER_DATA 0 asoc->c.sinit_max_instreams 0-u16max[u]
USER_DATA 0 asoc->c.sinit_num_ostreams 0-u16max[u]
USER_DATA 0 asoc->peer.port 0-u16max
USER_DATA 1 cookie->adaptation_ind 0-u32max[u]
USER_DATA 1 cookie->expiration s64min-s64max
USER_DATA 1 cookie->initial_tsn 0-u32max[u]
USER_DATA 1 cookie->my_ttag 0-u32max[u]
USER_DATA 1 cookie->padding 0-255[u]
USER_DATA 1 cookie->peer_ttag 0-u32max[u]
USER_DATA 1 cookie->peer_vtag 0-u32max[u]
USER_DATA 1 cookie->prsctp_capable 0-255[u]
USER_DATA 1 cookie->raw_addr_list_len 0-65331[u]
USER_DATA 1 cookie->sinit_max_instreams 0-u16max[u]
USER_DATA 1 cookie->sinit_num_ostreams 0-u16max[u]
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk