Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/packet/af_packet.c __virtio_net_hdr_to_skb() -> skb_flow_dissect_flow_keys_basic()

Type Parameter Key Value
PARAM_VALUE 0 net 0
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->dev 4096-ptr_max
PARAM_VALUE 1 skb->dev->flags 1-u32max
PARAM_VALUE 1 skb->dev->header_ops->parse_protocol 0,4927389631704563712,5013334982761803776,5267698508377800704
PARAM_VALUE 1 skb->network_header 1-u16max
PARAM_VALUE 1 skb->skb_mstamp_ns 0
PARAM_VALUE 1 skb->tstamp 0
PARAM_VALUE 1 skb->tstamp_type 0
PARAM_VALUE 2 flow 8338813330579267584
PARAM_VALUE 3 data 0
PARAM_VALUE 4 proto 0
PARAM_VALUE 5 nhoff 0
PARAM_VALUE 6 hlen 0
PARAM_VALUE 7 flags 0
BUF_SIZE 1 skb 0-s32max
BUF_SIZE 1 skb 0-s32max
DATA_SOURCE 1 skb $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 skb->data_len 0-u32max[c]
HOST_DATA 1 skb->len 1-u32max[c]
NO_OVERFLOW_SIMPLE 1 skb->sk->sk_backlog.len
HALF_LOCKED2 &po->pg_vec_lock
HALF_LOCKED2 &vq->mutex

net/packet/af_packet.c skb_probe_transport_header() -> skb_flow_dissect_flow_keys_basic()

Type Parameter Key Value
PARAM_VALUE 0 net 0
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->dev->header_ops->parse_protocol 0,4927389631704563712,5013334982761803776,5267698508377800704
PARAM_VALUE 1 skb->skb_mstamp_ns 0
PARAM_VALUE 1 skb->transport_header u16max
PARAM_VALUE 1 skb->tstamp 0
PARAM_VALUE 1 skb->tstamp_type 0
PARAM_VALUE 2 flow 7575182514658852864
PARAM_VALUE 3 data 0
PARAM_VALUE 4 proto 0
PARAM_VALUE 5 nhoff 0
PARAM_VALUE 6 hlen 0
PARAM_VALUE 7 flags 0
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 1 skb $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 skb->data_len 0-u32max[c]
HOST_DATA 1 skb->len 1-u32max[c]
NO_OVERFLOW_SIMPLE 1 skb->sk->sk_backlog.len
HALF_LOCKED2 rcu_read

net/ethernet/eth.c eth_get_headlen() -> skb_flow_dissect_flow_keys_basic()

Type Parameter Key Value
PARAM_VALUE 1 skb 0
PARAM_VALUE 2 flow 2611802347568513024
PARAM_VALUE 3 data 4096-ptr_max
PARAM_VALUE 5 nhoff 14
PARAM_VALUE 6 hlen s32min-(-1),14-s32max
PARAM_VALUE 7 flags 1
BUF_SIZE 3 data (-1),1-s32max
BUF_SIZE 3 data (-1),1-s32max
DATA_SOURCE 3 data $1
DATA_SOURCE 6 hlen $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 proto 0-u16max[u]
UNITS 3 data unit_byte
UNITS 4 proto unit_byte
UNITS 5 nhoff unit_byte
UNITS 6 hlen unit_byte
USER_PTR 3 data
HALF_LOCKED2 &eohw_txq->lock
HALF_LOCKED2 &eosw_txq->lock
HALF_LOCKED2 &tfile->napi_mutex
HALF_LOCKED2 rcu_read

drivers/net/wireguard/send.c skb_probe_transport_header() -> skb_flow_dissect_flow_keys_basic()

