Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/xfrm/xfrm_iptfs.c __input_process_payload() -> skb_abort_seq_read()

Type Parameter Key Value
PARAM_VALUE 0 st 5021221164563156992
PARAM_VALUE 0 st->root_skb 4096-ptr_max
PARAM_VALUE 0 st->stepped_offset 1-u32max
PARAM_VALUE 0 st->upper_offset 1-u32max
DATA_SOURCE 0 st $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 st->cur_skb->csum 0-126976[c]
HOST_DATA 0 st->cur_skb->csum_offset 0-u16max
HOST_DATA 0 st->cur_skb->data_len 0-u32max[c]
HOST_DATA 0 st->cur_skb->len 0-u32max[c]
HOST_DATA 0 st->cur_skb->truesize 0-u32max
HOST_DATA 0 st->cur_skb->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 st->cur_skb->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 st->upper_offset 40-2147483687[c]
USER_DATA 0 st->lower_offset 4-s32max[c]
NO_OVERFLOW_SIMPLE 0 st->cur_skb->data_len
NO_OVERFLOW_SIMPLE 0 st->cur_skb->tail
NO_OVERFLOW_SIMPLE 0 st->cur_skb->truesize
NO_OVERFLOW_SIMPLE 0 st->upper_offset

net/xfrm/xfrm_iptfs.c __input_process_payload() -> skb_abort_seq_read()

Type Parameter Key Value
PARAM_VALUE 0 st 5021221164563156992
PARAM_VALUE 0 st->stepped_offset 0
DATA_SOURCE 0 st $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 st->cur_skb->csum 0-126976[c]
HOST_DATA 0 st->cur_skb->csum_offset 0-u16max
HOST_DATA 0 st->cur_skb->data_len 0-u32max[c]
HOST_DATA 0 st->cur_skb->len 0-u32max[c]
HOST_DATA 0 st->cur_skb->truesize 0-u32max
HOST_DATA 0 st->cur_skb->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 st->cur_skb->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 st->upper_offset 40-2147483687[c]
USER_DATA 0 st->lower_offset 4-s32max[c]
NO_OVERFLOW_SIMPLE 0 st->cur_skb->data_len
NO_OVERFLOW_SIMPLE 0 st->cur_skb->tail
NO_OVERFLOW_SIMPLE 0 st->cur_skb->truesize
NO_OVERFLOW_SIMPLE 0 st->upper_offset

net/xfrm/xfrm_iptfs.c __input_process_payload() -> skb_abort_seq_read()

Type Parameter Key Value
PARAM_VALUE 0 st 5021221164563156992
DATA_SOURCE 0 st $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 st->cur_skb->csum 0-126976[c]
HOST_DATA 0 st->cur_skb->csum_offset 0-u16max
HOST_DATA 0 st->cur_skb->data_len 0-u32max[c]
HOST_DATA 0 st->cur_skb->len 0-u32max[c]
HOST_DATA 0 st->cur_skb->truesize 0-u32max
HOST_DATA 0 st->cur_skb->tstamp 500000002-4294967299794967295[c]
HOST_DATA 0 st->cur_skb->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 st->upper_offset 40-2147483687[c]
USER_DATA 0 st->lower_offset 4-s32max[c]
NO_OVERFLOW_SIMPLE 0 st->cur_skb->data_len
NO_OVERFLOW_SIMPLE 0 st->cur_skb->tail
NO_OVERFLOW_SIMPLE 0 st->cur_skb->truesize
NO_OVERFLOW_SIMPLE 0 st->upper_offset

net/xfrm/xfrm_iptfs.c iptfs_copy_create_frags() -> skb_abort_seq_read()

Type Parameter Key Value
PARAM_VALUE 0 st 3537385581009248256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 st->upper_offset
HALF_LOCKED2 irq

net/xfrm/xfrm_iptfs.c iptfs_copy_create_frags() -> skb_abort_seq_read()

Type Parameter Key Value
PARAM_VALUE 0 st 3537385581009248256
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 st->upper_offset
HALF_LOCKED2 irq

net/xfrm/xfrm_iptfs.c iptfs_input_ordered() -> skb_abort_seq_read()

Type Parameter Key Value
PARAM_VALUE 0 st 5021221164563156992
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 st->upper_offset

net/core/skbuff.c skb_ts_finish() -> skb_abort_seq_read()

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

drivers/target/iscsi/cxgbit/cxgbit_target.c cxgbit_skb_copy_to_sg() -> skb_abort_seq_read()

Type Parameter Key Value
PARAM_VALUE 0 st 6498572989528694784
PARAM_VALUE 0 st->frag_data 0,18379471554275704832,18446612682070032384
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 st->lower_offset 4-s32max[c]
NO_OVERFLOW_SIMPLE 0 st->upper_offset

drivers/scsi/libiscsi_tcp.c iscsi_tcp_recv_skb() -> skb_abort_seq_read()

Type Parameter Key Value
PARAM_VALUE 0 st 2001085521716449280
PARAM_VALUE 0 st->frag_data 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 st->frag_idx 0-254
PARAM_VALUE 0 st->upper_offset 1-u32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 st->upper_offset
HALF_LOCKED2 &csk->lock
HALF_LOCKED2 bh