Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 12 files:

Smatch caller information:

net/sctp/stream.c sctp_send_reconf() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0
PARAM_VALUE 0 chunk->chunk_hdr->type 130
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->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
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
BUF_SIZE 0 chunk (-1)-s32max
BUF_SIZE 0 chunk (-1)-s32max
DATA_SOURCE 0 chunk $1
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-u32max
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-u32max
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 chunk->chunk_hdr->length 0-u16max[c]
USER_DATA 0 *chunk->skb->data 0-255
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
USER_PTR 0 chunk->skb->data
LOCK2 sk

net/sctp/stream.c sctp_stream_shrink_out() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->list.next->prev 4096-ptr_max
PARAM_VALUE 0 chunk->list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->msg 4096-ptr_max
PARAM_VALUE 0 chunk->msg->send_error 256
PARAM_VALUE 0 chunk->msg->send_failed 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->stream_list.next->prev 4096-ptr_max
PARAM_VALUE 0 chunk->stream_list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->subh.data_hdr 4096-ptr_max
CAPPED_DATA 0 &chunk->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/sm_make_chunk.c sctp_make_abort_user() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0-1
PARAM_VALUE 0 chunk->chunk_hdr->length 4
PARAM_VALUE 0 chunk->chunk_hdr->type 6
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->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
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
DATA_SOURCE 0 chunk r sctp_make_abort
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 chunk->asoc->outqueue.out_qlen
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
LOCK2 sk
HALF_LOCKED2 &vq->mutex

