Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

net/can/raw.c raw_sendmsg() -> can_send()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data->len 0-8
PARAM_VALUE 0 skb->data_len 0
PARAM_VALUE 0 skb->dev 4096-ptr_max
PARAM_VALUE 0 skb->dev->refcnt_tracker.list.next 4096-ptr_max
PARAM_VALUE 0 skb->extensions 4096-ptr_max
PARAM_VALUE 0 skb->extensions->refcnt.refs.counter 1
PARAM_VALUE 0 skb->len 16
PARAM_VALUE 0 skb->slow_gro 1
BUF_SIZE 0 skb 0-s32max
BUF_SIZE 0 skb 0-s32max
CAPPED_DATA 0 skb->dev->ifindex 1
DATA_SOURCE 0 skb r sock_alloc_send_skb
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/can/j1939/main.c j1939_send_one() -> can_send()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->cb 4096-ptr_max
PARAM_VALUE 0 skb->cb->addr.da 0-253
PARAM_VALUE 0 skb->cb->addr.pgn 0-262143
PARAM_VALUE 0 skb->cb->addr.sa 0-255
PARAM_VALUE 0 skb->cb->priority 0-7
PARAM_VALUE 0 skb->data_len 0
PARAM_VALUE 0 skb->extensions 4096-ptr_max
PARAM_VALUE 0 skb->extensions->refcnt.refs.counter 1
PARAM_VALUE 0 skb->slow_gro 1
PARAM_VALUE 1 loop 1
BUF_SIZE 0 skb (-1),16,240
BUF_SIZE 0 skb (-1),16,240
CAPPED_DATA 0 skb->cb->addr.dst_name 1
CAPPED_DATA 0 skb->cb->addr.src_name 1
CAPPED_DATA 0 skb->head 1
DATA_SOURCE 0 skb $1
FUZZY_MAX 0 skb->cb->priority 7
HARD_MAX 0 skb->cb->priority 7
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

net/can/bcm.c bcm_can_tx() -> can_send()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data_len 0
PARAM_VALUE 0 skb->destructor 6012370149383725056
PARAM_VALUE 0 skb->dev 4096-ptr_max
PARAM_VALUE 0 skb->dev->refcnt_tracker.list.next 4096-ptr_max
PARAM_VALUE 0 skb->extensions 4096-ptr_max
PARAM_VALUE 0 skb->extensions->refcnt.refs.counter 1
PARAM_VALUE 0 skb->sk 1-u64max
PARAM_VALUE 0 skb->sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 skb->slow_gro 1
PARAM_VALUE 1 loop 1
BUF_SIZE 0 skb 0-s32max
BUF_SIZE 0 skb 0-s32max
CAPPED_DATA 0 skb->dev->ifindex 1
DATA_SOURCE 0 skb r alloc_skb
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

net/can/bcm.c bcm_tx_send() -> can_send()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data_len 0
PARAM_VALUE 0 skb->destructor 6012370149383725056
PARAM_VALUE 0 skb->dev 4096-ptr_max
PARAM_VALUE 0 skb->dev->refcnt_tracker.list.next 4096-ptr_max
PARAM_VALUE 0 skb->extensions 4096-ptr_max
PARAM_VALUE 0 skb->extensions->refcnt.refs.counter 1
PARAM_VALUE 0 skb->sk 4096-ptr_max
PARAM_VALUE 0 skb->sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 skb->sk->sk_lock.owned 1
PARAM_VALUE 0 skb->sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 0 skb->slow_gro 1
PARAM_VALUE 1 loop 1
BUF_SIZE 0 skb 16,72
BUF_SIZE 0 skb 16,72
CAPPED_DATA 0 skb->dev->ifindex 1
DATA_SOURCE 0 skb r alloc_skb
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 skb->sk->sk_backlog.len
LOCK2 sk
HALF_LOCKED2 &vq->mutex

