Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
net/tipc/node.c tipc_rcv() -> tipc_msg_validate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *_skb | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_PTR | 0 | (*_skb).data | |
| HALF_LOCKED2 | rcu_read |
net/tipc/msg.c tipc_buf_append() -> tipc_msg_validate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | _skb | 2173451685737213952 |
| PARAM_VALUE | 0 | *_skb | 4096-ptr_max |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_PTR | 0 | (*_skb).data | |
| HALF_LOCKED2 | bh |
net/tipc/msg.c tipc_msg_extract() -> tipc_msg_validate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | _skb | 6404133889594896384,7987318099457351680 |
| PARAM_VALUE | 0 | *_skb | 4096-ptr_max |
| PARAM_VALUE | 0 | *_skb->data | 4096-ptr_max |
| PARAM_VALUE | 0 | *_skb->data_len | 0 |
| PARAM_VALUE | 0 | *_skb->next | 0 |
| BUF_SIZE | 0 | *_skb | 0-s32max |
| DATA_SOURCE | 0 | _skb | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_PTR | 0 | (*_skb).data | |
| LOCK2 | bh | ||
| HALF_LOCKED2 | &le->lock | ||
| HALF_LOCKED2 | &n->lock | ||
| HALF_LOCKED2 | rcu_read |
net/tipc/crypto.c tipc_crypto_rcv_complete() -> tipc_msg_validate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | _skb | 4096-ptr_max |
| PARAM_VALUE | 0 | (*_skb)->cb | 4096-ptr_max |
| PARAM_VALUE | 0 | (*_skb)->data | s64min-(-4096),4096-s64max |
| PARAM_VALUE | 0 | (*_skb)->data->user | 0,7,13 |
| PARAM_VALUE | 0 | *_skb | 4096-ptr_max |
| DATA_SOURCE | 0 | _skb | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_PTR | 0 | (*_skb).data |