Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/unix/af_unix.c unix_bind() -> unix_validate_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | sunaddr | (-1),1-s32max |
| BUF_SIZE | 0 | sunaddr | (-1),1-s32max |
| DATA_SOURCE | 0 | sunaddr | $1 |
| DATA_SOURCE | 1 | addr_len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | addr_len | 0-1,3-128 |
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &frag->frag_sem | ||
| HALF_LOCKED2 | global &o2nm_cluster_group.cs_subsys.su_mutex |
net/unix/af_unix.c unix_dgram_connect() -> unix_validate_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sunaddr | 4096-ptr_max |
| PARAM_VALUE | 1 | addr_len | s32min-(-1),2-s32max |
| BUF_SIZE | 0 | sunaddr | (-1),1-s32max |
| BUF_SIZE | 0 | sunaddr | (-1),1-s32max |
| DATA_SOURCE | 0 | sunaddr | $1 |
| DATA_SOURCE | 1 | addr_len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | addr_len | 2-128 |
| UNITS | 1 | addr_len | unit_byte |
net/unix/af_unix.c unix_dgram_sendmsg() -> unix_validate_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | addr_len | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | sunaddr | (-1)-0,12,28,128 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | sunaddr->sun_family | 0-u16max[u] |
| USER_DATA | 1 | addr_len | 1-128 |
| UNITS | 0 | sunaddr | unit_byte |
| UNITS | 1 | addr_len | unit_byte |
| USER_PTR | 0 | sunaddr | |
| HALF_LOCKED2 | &vq->mutex | ||
| HALF_LOCKED2 | sk |
net/unix/af_unix.c unix_stream_connect() -> unix_validate_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | sunaddr | (-1),1-s32max |
| BUF_SIZE | 0 | sunaddr | (-1),1-s32max |
| DATA_SOURCE | 0 | sunaddr | $1 |
| DATA_SOURCE | 1 | addr_len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | addr_len | 0-128 |