Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/sctp/sm_make_chunk.c _sctp_make_chunk() -> sctp_chunkify()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data_len 0
PARAM_VALUE 1 asoc 0,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->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 3 gfp 2080,3264
BUF_SIZE 0 skb s32min-s32max
BUF_SIZE 1 asoc (-1),3016
BUF_SIZE 1 asoc (-1),3016
BUF_SIZE 1 asoc->strreset_chunk (-1)-s32max
DATA_SOURCE 0 skb r alloc_skb
DATA_SOURCE 1 asoc $0
DATA_SOURCE 3 gfp $4
NOSPEC 1 asoc->rwnd_over
HARD_MAX 3 gfp 3264
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 asoc->adv_peer_ack_point 1-u32max
USER_DATA 1 asoc->asconf_addr_del_pending->sa.sa_family 0-u16max[u]
USER_DATA 1 asoc->asoc_shared_key->len 0-393210[c]
USER_DATA 1 asoc->force_delay 0-1
USER_DATA 1 asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 1 asoc->peer.port 0-u16max
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-u32max
USER_DATA 1 asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 1 asoc->stream.incnt 0-u16max[c]
USER_DATA 1 asoc->stream.outcnt 0-u16max[c]
NO_OVERFLOW_SIMPLE 1 asoc->ep->base.inqueue.in_progress->auth_chunk
NO_OVERFLOW_SIMPLE 1 asoc->ep->base.inqueue.in_progress->auth_chunk->extensions
NO_OVERFLOW_SIMPLE 1 asoc->ep->base.inqueue.in_progress->skb
NO_OVERFLOW_SIMPLE 1 asoc->ep->base.inqueue.in_progress->skb->extensions
UNITS 2 sk unit_byte

net/sctp/input.c sctp_rcv() -> sctp_chunkify()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->_nfct 0
PARAM_VALUE 0 skb->_skb_refdst 1-u64max
PARAM_VALUE 0 skb->cb 4096-ptr_max
PARAM_VALUE 0 skb->csum_valid 1
PARAM_VALUE 0 skb->data->flags 0-255
PARAM_VALUE 0 skb->data->length 0-u16max
PARAM_VALUE 0 skb->data->type 0-255
PARAM_VALUE 0 skb->dev 4096-ptr_max
PARAM_VALUE 0 skb->dev->ip6_ptr->mc_query_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 skb->dev->ip6_ptr->mc_query_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 skb->dev->ip6_ptr->mc_query_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 skb->dev->ip6_ptr->mc_report_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 skb->dev->ip6_ptr->mc_report_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 skb->dev->ip6_ptr->mc_report_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 skb->dev->ip6_ptr->stats.proc_dir_entry 0,4806605944481423360
PARAM_VALUE 0 skb->dev->linkwatch_dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 skb->dev->linkwatch_dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 skb->dev->nd_net.net 4096-ptr_max
PARAM_VALUE 0 skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 0 skb->dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 0 skb->dev->nd_net.net->sctp.sctp_statistics 4096-ptr_max
PARAM_VALUE 0 skb->dev->nd_net.net->sctp.sctp_statistics->mibs 4096-ptr_max
PARAM_VALUE 0 skb->dev->ndisc_ops->fill_addr_option 4096-ptr_max
PARAM_VALUE 0 skb->dev->ndisc_ops->parse_options 4096-ptr_max
PARAM_VALUE 0 skb->dev->ndisc_ops->update 4096-ptr_max
PARAM_VALUE 0 skb->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 0 skb->dev->rtnl_link_ops->priv_size 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728
PARAM_VALUE 0 skb->ip_summed 0,2-3
PARAM_VALUE 0 skb->len 4-u32max
PARAM_VALUE 0 skb->next->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 skb->next->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 skb->next->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 skb->next->sk->sk_peer_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 skb->next->sk->sk_peer_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 skb->next->sk->sk_peer_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 skb->next->sk->sk_peer_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 skb->next->sk->sk_peer_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 skb->next->sk->sk_peer_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 skb->next->sk->sk_peer_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 skb->next->sk->sk_peer_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 skb->pkt_type 0
PARAM_VALUE 0 skb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 skb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 skb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 skb->sk->sk_peer_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 skb->sk->sk_peer_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 skb->sk->sk_peer_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 skb->sk->sk_peer_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 skb->sk->sk_peer_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 skb->sk->sk_peer_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 skb->sk->sk_peer_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 skb->sk->sk_peer_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 asoc 0,4096-ptr_max
PARAM_VALUE 2 sk 4096-ptr_max
PARAM_VALUE 2 sk->__sk_common.skc_state 0-5,7-255
PARAM_VALUE 2 sk->sk_filter 0
PARAM_VALUE 3 gfp 2080
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
CAPPED_DATA 0 skb 1
CAPPED_DATA 0 skb->dev->nd_net.net 1
DATA_SOURCE 0 skb $0
DATA_SOURCE 1 asoc r __sctp_rcv_lookup
FUZZY_MAX 0 skb->len 4
CONSTRAINT 0 skb->data_len <=49
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 skb->csum 0-4294967040[c]
HOST_DATA 0 skb->csum_offset 0-u16max
HOST_DATA 0 skb->prev->csum_offset 0-u16max
HOST_DATA 0 skb->prev->data_len 0-u32max[c]
HOST_DATA 0 skb->prev->len 0-u32max[c]
HOST_DATA 0 skb->prev->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 skb->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 skb->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 *skb->data 0-255
NO_OVERFLOW_SIMPLE 0 skb->data_len
NO_OVERFLOW_SIMPLE 0 skb->dev->group
NO_OVERFLOW_SIMPLE 0 skb->dev->num_tc
NO_OVERFLOW_SIMPLE 0 skb->dev->proto_down
NO_OVERFLOW_SIMPLE 0 skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE 0 skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE 0 skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE 0 skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE 0 skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE 0 skb->end
NO_OVERFLOW_SIMPLE 0 skb->len
NO_OVERFLOW_SIMPLE 0 skb->next->end
NO_OVERFLOW_SIMPLE 0 skb->next->len
NO_OVERFLOW_SIMPLE 0 skb->next->tail
NO_OVERFLOW_SIMPLE 0 skb->next->truesize
NO_OVERFLOW_SIMPLE 0 skb->prev->end
NO_OVERFLOW_SIMPLE 0 skb->prev->len
NO_OVERFLOW_SIMPLE 0 skb->prev->tail
NO_OVERFLOW_SIMPLE 0 skb->prev->truesize
NO_OVERFLOW_SIMPLE 0 skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 skb->tail
NO_OVERFLOW_SIMPLE 0 skb->truesize
UNITS 0 skb unit_byte
UNITS 2 sk unit_byte