Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/netlink/af_netlink.c netlink_bind() -> netlink_allowed()

Type Parameter Key Value
PARAM_VALUE 0 sock 4096-ptr_max
PARAM_VALUE 1 flag 1
BUF_SIZE 0 sock s32min-(-1),1-s32max
BUF_SIZE 0 sock s32min-(-1),1-s32max
DATA_SOURCE 0 sock $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_receive_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_receive_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_write_queue.next->data_len
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_write_queue.next->prev->data_len
HALF_LOCKED2 &buffer->mutex
HALF_LOCKED2 &frag->frag_sem
HALF_LOCKED2 global &o2nm_cluster_group.cs_subsys.su_mutex

net/netlink/af_netlink.c netlink_connect() -> netlink_allowed()

Type Parameter Key Value
PARAM_VALUE 0 sock 4096-ptr_max
PARAM_VALUE 1 flag 2
BUF_SIZE 0 sock s32min-(-1),1-s32max
BUF_SIZE 0 sock s32min-(-1),1-s32max
DATA_SOURCE 0 sock $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_receive_queue.prev->data_len
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_receive_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_write_queue.next->data_len
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_write_queue.next->prev->data_len

net/netlink/af_netlink.c netlink_sendmsg() -> netlink_allowed()

Type Parameter Key Value
PARAM_VALUE 0 sock 4096-ptr_max
PARAM_VALUE 1 flag 2
BUF_SIZE 0 sock s32min-(-1),1-s32max
BUF_SIZE 0 sock s32min-(-1),1-s32max
DATA_SOURCE 0 sock $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE 0 sock->sk->sk_write_queue.next->truesize
HALF_LOCKED2 sk

net/netlink/af_netlink.c netlink_setsockopt() -> netlink_allowed()

Type Parameter Key Value
PARAM_VALUE 0 sock 4096-ptr_max
PARAM_VALUE 0 sock->ops 4096-ptr_max
PARAM_VALUE 0 sock->ops->setsockopt 1-u64max
PARAM_VALUE 1 flag 1
BUF_SIZE 0 sock s32min-(-1),1-s32max
BUF_SIZE 0 sock s32min-(-1),1-s32max
DATA_SOURCE 0 sock $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &smc->clcsock_release_lock