Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/compat.c __do_compat_sys_socketcall() -> __sys_sendto()

Type Parameter Key Value
PARAM_VALUE 1 buff 0-u32max
PARAM_VALUE 2 len 0-u32max
PARAM_VALUE 4 addr 0
PARAM_VALUE 5 addr_len 0
USER_DATA 0 fd s32min-s32max
USER_DATA 2 len 0-u32max
USER_DATA 3 flags 0-u32max

net/compat.c __do_compat_sys_socketcall() -> __sys_sendto()

Type Parameter Key Value
PARAM_VALUE 1 buff 0-u32max
PARAM_VALUE 2 len 0-u32max
PARAM_VALUE 4 addr 0-u32max
BIT_INFO 1 buff 0x0,0xffffffff
BIT_INFO 4 addr 0x0,0xffffffff
USER_DATA 0 fd s32min-s32max
USER_DATA 2 len 0-u32max
USER_DATA 3 flags 0-u32max
USER_DATA 5 addr_len s32min-s32max

net/compat.c __do_compat_sys_socketcall() -> __sys_sendto()

Type Parameter Key Value
PARAM_VALUE 1 buff 0-u32max
PARAM_VALUE 2 len 0-u32max
PARAM_VALUE 4 addr 0
PARAM_VALUE 5 addr_len 0
USER_DATA 0 fd s32min-s32max
USER_DATA 2 len 0-u32max
USER_DATA 3 flags 0-u32max

net/compat.c __do_compat_sys_socketcall() -> __sys_sendto()

Type Parameter Key Value
PARAM_VALUE 1 buff 0-u32max
PARAM_VALUE 2 len 0-u32max
PARAM_VALUE 4 addr 0-u32max
BIT_INFO 1 buff 0x0,0xffffffff
BIT_INFO 4 addr 0x0,0xffffffff
USER_DATA 0 fd s32min-s32max
USER_DATA 2 len 0-u32max
USER_DATA 3 flags 0-u32max
USER_DATA 5 addr_len s32min-s32max

net/socket.c __do_sys_send() -> __sys_sendto()

Type Parameter Key Value
PARAM_VALUE 4 addr 0
PARAM_VALUE 5 addr_len 0
DATA_SOURCE 0 fd $0
DATA_SOURCE 1 buff $1
DATA_SOURCE 2 len $2
DATA_SOURCE 3 flags $3
USER_DATA 0 fd s32min-s32max
USER_DATA 1 buff 0-u64max
USER_DATA 2 len 0-u64max
USER_DATA 3 flags 0-u32max

net/socket.c __do_sys_send() -> __sys_sendto()

Type Parameter Key Value
PARAM_VALUE 4 addr 0
PARAM_VALUE 5 addr_len 0
DATA_SOURCE 0 fd $0
DATA_SOURCE 1 buff $1
DATA_SOURCE 2 len $2
DATA_SOURCE 3 flags $3
USER_DATA 0 fd s32min-s32max
USER_DATA 1 buff 0-u64max
USER_DATA 2 len 0-u64max
USER_DATA 3 flags 0-u32max

net/socket.c __do_sys_sendto() -> __sys_sendto()

Type Parameter Key Value
DATA_SOURCE 0 fd $0
DATA_SOURCE 1 buff $1
DATA_SOURCE 2 len $2
DATA_SOURCE 3 flags $3
DATA_SOURCE 4 addr $4
DATA_SOURCE 5 addr_len $5
USER_DATA 0 fd s32min-s32max
USER_DATA 1 buff 0-u64max
USER_DATA 2 len 0-u64max
USER_DATA 3 flags 0-u32max
USER_DATA 4 addr 0-u64max
USER_DATA 5 addr_len s32min-s32max

net/socket.c __do_sys_sendto() -> __sys_sendto()

Type Parameter Key Value
DATA_SOURCE 0 fd $0
DATA_SOURCE 1 buff $1
DATA_SOURCE 2 len $2
DATA_SOURCE 3 flags $3
DATA_SOURCE 4 addr $4
DATA_SOURCE 5 addr_len $5
USER_DATA 0 fd s32min-s32max
USER_DATA 1 buff 0-u64max
USER_DATA 2 len 0-u64max
USER_DATA 3 flags 0-u32max
USER_DATA 4 addr 0-u64max
USER_DATA 5 addr_len s32min-s32max

net/socket.c __do_sys_socketcall() -> __sys_sendto()

Type Parameter Key Value
PARAM_VALUE 4 addr 0
PARAM_VALUE 5 addr_len 0
USER_DATA 0 fd s32min-s32max
USER_DATA 2 len 0-u64max
USER_DATA 3 flags 0-u32max

net/socket.c __do_sys_socketcall() -> __sys_sendto()

Type Parameter Key Value
USER_DATA 0 fd s32min-s32max
USER_DATA 2 len 0-u64max
USER_DATA 3 flags 0-u32max
USER_DATA 5 addr_len s32min-s32max

net/socket.c __do_sys_socketcall() -> __sys_sendto()

Type Parameter Key Value
PARAM_VALUE 4 addr 0
PARAM_VALUE 5 addr_len 0
USER_DATA 0 fd s32min-s32max
USER_DATA 2 len 0-u64max
USER_DATA 3 flags 0-u32max

net/socket.c __do_sys_socketcall() -> __sys_sendto()

Type Parameter Key Value
USER_DATA 0 fd s32min-s32max
USER_DATA 2 len 0-u64max
USER_DATA 3 flags 0-u32max
USER_DATA 5 addr_len s32min-s32max