net/can/isotp.c isotp_send_cframe() -> can_send()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data 4096-ptr_max
PARAM_VALUE 0 skb->data->data 4096-ptr_max
PARAM_VALUE 0 skb->data_len 0
PARAM_VALUE 0 skb->destructor 6012370149383725056
PARAM_VALUE 0 skb->dev 4096-ptr_max
PARAM_VALUE 0 skb->dev->refcnt_tracker.list.next 4096-ptr_max
PARAM_VALUE 0 skb->extensions 4096-ptr_max
PARAM_VALUE 0 skb->extensions->refcnt.refs.counter 1
PARAM_VALUE 0 skb->hash 1-u32max
PARAM_VALUE 0 skb->sk 4096-ptr_max
PARAM_VALUE 0 skb->sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 skb->slow_gro 1
PARAM_VALUE 0 skb->sw_hash 1
PARAM_VALUE 0 *skb->data->data 0-255
PARAM_VALUE 1 loop 1
BUF_SIZE 0 skb 0-s32max
BUF_SIZE 0 skb 0-s32max
CAPPED_DATA 0 skb->dev->ifindex 1
DATA_SOURCE 0 skb r alloc_skb
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &so->rx_lock
HALF_LOCKED2 rcu_read

net/can/isotp.c isotp_send_fc() -> can_send()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data 4096-ptr_max
PARAM_VALUE 0 skb->data->data 4096-ptr_max
PARAM_VALUE 0 skb->data->len 3-4,8
PARAM_VALUE 0 skb->data_len 0
PARAM_VALUE 0 skb->destructor 6012370149383725056
PARAM_VALUE 0 skb->dev 4096-ptr_max
PARAM_VALUE 0 skb->dev->refcnt_tracker.list.next 4096-ptr_max
PARAM_VALUE 0 skb->extensions 4096-ptr_max
PARAM_VALUE 0 skb->extensions->refcnt.refs.counter 1
PARAM_VALUE 0 skb->sk 4096-ptr_max
PARAM_VALUE 0 skb->sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 skb->slow_gro 1
PARAM_VALUE 1 loop 1
BUF_SIZE 0 skb 0-s32max
BUF_SIZE 0 skb 0-s32max
CAPPED_DATA 0 skb->dev->ifindex 1
DATA_SOURCE 0 skb r alloc_skb
FUZZY_MAX 0 skb->data->len 8
HARD_MAX 0 skb->data->len 8
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &so->rx_lock
LOCK2 rcu_read
TYPE_LOCK (struct isotp_sock)->rx_lock

net/can/isotp.c isotp_sendmsg() -> can_send()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->data 4096-ptr_max
PARAM_VALUE 0 skb->data_len 0
PARAM_VALUE 0 skb->dev 4096-ptr_max
PARAM_VALUE 0 skb->dev->refcnt_tracker.list.next 4096-ptr_max
PARAM_VALUE 0 skb->extensions 4096-ptr_max
PARAM_VALUE 0 skb->extensions->refcnt.refs.counter 1
PARAM_VALUE 0 skb->hash 1-u32max
PARAM_VALUE 0 skb->sk 4096-ptr_max
PARAM_VALUE 0 skb->sk->__sk_common.skc_refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 skb->slow_gro 1
PARAM_VALUE 0 skb->sw_hash 1
PARAM_VALUE 0 *skb->data->data 0-255
PARAM_VALUE 1 loop 1
BUF_SIZE 0 skb 0-s32max
BUF_SIZE 0 skb 0-s32max
CAPPED_DATA 0 skb->dev->ifindex 1
DATA_SOURCE 0 skb r sock_alloc_send_skb
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 skb->sk->sk_backlog.len
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/can/gw.c can_can_gw_rcv() -> can_send()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->dev 4096-ptr_max
PARAM_VALUE 0 skb->dev->flags 1-u32max
PARAM_VALUE 0 skb->extensions 4096-ptr_max
PARAM_VALUE 0 skb->extensions->refcnt.refs.counter 1
PARAM_VALUE 0 skb->slow_gro 1
PARAM_VALUE 1 loop 0-1
BUF_SIZE 0 skb (-1)-s32max
BUF_SIZE 0 skb (-1)-s32max
CAPPED_DATA 0 skb->extensions 1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 skb->tstamp 500000002-4294967299794967295[c]
NO_OVERFLOW_SIMPLE 0 skb->dev->proto_down
NO_OVERFLOW_SIMPLE 0 skb->end
LOCK2 rcu_read