Type Parameter Key Value
PARAM_VALUE 0 net 0
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->_nfct 0
PARAM_VALUE 1 skb->_skb_refdst 0
PARAM_VALUE 1 skb->active_extensions 0
PARAM_VALUE 1 skb->dev 0
PARAM_VALUE 1 skb->hash 1-u32max
PARAM_VALUE 1 skb->ignore_df 0
PARAM_VALUE 1 skb->ip_summed 0-2
PARAM_VALUE 1 skb->ipvs_property 0
PARAM_VALUE 1 skb->l4_hash 0
PARAM_VALUE 1 skb->mac_len 0
PARAM_VALUE 1 skb->mark 0
PARAM_VALUE 1 skb->nf_trace 0
PARAM_VALUE 1 skb->nohdr 0
PARAM_VALUE 1 skb->offload_fwd_mark 0
PARAM_VALUE 1 skb->offload_l3_fwd_mark 0
PARAM_VALUE 1 skb->peeked 0
PARAM_VALUE 1 skb->pkt_type 0
PARAM_VALUE 1 skb->queue_mapping 0
PARAM_VALUE 1 skb->redirected 0
PARAM_VALUE 1 skb->skb_iif 0
PARAM_VALUE 1 skb->skb_mstamp_ns 0
PARAM_VALUE 1 skb->sw_hash 1
PARAM_VALUE 1 skb->tc_index 0
PARAM_VALUE 1 skb->transport_header u16max
PARAM_VALUE 1 skb->tstamp 0
PARAM_VALUE 2 flow 5711776584816685056
PARAM_VALUE 3 data 0
PARAM_VALUE 4 proto 0
PARAM_VALUE 5 nhoff 0
PARAM_VALUE 6 hlen 0
PARAM_VALUE 7 flags 0
BUF_SIZE 1 skb (-1),1-s32max
BUF_SIZE 1 skb (-1),1-s32max
CAPPED_DATA 1 skb 1
DATA_SOURCE 1 skb $0
MEM_ZERO 1 &skb->headers
UNITS 1 skb unit_byte

drivers/net/wireguard/receive.c skb_probe_transport_header() -> skb_flow_dissect_flow_keys_basic()

Type Parameter Key Value
PARAM_VALUE 0 net 0
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->_nfct 0
PARAM_VALUE 1 skb->_skb_refdst 0
PARAM_VALUE 1 skb->active_extensions 0
PARAM_VALUE 1 skb->cb 4096-ptr_max
PARAM_VALUE 1 skb->dev 0
PARAM_VALUE 1 skb->ignore_df 0
PARAM_VALUE 1 skb->ipvs_property 0
PARAM_VALUE 1 skb->mac_len 0
PARAM_VALUE 1 skb->mark 0
PARAM_VALUE 1 skb->nf_trace 0
PARAM_VALUE 1 skb->nohdr 0
PARAM_VALUE 1 skb->offload_fwd_mark 0
PARAM_VALUE 1 skb->offload_l3_fwd_mark 0
PARAM_VALUE 1 skb->peeked 0
PARAM_VALUE 1 skb->pkt_type 0
PARAM_VALUE 1 skb->protocol 2048,34525
PARAM_VALUE 1 skb->queue_mapping 0
PARAM_VALUE 1 skb->redirected 0
PARAM_VALUE 1 skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 1 skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 skb->skb_iif 0
PARAM_VALUE 1 skb->skb_mstamp_ns 0
PARAM_VALUE 1 skb->tc_index 0
PARAM_VALUE 1 skb->transport_header u16max
PARAM_VALUE 1 skb->tstamp 0
PARAM_VALUE 2 flow 6301029717693648896
PARAM_VALUE 3 data 0
PARAM_VALUE 4 proto 0
PARAM_VALUE 5 nhoff 0
PARAM_VALUE 6 hlen 0
PARAM_VALUE 7 flags 0
DATA_SOURCE 1 skb $0
MEM_ZERO 1 &skb->headers
RX_PATH

drivers/net/tap.c __virtio_net_hdr_to_skb() -> skb_flow_dissect_flow_keys_basic()

Type Parameter Key Value
PARAM_VALUE 0 net 0
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->destructor 0,5871617288306880512,7346051344949997568
PARAM_VALUE 1 skb->dev->header_ops->parse_protocol 0,4927389631704563712,5013334982761803776,5267698508377800704
PARAM_VALUE 1 skb->network_header 1-u16max
PARAM_VALUE 1 skb->sk 0,4096-ptr_max
PARAM_VALUE 2 flow 1983862697702027264
PARAM_VALUE 3 data 0
PARAM_VALUE 4 proto 0
PARAM_VALUE 5 nhoff 0
PARAM_VALUE 6 hlen 0
PARAM_VALUE 7 flags 0
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 1 skb $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

drivers/net/tap.c skb_probe_transport_header() -> skb_flow_dissect_flow_keys_basic()

Type Parameter Key Value
PARAM_VALUE 0 net 0
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->destructor 0,5871617288306880512,7346051344949997568
PARAM_VALUE 1 skb->sk 0,4096-ptr_max
PARAM_VALUE 1 skb->transport_header u16max
PARAM_VALUE 2 flow 6604491812256796672
PARAM_VALUE 3 data 0
PARAM_VALUE 4 proto 0
PARAM_VALUE 5 nhoff 0
PARAM_VALUE 6 hlen 0
PARAM_VALUE 7 flags 0
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 1 skb $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 skb->end
LOCK2 rcu_read

