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/input.c sctp_rcv() -> sctp_init_addrs()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 0,4096-ptr_max
PARAM_VALUE 0 chunk->fast_retransmit 0
PARAM_VALUE 0 chunk->frag_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->frag_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 chunk->list.next 1-u64max
PARAM_VALUE 0 chunk->list.next->next 1-u64max
PARAM_VALUE 0 chunk->list.prev 1-u64max
PARAM_VALUE 0 chunk->list.prev->next 1-u64max
PARAM_VALUE 0 chunk->list.prev->prev 1-u64max
PARAM_VALUE 0 chunk->rcvr 4096-ptr_max
PARAM_VALUE 0 chunk->rcvr->refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 chunk->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->sctp_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.next->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 src 764729695751708672
PARAM_VALUE 1 src->v4.sin_addr.s_addr 1-4294967294
PARAM_VALUE 2 dest 1100214965380026368
PARAM_VALUE 2 dest->v4.sin_addr.s_addr 1-4294967294
BUF_SIZE 0 chunk->rcvr 160
BUF_SIZE 0 chunk->skb (-1)-s32max
DATA_SOURCE 0 chunk r sctp_chunkify
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 chunk->skb->csum 0-4294967041[c]
HOST_DATA 0 chunk->skb->csum_offset 0-u16max
HOST_DATA 0 chunk->skb->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 chunk->skb->users.refs.counter s32min-0,2-s32max
NO_OVERFLOW_SIMPLE 0 chunk->skb->data_len
NO_OVERFLOW_SIMPLE 0 chunk->skb->end
NO_OVERFLOW_SIMPLE 0 chunk->skb->len
NO_OVERFLOW_SIMPLE 0 chunk->skb->tail
NO_OVERFLOW_SIMPLE 0 chunk->skb->truesize