Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/sctp/sm_make_chunk.c sctp_process_init() -> sctp_assoc_set_id()

Type Parameter Key Value
PARAM_VALUE 0 asoc 4096-ptr_max
PARAM_VALUE 0 asoc->base.net 4096-ptr_max
PARAM_VALUE 0 asoc->frag_point 0,4-65532
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->peer.tsn_map.cumulative_tsn_ack_point 0-4294967294
PARAM_VALUE 0 asoc->peer.tsn_map.len 64
PARAM_VALUE 0 asoc->peer.tsn_map.num_dup_tsns 0
PARAM_VALUE 0 asoc->peer.tsn_map.tsn_map 1-u64max
PARAM_VALUE 0 asoc->stream.prio_list.prev 4096-ptr_max
PARAM_VALUE 0 asoc->stream.rr_list.prev 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->temp 0
PARAM_VALUE 0 *asoc->c.auth_chunks 0-255
PARAM_VALUE 0 *asoc->c.auth_hmacs 0-255
BUF_SIZE 0 asoc (-1),3016
BUF_SIZE 0 asoc (-1),3016
CAPPED_DATA 0 asoc->c.sinit_max_instreams 1
CAPPED_DATA 0 asoc->c.sinit_num_ostreams 1
CAPPED_DATA 0 asoc->pathmtu 1
CAPPED_DATA 0 asoc->stream.si->data_chunk_len 1
CAPPED_DATA 0 &asoc->peer.transport_addr_list 1
DATA_SOURCE 0 asoc $0
DATA_SOURCE 1 gfp $4
BIT_INFO 1 gfp 0x2000,0xffffffff
NOSPEC 0 asoc->c.raw_addr_list_len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 asoc->addip_serial 0-u32max[u]
USER_DATA 0 asoc->c.adaptation_ind 0-u32max[u]
USER_DATA 0 asoc->c.expiration s64min-s64max
USER_DATA 0 asoc->c.initial_tsn 0-u32max[u]
USER_DATA 0 asoc->c.my_ttag 0-u32max
USER_DATA 0 asoc->c.padding 0-255[u]
USER_DATA 0 asoc->c.peer_ttag 0-u32max
USER_DATA 0 asoc->c.peer_vtag 0-u32max
USER_DATA 0 asoc->c.prsctp_capable 0-255[u]
USER_DATA 0 asoc->c.raw_addr_list_len 0-65331[c][u]
USER_DATA 0 asoc->c.sinit_max_instreams 0-u16max[c]
USER_DATA 0 asoc->c.sinit_num_ostreams 0-u16max[c]
USER_DATA 0 asoc->default_hmac_id 0-3
USER_DATA 0 asoc->frag_point 0,432-65512[c]
USER_DATA 0 asoc->next_tsn 0-u32max[u]
USER_DATA 0 asoc->peer.active_path->ipaddr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 asoc->peer.active_path->ipaddr.v4.sin_port 0-u16max
USER_DATA 0 asoc->peer.active_path->ipaddr.v6.sin6_port 0-u16max
USER_DATA 0 asoc->peer.adaptation_ind 0-u32max[u]
USER_DATA 0 asoc->peer.i.a_rwnd 0-u32max
USER_DATA 0 asoc->peer.i.init_tag 0-u32max
USER_DATA 0 asoc->peer.i.initial_tsn 0-u32max
USER_DATA 0 asoc->peer.i.num_inbound_streams 0-u16max
USER_DATA 0 asoc->peer.i.num_outbound_streams 0-u16max
USER_DATA 0 asoc->peer.port 0-u16max
USER_DATA 0 asoc->peer.prsctp_capable 0-1[u]
USER_DATA 0 asoc->peer.rwnd 0-u32max
USER_DATA 0 asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 0 asoc->stream.incnt 1-u16max[c]
USER_DATA 0 asoc->strreset_inseq 0-u32max
USER_DATA 0 asoc->strreset_outseq 0-u32max[u]

net/sctp/socket.c __sctp_connect() -> sctp_assoc_set_id()