drivers/net/xen-netback/netback.c skb_probe_transport_header() -> skb_flow_dissect_flow_keys_basic()

Type Parameter Key Value
PARAM_VALUE 0 net 0
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->cb 4096-ptr_max
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 1 skb->dev 4096-ptr_max
PARAM_VALUE 1 skb->dev->dev_addr 4096-ptr_max
PARAM_VALUE 1 skb->dev->nd_net.net->ipv4.fqdir->f->frag_expire 0,663510801442193408,1753052602134376448,4007388366431105024,8876081723503042560
PARAM_VALUE 1 skb->dev->nd_net.net->ipv4.fqdir->f->qsize 0,304,320
PARAM_VALUE 1 skb->dev->ndisc_ops->fill_addr_option 4096-ptr_max
PARAM_VALUE 1 skb->dev->ndisc_ops->parse_options 4096-ptr_max
PARAM_VALUE 1 skb->dev->ndisc_ops->update 4096-ptr_max
PARAM_VALUE 1 skb->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,34,50
PARAM_VALUE 1 skb->len 0-4294967281
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->pkt_type 1-3
PARAM_VALUE 1 skb->prev 0
PARAM_VALUE 1 skb->transport_header u16max
PARAM_VALUE 2 flow 6174473724874895360
PARAM_VALUE 3 data 0
PARAM_VALUE 4 proto 0
PARAM_VALUE 5 nhoff 0
PARAM_VALUE 6 hlen 0
PARAM_VALUE 7 flags 0
DATA_SOURCE 1 skb $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/core/flow_dissector.c skb_get_poff() -> skb_flow_dissect_flow_keys_basic()

Type Parameter Key Value
PARAM_VALUE 0 net 0
PARAM_VALUE 2 flow 250914957260034048
PARAM_VALUE 3 data 0
PARAM_VALUE 4 proto 0
PARAM_VALUE 5 nhoff 0
PARAM_VALUE 6 hlen 0
PARAM_VALUE 7 flags 0
DATA_SOURCE 1 skb $0

drivers/net/tun.c __virtio_net_hdr_to_skb() -> skb_flow_dissect_flow_keys_basic()

Type Parameter Key Value
PARAM_VALUE 0 net 0
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->dev->header_ops->parse_protocol 0,4927389631704563712,5013334982761803776,5267698508377800704
PARAM_VALUE 1 skb->network_header 1-u16max
PARAM_VALUE 2 flow 4020276810450350080
PARAM_VALUE 3 data 0
PARAM_VALUE 4 proto 0
PARAM_VALUE 5 nhoff 0
PARAM_VALUE 6 hlen 0
PARAM_VALUE 7 flags 0
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 1 skb $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/tun.c skb_probe_transport_header() -> skb_flow_dissect_flow_keys_basic()

Type Parameter Key Value
PARAM_VALUE 0 net 0
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->destructor 0,5871617288306880512,7346051344949997568
PARAM_VALUE 1 skb->inner_protocol 0,2048,34525
PARAM_VALUE 1 skb->inner_protocol_type 0
PARAM_VALUE 1 skb->ip_summed 3
PARAM_VALUE 1 skb->sk 0,4096-ptr_max
PARAM_VALUE 1 skb->transport_header u16max
PARAM_VALUE 2 flow 8024195215551737856
PARAM_VALUE 3 data 0
PARAM_VALUE 4 proto 0
PARAM_VALUE 5 nhoff 0
PARAM_VALUE 6 hlen 0
PARAM_VALUE 7 flags 0
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
CAPPED_DATA 1 skb 1
DATA_SOURCE 1 skb $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 skb->end
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/virtio_net.c __virtio_net_hdr_to_skb() -> skb_flow_dissect_flow_keys_basic()

Type Parameter Key Value
PARAM_VALUE 0 net 0
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->dev->header_ops->parse_protocol 0,4927389631704563712,5013334982761803776,5267698508377800704
PARAM_VALUE 1 skb->network_header 1-u16max
PARAM_VALUE 2 flow 9217443559994470400
PARAM_VALUE 3 data 0
PARAM_VALUE 4 proto 0
PARAM_VALUE 5 nhoff 0
PARAM_VALUE 6 hlen 0
PARAM_VALUE 7 flags 0
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 1 skb $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 skb->len
NO_OVERFLOW_SIMPLE 1 skb->tail
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read