Defined in 1 files as a prototype:
Defined in 7 files as a function:
- arch/arm/mm/fault.c, line 30 (as a function)
- arch/loongarch/mm/maccess.c, line 6 (as a function)
- arch/parisc/lib/memcpy.c, line 67 (as a function)
- arch/powerpc/mm/maccess.c, line 10 (as a function)
- arch/x86/mm/maccess.c, line 9 (as a function)
- arch/x86/mm/maccess.c, line 39 (as a function)
- mm/maccess.c, line 10 (as a function)
Referenced in 2 files:
Smatch caller information:
mm/maccess.c copy_from_kernel_nofault() -> copy_from_kernel_nofault_allowed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | unsafe_src | s32min-s32max |
| DATA_SOURCE | 0 | unsafe_src | $1 |
| DATA_SOURCE | 1 | size | $2 |
| STR_LEN | 0 | unsafe_src | (-1),1,3 |
| STR_LEN | 0 | unsafe_src | (-1),1,3 |
| NOSPEC | 1 | size | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | unsafe_src | 4096-ptr_max[c][u] |
| USER_DATA | 1 | size | 0-4096[c] |
| UNITS | 0 | unsafe_src | unit_byte |
| UNITS | 1 | size | unit_byte |
| USER_PTR | 0 | unsafe_src | |
| HALF_LOCKED2 | &m->lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &page_offline_rwsem | ||
| HALF_LOCKED2 | irq |
mm/maccess.c strncpy_from_kernel_nofault() -> copy_from_kernel_nofault_allowed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1-9223372036854775807 |
| BUF_SIZE | 0 | unsafe_src | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | unsafe_src | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | unsafe_src | $1 |
| DATA_SOURCE | 1 | size | $2 |
| STR_LEN | 0 | unsafe_src | (-1),10 |
| STR_LEN | 0 | unsafe_src | (-1),10 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | unsafe_src | unit_byte |
| UNITS | 1 | size | unit_byte |
kernel/bpf/helpers.c __bpf_strncasecmp() -> copy_from_kernel_nofault_allowed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1 |
| DATA_SOURCE | 0 | unsafe_src | $0 |
kernel/bpf/helpers.c __bpf_strncasecmp() -> copy_from_kernel_nofault_allowed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1 |
| DATA_SOURCE | 0 | unsafe_src | $1 |
kernel/bpf/helpers.c __bpf_strnstr() -> copy_from_kernel_nofault_allowed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1 |
| DATA_SOURCE | 0 | unsafe_src | $0 |
kernel/bpf/helpers.c __bpf_strnstr() -> copy_from_kernel_nofault_allowed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1 |
| DATA_SOURCE | 0 | unsafe_src | $1 |
kernel/bpf/helpers.c bpf_strchrnul() -> copy_from_kernel_nofault_allowed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1 |
| DATA_SOURCE | 0 | unsafe_src | $0 |
kernel/bpf/helpers.c bpf_strcspn() -> copy_from_kernel_nofault_allowed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1 |
| DATA_SOURCE | 0 | unsafe_src | $0 |
kernel/bpf/helpers.c bpf_strcspn() -> copy_from_kernel_nofault_allowed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1 |
| DATA_SOURCE | 0 | unsafe_src | $1 |
kernel/bpf/helpers.c bpf_strnchr() -> copy_from_kernel_nofault_allowed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1 |
| DATA_SOURCE | 0 | unsafe_src | $0 |
kernel/bpf/helpers.c bpf_strnlen() -> copy_from_kernel_nofault_allowed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1 |
| DATA_SOURCE | 0 | unsafe_src | $0 |
kernel/bpf/helpers.c bpf_strrchr() -> copy_from_kernel_nofault_allowed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1 |
| DATA_SOURCE | 0 | unsafe_src | $0 |
kernel/bpf/helpers.c bpf_strspn() -> copy_from_kernel_nofault_allowed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1 |
| DATA_SOURCE | 0 | unsafe_src | $0 |
kernel/bpf/helpers.c bpf_strspn() -> copy_from_kernel_nofault_allowed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | size | 1 |
| DATA_SOURCE | 0 | unsafe_src | $1 |