Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

security/tomoyo/network.c tomoyo_socket_bind_permission() -> tomoyo_check_inet_address()

Type Parameter Key Value
PARAM_VALUE 3 address 2279561641355706368
PARAM_VALUE 3 address->operation 0
PARAM_VALUE 3 address->protocol 1-3,5
DATA_SOURCE 0 addr $1
DATA_SOURCE 1 addr_len $2

security/tomoyo/network.c tomoyo_socket_connect_permission() -> tomoyo_check_inet_address()

Type Parameter Key Value
PARAM_VALUE 3 address 394405832433508352
PARAM_VALUE 3 address->operation 2-3
DATA_SOURCE 0 addr $1
DATA_SOURCE 1 addr_len $2

security/tomoyo/network.c tomoyo_socket_listen_permission() -> tomoyo_check_inet_address()

Type Parameter Key Value
PARAM_VALUE 0 addr 1854798664442691584
PARAM_VALUE 1 addr_len 0-s32max
PARAM_VALUE 2 port 0
PARAM_VALUE 3 address 200965713972469760
PARAM_VALUE 3 address->operation 1
PARAM_VALUE 3 address->protocol 1,5
BUF_SIZE 0 addr 128

security/tomoyo/network.c tomoyo_socket_sendmsg_permission() -> tomoyo_check_inet_address()

Type Parameter Key Value
PARAM_VALUE 0 addr 1-u64max
PARAM_VALUE 3 address 1246242238095958016
PARAM_VALUE 3 address->operation 3
PARAM_VALUE 3 address->protocol 2-3
BUF_SIZE 0 addr 1-s32max
UNITS 0 addr unit_byte
UNITS 1 addr_len unit_byte