Type Parameter Key Value
PARAM_VALUE 0 asoc->base.dead 1
PARAM_VALUE 1 gfp 3264
NOSPEC 0 asoc->c.raw_addr_list_len
NOSPEC 0 asoc->peer.port
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 asoc->addip_serial 0-u32max[u]
USER_DATA 0 asoc->c.adaptation_ind 0-u32max[u]
USER_DATA 0 asoc->c.expiration s64min-s64max
USER_DATA 0 asoc->c.initial_tsn 0-u32max[u]
USER_DATA 0 asoc->c.my_ttag 0-u32max
USER_DATA 0 asoc->c.padding 0-255[u]
USER_DATA 0 asoc->c.peer_ttag 0-u32max
USER_DATA 0 asoc->c.peer_vtag 0-u32max
USER_DATA 0 asoc->c.prsctp_capable 0-255[u]
USER_DATA 0 asoc->c.raw_addr_list_len 0-65331[c][u]
USER_DATA 0 asoc->c.sinit_max_instreams 0-u16max[u]
USER_DATA 0 asoc->c.sinit_num_ostreams 0-u16max[u]
USER_DATA 0 asoc->force_delay 0-1
USER_DATA 0 asoc->next_tsn 0-u32max[u]
USER_DATA 0 asoc->peer.active_path->flowlabel 1048576-2097151[c]
USER_DATA 0 asoc->peer.active_path->packet.destination_port 0-u16max
USER_DATA 0 asoc->peer.active_path->packet.source_port 0-u16max
USER_DATA 0 asoc->peer.adaptation_ind 0-u32max
USER_DATA 0 asoc->peer.port 0-u16max
USER_DATA 0 asoc->peer.prsctp_capable 0-1[u]
USER_DATA 0 asoc->peer.retran_path->cacc.next_tsn_at_change 0-u32max[u]
USER_DATA 0 asoc->peer.retran_path->flowlabel 1048576-2097151[c]
USER_DATA 0 asoc->peer.retran_path->ipaddr.sa.sa_family 2,10[c]
USER_DATA 0 asoc->peer.retran_path->ipaddr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 asoc->peer.retran_path->ipaddr.v4.sin_family 0-u16max
USER_DATA 0 asoc->peer.retran_path->ipaddr.v6.sin6_family 0-u16max
USER_DATA 0 asoc->peer.retran_path->ipaddr.v6.sin6_flowinfo 0-u32max
USER_DATA 0 asoc->peer.retran_path->ipaddr.v6.sin6_scope_id 0-u32max
USER_DATA 0 asoc->peer.retran_path->packet.destination_port 0-u16max
USER_DATA 0 asoc->peer.retran_path->packet.source_port 0-u16max
USER_DATA 0 asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 0 asoc->strreset_outseq 0-u32max[u]
LOCK2 sk

net/sctp/associola.c sctp_assoc_update() -> sctp_assoc_set_id()

Type Parameter Key Value
PARAM_VALUE 0 asoc 4096-ptr_max
PARAM_VALUE 0 asoc->c.raw_addr_list_len 0-65331
PARAM_VALUE 0 asoc->c.sinit_max_instreams 0-65534
PARAM_VALUE 0 asoc->c.sinit_num_ostreams 0-65534
PARAM_VALUE 0 asoc->peer.sack_needed 1
PARAM_VALUE 0 asoc->peer.tsn_map.cumulative_tsn_ack_point 0-4294967294
PARAM_VALUE 0 asoc->peer.tsn_map.len 64
PARAM_VALUE 0 asoc->peer.tsn_map.num_dup_tsns 0
PARAM_VALUE 0 asoc->peer.tsn_map.tsn_map 1-u64max
PARAM_VALUE 0 asoc->state 0-2
PARAM_VALUE 1 gfp 2080
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.transport_addr_list 1
DATA_SOURCE 0 asoc $0
NOSPEC 0 asoc->c.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
USER_DATA 0 asoc->c.padding 0-255[u]
USER_DATA 0 asoc->c.peer_ttag 0-u32max
USER_DATA 0 asoc->c.peer_vtag 0-u32max
USER_DATA 0 asoc->c.prsctp_capable 0-255[u]
USER_DATA 0 asoc->c.raw_addr_list_len 0-65331[c][u]
USER_DATA 0 asoc->c.sinit_max_instreams 0-65534[c]
USER_DATA 0 asoc->c.sinit_num_ostreams 0-65534[c]
USER_DATA 0 asoc->force_delay 0-1
USER_DATA 0 asoc->peer.active_path->ipaddr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 asoc->peer.active_path->ipaddr.v4.sin_port 0-u16max
USER_DATA 0 asoc->peer.active_path->ipaddr.v6.sin6_port 0-u16max
USER_DATA 0 asoc->peer.i.a_rwnd 0-u32max
USER_DATA 0 asoc->peer.i.init_tag 0-u32max
USER_DATA 0 asoc->peer.i.initial_tsn 0-u32max
USER_DATA 0 asoc->peer.i.num_inbound_streams 0-u16max
USER_DATA 0 asoc->peer.i.num_outbound_streams 0-u16max
USER_DATA 0 asoc->peer.port 0-u16max
USER_DATA 0 asoc->peer.rwnd 0-u32max
USER_DATA 0 asoc->peer.tsn_map.base_tsn 0-u32max
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk