skb_segment identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

net/core/skbuff.c, line 4768

Defined in 1 files as a prototype:

include/linux/skbuff.h, line 4276 (as a prototype)

Defined in 1 files as a function:

net/core/skbuff.c, line 4777 (as a function)

Referenced in 7 files:

Smatch caller information:

net/sctp/offload.c sctp_gso_segment() -> skb_segment()

Type	Parameter	Key	Value
PARAM_VALUE	0	head_skb	4096-ptr_max
PARAM_VALUE	0	head_skb->data	4096-ptr_max
PARAM_VALUE	0	head_skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire	0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE	0	head_skb->dev->nd_net.net->ipv4.fqdir->f->qsize	0,304,320
PARAM_VALUE	0	head_skb->dev->ndisc_ops->fill_addr_option	4096-ptr_max
PARAM_VALUE	0	head_skb->dev->ndisc_ops->parse_options	4096-ptr_max
PARAM_VALUE	0	head_skb->dev->ndisc_ops->update	4096-ptr_max
PARAM_VALUE	0	head_skb->dev->rtnl_link_ops->maxtype	0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE	0	head_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,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3544,3552,3720,9688-u64max
PARAM_VALUE	1	features	8-u64max
BUF_SIZE	0	head_skb	(-1)-s32max
BUF_SIZE	0	head_skb	(-1)-s32max
BUF_SIZE	0	head_skb->dev	s32min-(-1),1-s32max
CAPPED_DATA	0	head_skb->data_len	1
DATA_SOURCE	0	head_skb	$0
CONSTRAINT	0	head_skb	<=49
CONSTRAINT	0	head_skb->data_len	<=49
BIT_INFO	1	features	0x8,0xfffffffffffffffe
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	head_skb->csum	0-4294967040[c]
HOST_DATA	0	head_skb->csum_offset	0-u16max
HOST_DATA	0	head_skb->inner_protocol	1-255
HOST_DATA	0	head_skb->next->csum_offset	0-u16max
HOST_DATA	0	head_skb->next->data_len	0-u32max[c]
HOST_DATA	0	head_skb->next->len	1-u32max[c]
HOST_DATA	0	head_skb->prev->csum_offset	0-u16max
HOST_DATA	0	head_skb->prev->data_len	0-u32max[c]
HOST_DATA	0	head_skb->prev->len	0-u32max[c]
HOST_DATA	0	head_skb->prev->truesize	0-u32max
HOST_DATA	0	head_skb->prev->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	head_skb->prev->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	head_skb->protocol	1-255
HOST_DATA	0	head_skb->tstamp	500000002-4294967299794967295[c]
HOST_DATA	0	head_skb->users.refs.counter	s32min-0,2-s32max
HOST_DATA	0	*head_skb->data	0-255
NO_OVERFLOW_SIMPLE	0	head_skb->data_len
NO_OVERFLOW_SIMPLE	0	head_skb->dev->group
NO_OVERFLOW_SIMPLE	0	head_skb->dev->num_tc
NO_OVERFLOW_SIMPLE	0	head_skb->dev->real_num_rx_queues
NO_OVERFLOW_SIMPLE	0	head_skb->dev->real_num_tx_queues
NO_OVERFLOW_SIMPLE	0	head_skb->dev->stats.rx_bytes
NO_OVERFLOW_SIMPLE	0	head_skb->dev->stats.tx_bytes
NO_OVERFLOW_SIMPLE	0	head_skb->dev->tx_queue_len
NO_OVERFLOW_SIMPLE	0	head_skb->end
NO_OVERFLOW_SIMPLE	0	head_skb->len
NO_OVERFLOW_SIMPLE	0	head_skb->next->data_len
NO_OVERFLOW_SIMPLE	0	head_skb->next->end
NO_OVERFLOW_SIMPLE	0	head_skb->next->len
NO_OVERFLOW_SIMPLE	0	head_skb->next->tail
NO_OVERFLOW_SIMPLE	0	head_skb->next->truesize
NO_OVERFLOW_SIMPLE	0	head_skb->prev->data_len
NO_OVERFLOW_SIMPLE	0	head_skb->prev->end
NO_OVERFLOW_SIMPLE	0	head_skb->prev->len
NO_OVERFLOW_SIMPLE	0	head_skb->prev->tail
NO_OVERFLOW_SIMPLE	0	head_skb->prev->truesize
NO_OVERFLOW_SIMPLE	0	head_skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE	0	head_skb->tail
NO_OVERFLOW_SIMPLE	0	head_skb->truesize
HALF_LOCKED2		rcu_read

net/ipv4/tcp_offload.c tcp_gso_segment() -> skb_segment()

Type	Parameter	Key	Value
PARAM_VALUE	0	head_skb	4096-ptr_max
PARAM_VALUE	0	head_skb->data	4096-ptr_max
PARAM_VALUE	0	head_skb->ip_summed	3
PARAM_VALUE	0	head_skb->len	1-u32max
PARAM_VALUE	0	head_skb->ooo_okay	0
CAPPED_DATA	0	head_skb->data_len	1
DATA_SOURCE	0	head_skb	$0
DATA_SOURCE	1	features	$1
CONSTRAINT	0	head_skb->data_len	<=49

lib/test_bpf.c test_skb_segment_single() -> skb_segment()

Type	Parameter	Key	Value
PARAM_VALUE	0	head_skb	4096-ptr_max

net/core/net_test.c gso_test_func() -> skb_segment()

Type	Parameter	Key	Value
PARAM_VALUE	0	head_skb	4096-ptr_max
PARAM_VALUE	0	head_skb->_nfct	0
PARAM_VALUE	0	head_skb->_sk_redir	0
PARAM_VALUE	0	head_skb->_skb_refdst	0
PARAM_VALUE	0	head_skb->active_extensions	0
PARAM_VALUE	0	head_skb->alloc_cpu	0
PARAM_VALUE	0	head_skb->cloned	0
PARAM_VALUE	0	head_skb->csum	0
PARAM_VALUE	0	head_skb->csum_complete_sw	0
PARAM_VALUE	0	head_skb->csum_level	0
PARAM_VALUE	0	head_skb->csum_not_inet	0
PARAM_VALUE	0	head_skb->csum_offset	0
PARAM_VALUE	0	head_skb->csum_start	0
PARAM_VALUE	0	head_skb->csum_valid	0
PARAM_VALUE	0	head_skb->data	4096-ptr_max
PARAM_VALUE	0	head_skb->decrypted	0
PARAM_VALUE	0	head_skb->destructor	0
PARAM_VALUE	0	head_skb->dev	0
PARAM_VALUE	0	head_skb->dev_scratch	0
PARAM_VALUE	0	head_skb->dst_pending_confirm	0
PARAM_VALUE	0	head_skb->encap_hdr_csum	0
PARAM_VALUE	0	head_skb->encapsulation	0
PARAM_VALUE	0	head_skb->end	0
PARAM_VALUE	0	head_skb->extensions	0
PARAM_VALUE	0	head_skb->fclone	0
PARAM_VALUE	0	head_skb->from_ingress	0
PARAM_VALUE	0	head_skb->hash	0
PARAM_VALUE	0	head_skb->hdr_len	0
PARAM_VALUE	0	head_skb->head	0
PARAM_VALUE	0	head_skb->headers.alloc_cpu	0
PARAM_VALUE	0	head_skb->headers.csum	0
PARAM_VALUE	0	head_skb->headers.csum_complete_sw	0
PARAM_VALUE	0	head_skb->headers.csum_level	0
PARAM_VALUE	0	head_skb->headers.csum_not_inet	0
PARAM_VALUE	0	head_skb->headers.csum_offset	0
PARAM_VALUE	0	head_skb->headers.csum_start	0
PARAM_VALUE	0	head_skb->headers.csum_valid	0
PARAM_VALUE	0	head_skb->headers.decrypted	0
PARAM_VALUE	0	head_skb->headers.dst_pending_confirm	0
PARAM_VALUE	0	head_skb->headers.encap_hdr_csum	0
PARAM_VALUE	0	head_skb->headers.encapsulation	0
PARAM_VALUE	0	head_skb->headers.from_ingress	0
PARAM_VALUE	0	head_skb->headers.hash	0
PARAM_VALUE	0	head_skb->headers.ignore_df	0
PARAM_VALUE	0	head_skb->headers.inner_ipproto	0
PARAM_VALUE	0	head_skb->headers.inner_mac_header	0
PARAM_VALUE	0	head_skb->headers.inner_network_header	0
PARAM_VALUE	0	head_skb->headers.inner_protocol	0
PARAM_VALUE	0	head_skb->headers.inner_protocol_type	0
PARAM_VALUE	0	head_skb->headers.inner_transport_header	0
PARAM_VALUE	0	head_skb->headers.ip_summed	0
PARAM_VALUE	0	head_skb->headers.ipvs_property	0
PARAM_VALUE	0	head_skb->headers.kcov_handle.val	0
PARAM_VALUE	0	head_skb->headers.l4_hash	0
PARAM_VALUE	0	head_skb->headers.mac_header	0
PARAM_VALUE	0	head_skb->headers.mark	0
PARAM_VALUE	0	head_skb->headers.napi_id	0
PARAM_VALUE	0	head_skb->headers.ndisc_nodetype	0
PARAM_VALUE	0	head_skb->headers.network_header	0
PARAM_VALUE	0	head_skb->headers.nf_skip_egress	0
PARAM_VALUE	0	head_skb->headers.nf_trace	0
PARAM_VALUE	0	head_skb->headers.no_fcs	0
PARAM_VALUE	0	head_skb->headers.offload_fwd_mark	0
PARAM_VALUE	0	head_skb->headers.offload_l3_fwd_mark	0
PARAM_VALUE	0	head_skb->headers.ooo_okay	0
PARAM_VALUE	0	head_skb->headers.pkt_type	0
PARAM_VALUE	0	head_skb->headers.priority	0
PARAM_VALUE	0	head_skb->headers.protocol	0
PARAM_VALUE	0	head_skb->headers.redirected	0
PARAM_VALUE	0	head_skb->headers.remcsum_offload	0
PARAM_VALUE	0	head_skb->headers.reserved_tailroom	0
PARAM_VALUE	0	head_skb->headers.secmark	0
PARAM_VALUE	0	head_skb->headers.sender_cpu	0
PARAM_VALUE	0	head_skb->headers.skb_iif	0
PARAM_VALUE	0	head_skb->headers.slow_gro	0
PARAM_VALUE	0	head_skb->headers.sw_hash	0
PARAM_VALUE	0	head_skb->headers.tc_at_ingress	0
PARAM_VALUE	0	head_skb->headers.tc_depth	0
PARAM_VALUE	0	head_skb->headers.tc_index	0
PARAM_VALUE	0	head_skb->headers.tc_skip_classify	0
PARAM_VALUE	0	head_skb->headers.transport_header	0
PARAM_VALUE	0	head_skb->headers.tstamp_type	0
PARAM_VALUE	0	head_skb->headers.unreadable	0
PARAM_VALUE	0	head_skb->headers.vlan_all	0
PARAM_VALUE	0	head_skb->headers.vlan_proto	0
PARAM_VALUE	0	head_skb->headers.vlan_tci	0
PARAM_VALUE	0	head_skb->headers.wifi_acked	0
PARAM_VALUE	0	head_skb->headers.wifi_acked_valid	0
PARAM_VALUE	0	head_skb->ignore_df	0
PARAM_VALUE	0	head_skb->inner_ipproto	0
PARAM_VALUE	0	head_skb->inner_mac_header	0
PARAM_VALUE	0	head_skb->inner_network_header	0
PARAM_VALUE	0	head_skb->inner_protocol	0
PARAM_VALUE	0	head_skb->inner_protocol_type	0
PARAM_VALUE	0	head_skb->inner_transport_header	0
PARAM_VALUE	0	head_skb->ip_summed	0
PARAM_VALUE	0	head_skb->ipvs_property	0
PARAM_VALUE	0	head_skb->kcov_handle.val	0
PARAM_VALUE	0	head_skb->l4_hash	0
PARAM_VALUE	0	head_skb->list.next	0
PARAM_VALUE	0	head_skb->list.prev	0
PARAM_VALUE	0	head_skb->ll_node.next	0
PARAM_VALUE	0	head_skb->mac_len	0
PARAM_VALUE	0	head_skb->mark	0
PARAM_VALUE	0	head_skb->napi_id	0
PARAM_VALUE	0	head_skb->ndisc_nodetype	0
PARAM_VALUE	0	head_skb->next	0
PARAM_VALUE	0	head_skb->nf_skip_egress	0
PARAM_VALUE	0	head_skb->nf_trace	0
PARAM_VALUE	0	head_skb->no_fcs	0
PARAM_VALUE	0	head_skb->nohdr	0
PARAM_VALUE	0	head_skb->offload_fwd_mark	0
PARAM_VALUE	0	head_skb->offload_l3_fwd_mark	0
PARAM_VALUE	0	head_skb->ooo_okay	0
PARAM_VALUE	0	head_skb->peeked	0
PARAM_VALUE	0	head_skb->pkt_type	0
PARAM_VALUE	0	head_skb->pp_recycle	0
PARAM_VALUE	0	head_skb->prev	0
PARAM_VALUE	0	head_skb->priority	0
PARAM_VALUE	0	head_skb->protocol	32923
PARAM_VALUE	0	head_skb->queue_mapping	0
PARAM_VALUE	0	head_skb->rbnode.__rb_parent_color	0
PARAM_VALUE	0	head_skb->rbnode.rb_left	0
PARAM_VALUE	0	head_skb->rbnode.rb_right	0
PARAM_VALUE	0	head_skb->redirected	0
PARAM_VALUE	0	head_skb->remcsum_offload	0
PARAM_VALUE	0	head_skb->reserved_tailroom	0
PARAM_VALUE	0	head_skb->secmark	0
PARAM_VALUE	0	head_skb->sender_cpu	0
PARAM_VALUE	0	head_skb->sk	0
PARAM_VALUE	0	head_skb->skb_iif	0
PARAM_VALUE	0	head_skb->skb_mstamp_ns	0
PARAM_VALUE	0	head_skb->slow_gro	0
PARAM_VALUE	0	head_skb->sw_hash	0
PARAM_VALUE	0	head_skb->tc_at_ingress	0
PARAM_VALUE	0	head_skb->tc_depth	0
PARAM_VALUE	0	head_skb->tc_index	0
PARAM_VALUE	0	head_skb->tc_skip_classify	0
PARAM_VALUE	0	head_skb->tcp_tsorted_anchor.next	0
PARAM_VALUE	0	head_skb->tcp_tsorted_anchor.prev	0
PARAM_VALUE	0	head_skb->transport_header	4096-u16max
PARAM_VALUE	0	head_skb->tstamp	0
PARAM_VALUE	0	head_skb->tstamp_type	0
PARAM_VALUE	0	head_skb->users.refs.counter	1
PARAM_VALUE	0	head_skb->vlan_all	0
PARAM_VALUE	0	head_skb->vlan_proto	0
PARAM_VALUE	0	head_skb->vlan_tci	0
PARAM_VALUE	0	head_skb->wifi_acked	0
PARAM_VALUE	0	head_skb->wifi_acked_valid	0
PARAM_VALUE	1	features	8-9,268435465
DATA_SOURCE	0	head_skb	r build_skb
FUZZY_MAX	1	features	9
BIT_INFO	1	features	0x8,0x10000009
BIT_INFO	1	features	0x8,0x10000009
NO_OVERFLOW_SIMPLE	0	head_skb->end