net/sctp/sm_make_chunk.c sctp_process_asconf_ack() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.next->prev 4096-ptr_max
PARAM_VALUE 0 chunk->transmitted_list.prev->next 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_make_chunk.c sctp_process_hn_param() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_make_chunk.c sctp_process_inv_paramlength() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_send_stale_cookie_err() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0
PARAM_VALUE 0 chunk->chunk_hdr->type 9
PARAM_VALUE 0 chunk->fast_retransmit 0
PARAM_VALUE 0 chunk->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb->data_len 0
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
DATA_SOURCE 0 chunk $5
NOSPEC 0 chunk->asoc->c.raw_addr_list_len
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->addip_serial 0-u32max[u]
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-u32max
USER_DATA 0 chunk->asoc->c.adaptation_ind 0-u32max[u]
USER_DATA 0 chunk->asoc->c.expiration s64min-s64max
USER_DATA 0 chunk->asoc->c.initial_tsn 0-u32max[u]
USER_DATA 0 chunk->asoc->c.my_ttag 0-u32max[u]
USER_DATA 0 chunk->asoc->c.padding 0-255[u]
USER_DATA 0 chunk->asoc->c.peer_addr.sa.sa_family 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v4.sin_family 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_family 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_flowinfo 0-u32max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_port 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_scope_id 0-u32max[u]
USER_DATA 0 chunk->asoc->c.peer_ttag 0-u32max[u]
USER_DATA 0 chunk->asoc->c.peer_vtag 0-u32max[u]
USER_DATA 0 chunk->asoc->c.prsctp_capable 0-255[u]
USER_DATA 0 chunk->asoc->c.raw_addr_list_len 0-65331[c][u]
USER_DATA 0 chunk->asoc->c.sinit_max_instreams 0-u16max[u]
USER_DATA 0 chunk->asoc->c.sinit_num_ostreams 0-u16max[u]
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->next_tsn 0-u32max[u]
USER_DATA 0 chunk->asoc->pathmtu 512-u32max[c][u]
USER_DATA 0 chunk->asoc->peer.adaptation_ind 0-u32max[u]
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-u32max
USER_DATA 0 chunk->asoc->peer.prsctp_capable 0-1[u]
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->rwnd_press 1-2147483134[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 chunk->asoc->strreset_outseq 0-u32max[u]
USER_DATA 0 chunk->chunk_hdr->length 0-u16max
USER_DATA 0 *chunk->skb->data 0-255
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
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_abort_violation() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 0
PARAM_VALUE 0 chunk->chunk_end 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0-1
PARAM_VALUE 0 chunk->chunk_hdr->type 6
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->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->data_len 0
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
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
BUF_SIZE 0 chunk (-1)-s32max
BUF_SIZE 0 chunk (-1)-s32max
DATA_SOURCE 0 chunk r sctp_make_abort_violation
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-u32max
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-u32max
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 chunk->chunk_hdr->length 0-u16max
USER_DATA 0 *chunk->skb->data 0-255
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
USER_PTR 0 chunk->skb->data
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_5_1B_init() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0-255
PARAM_VALUE 0 chunk->chunk_hdr->type 0-255
PARAM_VALUE 0 chunk->fast_retransmit 0-3
PARAM_VALUE 0 chunk->refcnt.refs.counter s32min-s32max
PARAM_VALUE 0 chunk->singleton 0-1
PARAM_VALUE 0 chunk->skb->data_len 0-4294967295
PARAM_VALUE 0 *chunk->chunk_end 0-255
NOSPEC 0 chunk->asoc->c.raw_addr_list_len
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->addip_serial 0-4294967295[u]
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-4294967295
USER_DATA 0 chunk->asoc->c.adaptation_ind 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.expiration s64min-s64max
USER_DATA 0 chunk->asoc->c.initial_tsn 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.my_ttag 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.padding 0-255[u]
USER_DATA 0 chunk->asoc->c.peer_addr.sa.sa_family 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v4.sin_family 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_family 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_flowinfo 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_port 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_scope_id 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.peer_ttag 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.peer_vtag 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.prsctp_capable 0-255[u]
USER_DATA 0 chunk->asoc->c.raw_addr_list_len 0-65331[c][u]
USER_DATA 0 chunk->asoc->c.sinit_max_instreams 0-u16max[u]
USER_DATA 0 chunk->asoc->c.sinit_num_ostreams 0-u16max[u]
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->next_tsn 0-4294967295[u]
USER_DATA 0 chunk->asoc->outqueue.outstanding_bytes 0-4294967295[c][u]
USER_DATA 0 chunk->asoc->pathmtu 512-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.adaptation_ind 0-4294967295[u]
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-4294967295
USER_DATA 0 chunk->asoc->peer.prsctp_capable 0-1[u]
USER_DATA 0 chunk->asoc->peer.rwnd 1-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-4294967295
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->rwnd_press 1-2147483134[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 chunk->asoc->strreset_outseq 0-4294967295[u]
USER_DATA 0 chunk->chunk_hdr->length 0-u16max
USER_DATA 0 *chunk->skb->data 0-255
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
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_5_1B_init() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-4294967295
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->outqueue.outstanding_bytes 0-4294967295[c][u]
USER_DATA 0 chunk->asoc->pathmtu 512-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-4294967295
USER_DATA 0 chunk->asoc->peer.rwnd 1-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-4294967295
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->rwnd_press 1-2147483134[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 chunk->chunk_hdr->length 0-u16max
USER_DATA 0 *chunk->skb->data 0-255
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
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_5_1B_init() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-4294967295
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->outqueue.outstanding_bytes 0-4294967295[c][u]
USER_DATA 0 chunk->asoc->pathmtu 512-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-4294967295
USER_DATA 0 chunk->asoc->peer.rwnd 1-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-4294967295
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->rwnd_press 1-2147483134[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 chunk->chunk_hdr->length 0-u16max
USER_DATA 0 *chunk->skb->data 0-255
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
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_5_1B_init() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-4294967295
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->outqueue.outstanding_bytes 0-4294967295[c][u]
USER_DATA 0 chunk->asoc->pathmtu 512-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-4294967295
USER_DATA 0 chunk->asoc->peer.rwnd 1-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-4294967295
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->rwnd_press 1-2147483134[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 chunk->chunk_hdr->length 0-u16max
USER_DATA 0 *chunk->skb->data 0-255
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
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_5_1C_ack() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0-255
PARAM_VALUE 0 chunk->chunk_hdr->type 0-255
PARAM_VALUE 0 chunk->fast_retransmit 0-3
PARAM_VALUE 0 chunk->refcnt.refs.counter s32min-s32max
PARAM_VALUE 0 chunk->singleton 0-1
PARAM_VALUE 0 chunk->skb->data_len 0-4294967295
PARAM_VALUE 0 *chunk->chunk_end 0-255
NOSPEC 0 chunk->asoc->c.raw_addr_list_len
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->addip_serial 0-4294967295[u]
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-4294967295
USER_DATA 0 chunk->asoc->c.adaptation_ind 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.expiration s64min-s64max
USER_DATA 0 chunk->asoc->c.initial_tsn 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.my_ttag 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.padding 0-255[u]
USER_DATA 0 chunk->asoc->c.peer_addr.sa.sa_family 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v4.sin_family 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_family 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_flowinfo 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_port 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_scope_id 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.peer_ttag 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.peer_vtag 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.prsctp_capable 0-255[u]
USER_DATA 0 chunk->asoc->c.raw_addr_list_len 0-65331[c][u]
USER_DATA 0 chunk->asoc->c.sinit_max_instreams 0-u16max[u]
USER_DATA 0 chunk->asoc->c.sinit_num_ostreams 0-u16max[u]
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->next_tsn 0-4294967295[u]
USER_DATA 0 chunk->asoc->outqueue.outstanding_bytes 0-4294967295[c][u]
USER_DATA 0 chunk->asoc->pathmtu 512-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.adaptation_ind 0-4294967295[u]
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-4294967295
USER_DATA 0 chunk->asoc->peer.prsctp_capable 0-1[u]
USER_DATA 0 chunk->asoc->peer.rwnd 1-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-4294967295
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->rwnd_press 1-2147483134[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 chunk->asoc->strreset_outseq 0-4294967295[u]
USER_DATA 0 chunk->chunk_hdr->length 0-u16max
USER_DATA 0 *chunk->skb->data 0-255
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
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_5_1D_ce() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0-1
PARAM_VALUE 0 chunk->chunk_hdr->type 6,9
PARAM_VALUE 0 chunk->fast_retransmit 0
PARAM_VALUE 0 chunk->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb->data_len 0
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
PARAM_VALUE 0 *chunk->chunk_end 0-255
NOSPEC 0 chunk->asoc->c.raw_addr_list_len
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->addip_serial 0-4294967295[u]
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-4294967295
USER_DATA 0 chunk->asoc->c.adaptation_ind 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.expiration s64min-s64max
USER_DATA 0 chunk->asoc->c.initial_tsn 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.my_ttag 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.padding 0-255[u]
USER_DATA 0 chunk->asoc->c.peer_addr.sa.sa_family 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v4.sin_family 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_family 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_flowinfo 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_port 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_scope_id 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.peer_ttag 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.peer_vtag 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.prsctp_capable 0-255[u]
USER_DATA 0 chunk->asoc->c.raw_addr_list_len 0-65331[c][u]
USER_DATA 0 chunk->asoc->c.sinit_max_instreams 0-u16max[u]
USER_DATA 0 chunk->asoc->c.sinit_num_ostreams 0-u16max[u]
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->next_tsn 0-4294967295[u]
USER_DATA 0 chunk->asoc->outqueue.outstanding_bytes 0-4294967295[c][u]
USER_DATA 0 chunk->asoc->pathmtu 512-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.adaptation_ind 0-4294967295[u]
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-4294967295
USER_DATA 0 chunk->asoc->peer.prsctp_capable 0-1[u]
USER_DATA 0 chunk->asoc->peer.rwnd 1-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-4294967295
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->rwnd_press 1-2147483134[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 chunk->asoc->strreset_outseq 0-4294967295[u]
USER_DATA 0 chunk->chunk_hdr->length 0-u16max
USER_DATA 0 *chunk->skb->data 0-255
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
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_5_1D_ce() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-4294967295
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->outqueue.outstanding_bytes 0-4294967295[c][u]
USER_DATA 0 chunk->asoc->pathmtu 512-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-4294967295
USER_DATA 0 chunk->asoc->peer.rwnd 1-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-4294967295
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->rwnd_press 1-2147483134[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 chunk->chunk_hdr->length 0-u16max
USER_DATA 0 *chunk->skb->data 0-255
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
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_5_1D_ce() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0
PARAM_VALUE 0 chunk->chunk_hdr->length 4
PARAM_VALUE 0 chunk->chunk_hdr->type 11
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->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
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
BUF_SIZE 0 chunk->asoc 3016
DATA_SOURCE 0 chunk r sctp_make_cookie_ack
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-u32max
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-u32max
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 *chunk->skb->data 0-255
NO_OVERFLOW_SIMPLE 0 chunk->asoc->outqueue.out_qlen
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
USER_PTR 0 chunk->skb->data
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_5_2_4_dupcook() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0-1
PARAM_VALUE 0 chunk->chunk_hdr->type 6,9
PARAM_VALUE 0 chunk->fast_retransmit 0
PARAM_VALUE 0 chunk->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb->data_len 0
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
PARAM_VALUE 0 *chunk->chunk_end 0-255
NOSPEC 0 chunk->asoc->c.raw_addr_list_len
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->addip_serial 0-4294967295[u]
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-4294967295
USER_DATA 0 chunk->asoc->c.adaptation_ind 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.expiration s64min-s64max
USER_DATA 0 chunk->asoc->c.initial_tsn 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.my_ttag 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.padding 0-255[u]
USER_DATA 0 chunk->asoc->c.peer_addr.sa.sa_family 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v4.sin_family 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_family 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_flowinfo 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_port 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_scope_id 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.peer_ttag 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.peer_vtag 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.prsctp_capable 0-255[u]
USER_DATA 0 chunk->asoc->c.raw_addr_list_len 0-65331[c][u]
USER_DATA 0 chunk->asoc->c.sinit_max_instreams 0-u16max[u]
USER_DATA 0 chunk->asoc->c.sinit_num_ostreams 0-u16max[u]
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->next_tsn 0-4294967295[u]
USER_DATA 0 chunk->asoc->outqueue.outstanding_bytes 0-4294967295[c][u]
USER_DATA 0 chunk->asoc->pathmtu 512-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.adaptation_ind 0-4294967295[u]
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-4294967295
USER_DATA 0 chunk->asoc->peer.prsctp_capable 0-1[u]
USER_DATA 0 chunk->asoc->peer.rwnd 1-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-4294967295
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->rwnd_press 1-2147483134[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 chunk->asoc->strreset_outseq 0-4294967295[u]
USER_DATA 0 chunk->chunk_hdr->length 0-u16max
USER_DATA 0 *chunk->skb->data 0-255
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
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_5_2_4_dupcook() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-4294967295
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->outqueue.outstanding_bytes 0-4294967295[c][u]
USER_DATA 0 chunk->asoc->pathmtu 512-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-4294967295
USER_DATA 0 chunk->asoc->peer.rwnd 1-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-4294967295
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->rwnd_press 1-2147483134[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 chunk->chunk_hdr->length 0-u16max
USER_DATA 0 *chunk->skb->data 0-255
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
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_dupcook_a() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0
PARAM_VALUE 0 chunk->chunk_hdr->length 4
PARAM_VALUE 0 chunk->chunk_hdr->type 11
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->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
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
DATA_SOURCE 0 chunk r sctp_make_cookie_ack
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-u32max
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-u32max
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 *chunk->skb->data 0-255
NO_OVERFLOW_SIMPLE 0 chunk->asoc->outqueue.out_qlen
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
USER_PTR 0 chunk->skb->data
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_unexpected_init() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-4294967295
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->outqueue.outstanding_bytes 0-4294967295[c][u]
USER_DATA 0 chunk->asoc->pathmtu 512-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-4294967295
USER_DATA 0 chunk->asoc->peer.rwnd 1-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-4294967295
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->rwnd_press 1-2147483134[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 chunk->chunk_hdr->length 0-u16max
USER_DATA 0 *chunk->skb->data 0-255
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
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_unexpected_init() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-4294967295
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->outqueue.outstanding_bytes 0-4294967295[c][u]
USER_DATA 0 chunk->asoc->pathmtu 512-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-4294967295
USER_DATA 0 chunk->asoc->peer.rwnd 1-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-4294967295
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->rwnd_press 1-2147483134[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 chunk->chunk_hdr->length 0-u16max
USER_DATA 0 *chunk->skb->data 0-255
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
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/sm_statefuns.c sctp_sf_do_unexpected_init() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->skb->data_len 0-4294967295
NOSPEC 0 chunk->asoc->c.raw_addr_list_len
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->addip_serial 0-4294967295[u]
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-4294967295
USER_DATA 0 chunk->asoc->c.adaptation_ind 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.expiration s64min-s64max
USER_DATA 0 chunk->asoc->c.initial_tsn 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.my_ttag 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.padding 0-255[u]
USER_DATA 0 chunk->asoc->c.peer_addr.sa.sa_family 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v4.sin_family 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_family 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_flowinfo 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_port 0-u16max[u]
USER_DATA 0 chunk->asoc->c.peer_addr.v6.sin6_scope_id 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.peer_ttag 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.peer_vtag 0-4294967295[u]
USER_DATA 0 chunk->asoc->c.prsctp_capable 0-255[u]
USER_DATA 0 chunk->asoc->c.raw_addr_list_len 0-65331[c][u]
USER_DATA 0 chunk->asoc->c.sinit_max_instreams 0-u16max[u]
USER_DATA 0 chunk->asoc->c.sinit_num_ostreams 0-u16max[u]
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->next_tsn 0-4294967295[u]
USER_DATA 0 chunk->asoc->outqueue.outstanding_bytes 0-4294967295[c][u]
USER_DATA 0 chunk->asoc->pathmtu 512-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.adaptation_ind 0-4294967295[u]
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-4294967295
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-4294967295
USER_DATA 0 chunk->asoc->peer.prsctp_capable 0-1[u]
USER_DATA 0 chunk->asoc->peer.rwnd 1-4294967295[c][u]
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-4294967295
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->rwnd_press 1-2147483134[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 chunk->asoc->strreset_outseq 0-4294967295[u]
USER_DATA 0 chunk->chunk_hdr->length 0-u16max
USER_DATA 0 *chunk->skb->data 0-255
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
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/chunk.c sctp_datamsg_free() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
CAPPED_DATA 0 &chunk->frag_list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 sk
HALF_LOCKED2 &vq->mutex

net/sctp/chunk.c sctp_datamsg_from_user() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_end 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->sinfo.sinfo_cumtsn 0
PARAM_VALUE 0 chunk->sinfo.sinfo_ssn 0
PARAM_VALUE 0 chunk->sinfo.sinfo_stream 0
PARAM_VALUE 0 chunk->sinfo.sinfo_tsn 0
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->data_len 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->chunk_hdr->length 0-u16max
LOCK2 sk
HALF_LOCKED2 &vq->mutex

net/sctp/chunk.c sctp_datamsg_from_user() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->auth_chunk->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 chunk->auth_chunk->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 chunk->auth_chunk->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 chunk->auth_chunk->sk->sk_owner->refcnt.counter 0-s32max
PARAM_VALUE 0 chunk->auth_chunk->sk->sk_prot_creator->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 chunk->skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 chunk->skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 chunk->skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 chunk->skb->sk->sk_owner->refcnt.counter 0-s32max
PARAM_VALUE 0 chunk->skb->sk->sk_prot_creator->owner->refcnt.counter 0-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->chunk_hdr->length 0-u16max
LOCK2 sk
HALF_LOCKED2 &vq->mutex

net/sctp/socket.c sctp_send_asconf() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_end 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0
PARAM_VALUE 0 chunk->chunk_hdr->type 193
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->param_hdr.v 4096-ptr_max
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->data_len 0
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
PARAM_VALUE 0 chunk->subh.addip_hdr 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
BUF_SIZE 0 chunk (-1)-s32max
BUF_SIZE 0 chunk (-1)-s32max
DATA_SOURCE 0 chunk $1
NOSPEC 0 chunk->asoc->rwnd_over
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-u32max
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-u32max
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 chunk->chunk_hdr->length 0-u16max
USER_DATA 0 *chunk->skb->data 0-255
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
USER_PTR 0 chunk->skb->data
HALF_LOCKED2 sk

net/sctp/output.c sctp_packet_bundle_auth() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_end 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0
PARAM_VALUE 0 chunk->chunk_hdr->type 15
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->head_skb 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->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->shkey 4096-ptr_max
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->data_len 0
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
PARAM_VALUE 0 chunk->subh.auth_hdr 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 0 chunk->transport 4096-ptr_max
PARAM_VALUE 0 chunk->transport->asoc 0,4096-ptr_max
DATA_SOURCE 0 chunk r sctp_make_auth
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 chunk->asoc->outqueue.out_qlen
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

net/sctp/output.c sctp_packet_bundle_sack() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_end 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->flags 0
PARAM_VALUE 0 chunk->chunk_hdr->type 3
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->refcnt.refs.counter 1
PARAM_VALUE 0 chunk->singleton 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->data_len 0
PARAM_VALUE 0 chunk->skb->destructor 144410068879519744
PARAM_VALUE 0 chunk->subh.sack_hdr 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 0 chunk->transport 4096-ptr_max
PARAM_VALUE 0 chunk->transport->asoc 0,4096-ptr_max
DATA_SOURCE 0 chunk r sctp_make_sack
NOSPEC 0 chunk->asoc->rwnd_over
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->asoc->adv_peer_ack_point 1-u32max
USER_DATA 0 chunk->asoc->force_delay 0-1
USER_DATA 0 chunk->asoc->peer.addip_disabled_mask 0-u16max[u]
USER_DATA 0 chunk->asoc->peer.port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.sa.sa_family 2,10[c]
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_addr.s_addr 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v4.sin_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_family 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_flowinfo 0-u32max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_port 0-u16max
USER_DATA 0 chunk->asoc->peer.primary_addr.v6.sin6_scope_id 0-u32max
USER_DATA 0 chunk->asoc->peer.tsn_map.base_tsn 0-u32max
USER_DATA 0 chunk->asoc->rwnd_over 1-2147483646[c][u]
USER_DATA 0 chunk->asoc->stream.incnt 0-u16max[c]
USER_DATA 0 chunk->asoc->stream.outcnt 0-u16max[c]
USER_DATA 0 chunk->chunk_hdr->length 0-u16max
USER_DATA 0 *chunk->skb->data 0-255
NO_OVERFLOW_SIMPLE 0 chunk->asoc->outqueue.out_qlen
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
USER_PTR 0 chunk->skb->data

net/sctp/output.c sctp_packet_free() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
CAPPED_DATA 0 &chunk->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &seq->lock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk

net/sctp/output.c sctp_packet_pack() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->type 1-63,65-255
PARAM_VALUE 0 chunk->skb 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/output.c sctp_packet_pack() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/output.c sctp_packet_pack() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/output.c sctp_packet_transmit() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->type 1-63,65-255
CAPPED_DATA 0 &chunk->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/input.c sctp_backlog_rcv() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->rcvr 4096-ptr_max
PARAM_VALUE 0 chunk->rcvr->dead 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/input.c sctp_backlog_rcv() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->rcvr 4096-ptr_max
PARAM_VALUE 0 chunk->rcvr->dead 0
PARAM_VALUE 0 chunk->rcvr->sk->sk_lock.owned 0-1
PARAM_VALUE 0 chunk->rcvr->sk->sk_lock.slock.rlock.dep_map->name 0-255
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &sk->sk_lock.slock
LOCK2 bh
HALF_LOCKED2 sk
TYPE_LOCK (struct socket_lock_t)->slock

net/sctp/input.c sctp_backlog_rcv() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->rcvr 4096-ptr_max
PARAM_VALUE 0 chunk->rcvr->dead 0
PARAM_VALUE 0 chunk->rcvr->sk 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 0,4096-ptr_max
PARAM_VALUE 0 chunk->dest.v4.sin_addr.s_addr 1-4294967294
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->source.v4.sin_addr.s_addr 1-4294967294
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 0 chunk->transport 0,4096-ptr_max
PARAM_VALUE 0 chunk->transport->refcnt.refs.counter (-1073741824),0-s32max
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

net/sctp/outqueue.c __sctp_outq_teardown() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->msg 4096-ptr_max
PARAM_VALUE 0 chunk->msg->send_failed 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/outqueue.c __sctp_outq_teardown() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->msg 4096-ptr_max
PARAM_VALUE 0 chunk->msg->send_failed 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/outqueue.c __sctp_outq_teardown() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->msg 4096-ptr_max
PARAM_VALUE 0 chunk->msg->send_failed 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/outqueue.c __sctp_outq_teardown() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->msg 4096-ptr_max
PARAM_VALUE 0 chunk->msg->send_failed 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/outqueue.c __sctp_outq_teardown() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->msg 4096-ptr_max
PARAM_VALUE 0 chunk->msg->send_failed 1
DATA_SOURCE 0 chunk r sctp_outq_dequeue_data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/outqueue.c __sctp_outq_teardown() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->auth_chunk->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 chunk->auth_chunk->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 chunk->auth_chunk->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 chunk->auth_chunk->sk->sk_owner->refcnt.counter 0-s32max
PARAM_VALUE 0 chunk->auth_chunk->sk->sk_prot_creator->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 chunk->msg->send_failed 1
PARAM_VALUE 0 chunk->skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 chunk->skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 chunk->skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 chunk->skb->sk->sk_owner->refcnt.counter 0-s32max
PARAM_VALUE 0 chunk->skb->sk->sk_prot_creator->owner->refcnt.counter 0-s32max
CAPPED_DATA 0 &chunk->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/outqueue.c sctp_generate_fwdtsn() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->subh.data_hdr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/outqueue.c sctp_outq_flush_data() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 4096-ptr_max
PARAM_VALUE 0 chunk->asoc->peer.prsctp_capable 1
PARAM_VALUE 0 chunk->msg 4096-ptr_max
PARAM_VALUE 0 chunk->msg->abandoned 1
PARAM_VALUE 0 chunk->msg->send_error 0
PARAM_VALUE 0 chunk->msg->send_failed 1
PARAM_VALUE 0 chunk->subh.data_hdr 4096-ptr_max
DATA_SOURCE 0 chunk r sctp_outq_dequeue_data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/outqueue.c sctp_outq_sack() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->subh.data_hdr 4096-ptr_max
NOCHECK_CALL

net/sctp/outqueue.c sctp_packet_singleton() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc->stream.si->data_chunk_len 16,20
PARAM_VALUE 0 chunk->chunk_hdr 4096-ptr_max
PARAM_VALUE 0 chunk->chunk_hdr->type 1-2,4-6,8-11,13-14,128
PARAM_VALUE 0 chunk->list.next->prev 4096-ptr_max
PARAM_VALUE 0 chunk->list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->transport 0,4096-ptr_max
DATA_SOURCE 0 chunk $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/outqueue.c sctp_prsctp_prune_unsent() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->list.next->prev 4096-ptr_max
PARAM_VALUE 0 chunk->list.prev->next 4096-ptr_max
PARAM_VALUE 0 chunk->msg 4096-ptr_max
PARAM_VALUE 0 chunk->msg->abandoned 1
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->stream_list.next->prev 4096-ptr_max
PARAM_VALUE 0 chunk->stream_list.prev->next 4096-ptr_max
CAPPED_DATA 0 &chunk->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/sctp/stream_interleave.c sctp_generate_iftsn() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->subh.data_hdr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/inqueue.c sctp_inq_chunk_free() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
DATA_SOURCE 0 chunk $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_PTR 0 chunk->skb->data

net/sctp/inqueue.c sctp_inq_free() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
CAPPED_DATA 0 &chunk->list 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sctp/inqueue.c sctp_inq_pop() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->auth_chunk->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 chunk->auth_chunk->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 chunk->auth_chunk->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 chunk->auth_chunk->sk->sk_owner->refcnt.counter 0-s32max
PARAM_VALUE 0 chunk->auth_chunk->sk->sk_prot_creator->owner->refcnt.counter 0-s32max
PARAM_VALUE 0 chunk->head_skb 1-u64max
PARAM_VALUE 0 chunk->skb 4096-ptr_max
PARAM_VALUE 0 chunk->skb->dev 4096-ptr_max
PARAM_VALUE 0 chunk->skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 chunk->skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 chunk->skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 chunk->skb->sk->sk_owner->refcnt.counter 0-s32max
PARAM_VALUE 0 chunk->skb->sk->sk_prot_creator->owner->refcnt.counter 0-s32max
CAPPED_DATA 0 chunk->skb->data_len 1
CAPPED_DATA 0 chunk->skb->dev->nd_net.net 1
CAPPED_DATA 0 chunk->skb->len 1
PARAM_COMPARE 0 chunk->skb->data_len == $0->skb->len
NOCHECK_CALL
USER_PTR 0 chunk->head_skb->data
HALF_LOCKED2 &pool->lock

net/sctp/inqueue.c sctp_inq_push() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->asoc 0,4096-ptr_max
PARAM_VALUE 0 chunk->dest.v4.sin_addr.s_addr 1-4294967294
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->dead 1
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->source.v4.sin_addr.s_addr 1-4294967294
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 0 chunk->transport 0,4096-ptr_max
PARAM_VALUE 0 chunk->transport->refcnt.refs.counter (-1073741824),0-s32max
BUF_SIZE 0 chunk->rcvr 160
BUF_SIZE 0 chunk->skb (-1)-s32max
DATA_SOURCE 0 chunk $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 chunk->skb->csum 0-4294967040[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
LOCK2 &sk->sk_lock.slock
TYPE_LOCK (struct socket_lock_t)->slock

net/sctp/associola.c sctp_asconf_queue_teardown() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/sctp/associola.c sctp_assoc_clean_asconf_ack_cache() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
PARAM_VALUE 0 chunk->subh.addip_hdr 4096-ptr_max
CAPPED_DATA 0 &chunk->transmitted_list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/sctp/associola.c sctp_assoc_free_asconf_acks() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
CAPPED_DATA 0 &chunk->transmitted_list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/sctp/associola.c sctp_assoc_free_asconf_queue() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 4096-ptr_max
CAPPED_DATA 0 &chunk->list 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 sk

net/sctp/associola.c sctp_association_free() -> sctp_chunk_free()

Type Parameter Key Value
PARAM_VALUE 0 chunk 1-u64max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 chunk->transport->cacc.next_tsn_at_change 0-u32max[u]
HALF_LOCKED2 sk