Open Menu /

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

drivers/virt/coco/sev-guest/sev-guest.c get_ext_report() -> sockptr_is_null()

Type Parameter Key Value
BIT_INFO 0 sockptr 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 _T->lock

drivers/virt/coco/sev-guest/sev-guest.c get_ext_report() -> sockptr_is_null()

Type Parameter Key Value
BIT_INFO 0 sockptr 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 _T->lock

net/xfrm/xfrm_state.c xfrm_user_policy() -> sockptr_is_null()

Type Parameter Key Value
DATA_SOURCE 0 sockptr $2
BIT_INFO 0 sockptr 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

net/tipc/socket.c tipc_setsockopt() -> sockptr_is_null()

Type Parameter Key Value
DATA_SOURCE 0 sockptr $3
BIT_INFO 0 sockptr 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &smc->clcsock_release_lock

net/ipv6/ipv6_sockglue.c do_ipv6_setsockopt() -> sockptr_is_null()

Type Parameter Key Value
DATA_SOURCE 0 sockptr $3
BIT_INFO 0 sockptr 0x0,0x0
RX_PATH
TASK_NOT_RUNNING

net/ipv6/ipv6_sockglue.c do_ipv6_setsockopt() -> sockptr_is_null()

Type Parameter Key Value
DATA_SOURCE 0 sockptr $3
BIT_INFO 0 sockptr 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

net/ipv6/ipv6_sockglue.c ipv6_set_opt_hdr() -> sockptr_is_null()

Type Parameter Key Value
DATA_SOURCE 0 sockptr $2
BIT_INFO 0 sockptr 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

kernel/bpf/cgroup.c __cgroup_bpf_run_filter_getsockopt() -> sockptr_is_null()

Type Parameter Key Value
DATA_SOURCE 0 sockptr $3
BIT_INFO 0 sockptr 0x0,0x0
RX_PATH
TASK_NOT_RUNNING

kernel/bpf/cgroup.c __cgroup_bpf_run_filter_getsockopt() -> sockptr_is_null()

Type Parameter Key Value
DATA_SOURCE 0 sockptr $3
BIT_INFO 0 sockptr 0x0,0x0
RX_PATH
TASK_NOT_RUNNING

net/tls/tls_main.c do_tls_setsockopt_conf() -> sockptr_is_null()

Type Parameter Key Value
DATA_SOURCE 0 sockptr $1
BIT_INFO 0 sockptr 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk

net/tls/tls_main.c do_tls_setsockopt_no_pad() -> sockptr_is_null()

Type Parameter Key Value
DATA_SOURCE 0 sockptr $1
BIT_INFO 0 sockptr 0x0,0x0
RX_PATH
TASK_NOT_RUNNING

net/tls/tls_main.c do_tls_setsockopt_tx_payload_len() -> sockptr_is_null()

Type Parameter Key Value
DATA_SOURCE 0 sockptr $1
BIT_INFO 0 sockptr 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk

net/tls/tls_main.c do_tls_setsockopt_tx_zc() -> sockptr_is_null()

Type Parameter Key Value
DATA_SOURCE 0 sockptr $1
BIT_INFO 0 sockptr 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk

drivers/virt/coco/tdx-guest/tdx-guest.c tdx_do_report() -> sockptr_is_null()

Type Parameter Key Value
DATA_SOURCE 0 sockptr $0
BIT_INFO 0 sockptr 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 _T->lock

drivers/virt/coco/tdx-guest/tdx-guest.c tdx_do_report() -> sockptr_is_null()

Type Parameter Key Value
DATA_SOURCE 0 sockptr $1
BIT_INFO 0 sockptr 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 _T->lock

net/can/j1939/socket.c j1939_sk_setsockopt() -> sockptr_is_null()

Type Parameter Key Value
DATA_SOURCE 0 sockptr $3
BIT_INFO 0 sockptr 0x0,0x0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &smc->clcsock_release_lock