net/ipv4/udp_offload.c __udp_gso_segment() -> skb_segment()

Type	Parameter	Key	Value
PARAM_VALUE	0	head_skb	4096-ptr_max
PARAM_VALUE	0	head_skb->data	4096-ptr_max
PARAM_VALUE	0	head_skb->destructor	0-7346051344949997567,7346051344949997569-u64max
DATA_SOURCE	0	head_skb	$0
DATA_SOURCE	1	features	$1 [m]

net/ipv4/udp_offload.c udp4_ufo_fragment() -> skb_segment()

Type	Parameter	Key	Value
PARAM_VALUE	0	head_skb	4096-ptr_max
PARAM_VALUE	0	head_skb->ip_summed	1
PARAM_VALUE	0	head_skb->len	1-s32max
DATA_SOURCE	0	head_skb	$0
DATA_SOURCE	1	features	$1 [m]

net/ipv6/udp_offload.c udp6_ufo_fragment() -> skb_segment()

Type	Parameter	Key	Value
PARAM_VALUE	0	head_skb	4096-ptr_max
PARAM_VALUE	0	head_skb->cb	4096-ptr_max
PARAM_VALUE	0	head_skb->dev	4096-ptr_max
PARAM_VALUE	0	head_skb->ip_summed	1
PARAM_VALUE	0	head_skb->len	1-s32max
CAPPED_DATA	0	head_skb->dev->nd_net.net	1
CAPPED_DATA	0	head_skb->len	1
DATA_SOURCE	0	head_skb	$0
DATA_SOURCE	1	features	$1 [m]