Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

net/core/skbuff.c __skb_send_sock() -> sendmsg_locked()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 sk->ns_tracker->dead 0-1
PARAM_VALUE 0 sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 sk->sk_backlog.head->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 sk->sk_backlog.head->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 sk->sk_backlog.head->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 sk->sk_peer_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 sk->sk_peer_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 sk->sk_peer_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 sk->sk_peer_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 sk->sk_peer_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 sk->sk_peer_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 sk->sk_peer_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 sk->sk_peer_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 sk->sk_socket->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 sk->sk_socket->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 sk->sk_socket->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 msg 8990689607666532352
PARAM_VALUE 1 msg->msg_flags 64,16448,32832,49216
CAPPED_DATA 0 sk 1
DATA_SOURCE 0 sk $0
MEM_ZERO 1 msg
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->truesize
UNITS 0 sk unit_byte
HALF_LOCKED2 0 sk
HALF_LOCKED2 0 &sk->sk_lock.slock

net/core/skbuff.c __skb_send_sock() -> sendmsg_locked()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 1 msg 8990689607666532352
PARAM_VALUE 1 msg->msg_flags 134217792,134234176,134250560,134266944
PARAM_VALUE 1 msg->msg_inq 0
PARAM_VALUE 1 msg->msg_name 0
PARAM_VALUE 1 msg->msg_ubuf 0
CAPPED_DATA 0 sk 1
DATA_SOURCE 0 sk $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->len
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sk->sk_write_queue.prev->truesize
UNITS 0 sk unit_byte
HALF_LOCKED2 &psock->work_mutex
HALF_LOCKED2 0 sk
HALF_LOCKED2 0 &sk->sk_lock.slock

Smatch assignments to (struct proto_ops)->sendmsg_locked:

net/bluetooth/hidp/sock.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/can/raw.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/rds/af_rds.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/key/af_key.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/kcm/kcmsock.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/qrtr/af_qrtr.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/bluetooth/bnep/sock.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/nfc/rawsock.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/packet/af_packet.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/atm/pvc.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

crypto/algif_aead.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/tipc/socket.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

drivers/net/ppp/pptp.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/llc/af_llc.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/bluetooth/sco.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/l2tp/l2tp_ip.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/can/bcm.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/bluetooth/l2cap_sock.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/l2tp/l2tp_ip6.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/bluetooth/hci_sock.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/unix/af_unix.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/sctp/protocol.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/can/isotp.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

drivers/net/tap.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/phonet/socket.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/mptcp/protocol.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/xfrm/espintcp.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/xfrm/espintcp.c espintcp_init() -> (struct proto_ops)->sendmsg_locked [min-max]

net/xfrm/espintcp.c espintcp_init_sk() -> (struct proto_ops)->sendmsg_locked [min-max]

crypto/af_alg.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

crypto/algif_skcipher.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/ipv4/af_inet.c (null)() -> (struct proto_ops)->sendmsg_locked [0,8625401886911983616]

drivers/net/ppp/pppoe.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/vmw_vsock/af_vsock.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/smc/af_smc.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/bluetooth/iso.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/l2tp/l2tp_ppp.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/ieee802154/socket.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/xdp/xsk.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/mctp/af_mctp.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

drivers/net/tun.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/ipv6/raw.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/rxrpc/af_rxrpc.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

drivers/net/ovpn/tcp.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

drivers/net/ovpn/tcp.c ovpn_tcp_init() -> (struct proto_ops)->sendmsg_locked [min-max]

net/nfc/llcp_sock.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/bluetooth/rfcomm/sock.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/smc/smc_inet.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/ipv6/af_inet6.c (null)() -> (struct proto_ops)->sendmsg_locked [0,8625401886911983616]

crypto/algif_hash.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

crypto/algif_rng.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/sctp/ipv6.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/can/j1939/socket.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/x25/af_x25.c (null)() -> (struct proto_ops)->sendmsg_locked [0]

net/netlink/af_netlink.c (null)() -> (struct proto_ops)->sendmsg_locked [0]