Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/unix/af_unix.c unix_stream_connect() -> copy_peercred()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_net.net->notrefcnt_tracker.list.next 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_net.net->notrefcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_net.net->notrefcnt_tracker.list.next->prev 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_net.net->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_net.net->refcnt_tracker.list.next->prev 4096-ptr_max
PARAM_VALUE 0 sk->__sk_common.skc_state 7
PARAM_VALUE 1 peersk 4096-ptr_max
PARAM_VALUE 1 peersk->__sk_common.skc_net.net->notrefcnt_tracker.dead 1
PARAM_VALUE 1 peersk->__sk_common.skc_net.net->notrefcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 1 peersk->__sk_common.skc_net.net->refcnt_tracker.dead 1
PARAM_VALUE 1 peersk->__sk_common.skc_state 10
PARAM_VALUE 1 peersk->sk_bpf_storage->owner_refcnt.refs.counter s32min-s32max
PARAM_VALUE 1 peersk->sk_callback_lock.dep_map->name 0-255
PARAM_VALUE 1 peersk->sk_filter->rcu.func 1-u64max
PARAM_VALUE 1 peersk->sk_filter->rcu.next 0
PARAM_VALUE 1 peersk->sk_memcg->css.refcnt.data 0,4096-ptr_max
PARAM_VALUE 1 peersk->sk_owner->refcnt.counter 0-s32max
PARAM_VALUE 1 peersk->sk_prot_creator->owner->refcnt.counter 0-s32max
PARAM_VALUE 1 peersk->sk_reuseport_cb->rcu.next 0
DATA_SOURCE 1 peersk r unix_find_other
BIT_INFO 1 peersk->sk_shutdown 0x0,0xfe
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 sk unit_byte