Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

security/apparmor/file.c __unix_needs_revalidation() -> aa_sock()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 sk unit_byte
LOCK2 rcu_read
HALF_LOCKED2 &files->file_lock
HALF_LOCKED2 &tty->files_lock

security/apparmor/net.c aa_label_sk_perm() -> aa_sock()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk $4
UNITS 0 sk unit_byte

security/apparmor/af_inet.c aa_inet_accept_perm() -> aa_sock()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
UNITS 0 sk unit_byte

security/apparmor/af_inet.c aa_inet_bind_perm() -> aa_sock()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
UNITS 0 sk unit_byte

security/apparmor/af_inet.c aa_inet_connect_perm() -> aa_sock()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
UNITS 0 sk unit_byte

security/apparmor/af_inet.c aa_inet_listen_perm() -> aa_sock()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
UNITS 0 sk unit_byte

security/apparmor/af_inet.c aa_inet_msg_perm() -> aa_sock()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
UNITS 0 sk unit_byte

security/apparmor/af_inet.c aa_inet_opt_perm() -> aa_sock()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
UNITS 0 sk unit_byte

security/apparmor/af_inet.c aa_inet_sock_perm() -> aa_sock()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
UNITS 0 sk unit_byte

security/apparmor/lsm.c apparmor_inet_conn_request() -> aa_sock()

Type Parameter Key Value
DATA_SOURCE 0 sk $0

security/apparmor/lsm.c apparmor_ip_postroute() -> aa_sock()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
DATA_SOURCE 0 sk r skb_to_full_sk
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

security/apparmor/lsm.c apparmor_sk_alloc_security() -> aa_sock()

Type Parameter Key Value
DATA_SOURCE 0 sk $0

security/apparmor/lsm.c apparmor_sk_clone_security() -> aa_sock()

Type Parameter Key Value
DATA_SOURCE 0 sk $0

security/apparmor/lsm.c apparmor_sk_clone_security() -> aa_sock()

Type Parameter Key Value
DATA_SOURCE 0 sk $1

security/apparmor/lsm.c apparmor_sk_free_security() -> aa_sock()

Type Parameter Key Value
DATA_SOURCE 0 sk $0

security/apparmor/lsm.c apparmor_sock_graft() -> aa_sock()

Type Parameter Key Value
DATA_SOURCE 0 sk $0

security/apparmor/lsm.c apparmor_socket_post_create() -> aa_sock()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
UNITS 0 sk unit_byte

security/apparmor/lsm.c apparmor_socket_sock_rcv_skb() -> aa_sock()

Type Parameter Key Value
DATA_SOURCE 0 sk $0

security/apparmor/lsm.c apparmor_socket_socketpair() -> aa_sock()

Type Parameter Key Value
UNITS 0 sk unit_byte

security/apparmor/lsm.c apparmor_socket_socketpair() -> aa_sock()

Type Parameter Key Value
UNITS 0 sk unit_byte

security/apparmor/lsm.c apparmor_unix_may_send() -> aa_sock()

Type Parameter Key Value
UNITS 0 sk unit_byte

security/apparmor/lsm.c apparmor_unix_stream_connect() -> aa_sock()

Type Parameter Key Value
DATA_SOURCE 0 sk $0

security/apparmor/lsm.c apparmor_unix_stream_connect() -> aa_sock()

Type Parameter Key Value
DATA_SOURCE 0 sk $1

security/apparmor/lsm.c apparmor_unix_stream_connect() -> aa_sock()

Type Parameter Key Value
DATA_SOURCE 0 sk $2

security/apparmor/lsm.c sk_peer_get_label() -> aa_sock()

Type Parameter Key Value
DATA_SOURCE 0 sk $0
UNITS 0 sk unit_byte

security/apparmor/lsm.c unix_connect_perm() -> aa_sock()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk $3

security/apparmor/af_unix.c aa_unix_file_perm() -> aa_sock()

Type Parameter Key Value
PARAM_VALUE 0 sk 1-u64max
UNITS 0 sk unit_byte

security/apparmor/af_unix.c update_sk_ctx() -> aa_sock()

Type Parameter Key Value
PARAM_VALUE 0 sk 4096-ptr_max
DATA_SOURCE 0 sk $0
UNITS 0 sk unit_byte