Defined in 1 files as a function:
Referenced in 9 files:
- drivers/tty/vt/vt_ioctl.c, line 457
- fs/fcntl.c, line 428
- ipc/mqueue.c, line 1284
- kernel/debug/kdb/kdb_main.c, line 2336
- kernel/fork.c, line 2745
- kernel/ptrace.c
- kernel/signal.c
- kernel/sys.c, line 2548
- kernel/trace/bpf_trace.c, line 884
Smatch caller information:
kernel/fork.c kernel_clone() -> valid_signal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sig | 0-s32max,18446744071562067968-u64max |
| USER_DATA | 0 | sig | 1-255[c] |
drivers/tty/vt/vt_ioctl.c vt_k_ioctl() -> valid_signal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | sig | $2 |
| CAPABLE | 0 | 5 | |
| USER_DATA | 0 | sig | 0-u64max |
kernel/ptrace.c ptrace_detach() -> valid_signal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | sig | $1 |
| USER_DATA | 0 | sig | 0-u32max |
kernel/ptrace.c ptrace_resume() -> valid_signal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | sig | $2 |
| USER_DATA | 0 | sig | 0-u64max |
kernel/debug/kdb/kdb_main.c kdb_kill() -> valid_signal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sig | 1-9223372036854775807 |
| USER_DATA | 0 | sig | 1-9223372036854775807 |
| HALF_LOCKED2 | rcu_read |
kernel/signal.c check_kill_permission() -> valid_signal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sig | 0-s32max,18446744071562067968-u64max |
| DATA_SOURCE | 0 | sig | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | sig | 0-s32max,18446744071562067968-u64max |
| LOCK2 | rcu_read |
kernel/signal.c do_notify_parent() -> valid_signal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sig | 0-s32max |
| DATA_SOURCE | 0 | sig | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &tasklist_lock | ||
| LOCK2 | irq |
kernel/signal.c do_sigaction() -> valid_signal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sig | 0-s32max,18446744071562067968-u64max |
| DATA_SOURCE | 0 | sig | $0 |
| USER_DATA | 0 | sig | 0-s32max,18446744071562067968-u64max |
kernel/signal.c kill_pid_usb_asyncio() -> valid_signal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sig | 1-s32max,18446744071562067968-u64max |
| DATA_SOURCE | 0 | sig | $0 |
| HALF_LOCKED2 | global &usbfs_mutex |
kernel/signal.c send_sig_info() -> valid_signal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sig | 0-s32max,18446744071562067968-u64max |
| DATA_SOURCE | 0 | sig | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &common->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | global &tasklist_lock | ||
| HALF_LOCKED2 | irq |
kernel/sys.c __do_sys_prctl() -> valid_signal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | sig | $1 |
| USER_DATA | 0 | sig | 0-u64max |
kernel/sys.c __do_sys_prctl() -> valid_signal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | sig | $1 |
| USER_DATA | 0 | sig | 0-u64max |
kernel/trace/bpf_trace.c bpf_send_signal_common() -> valid_signal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | sig | $0 |
fs/fcntl.c f_owner_sig() -> valid_signal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sig | 0-s32max,18446744071562067968-u64max |
| DATA_SOURCE | 0 | sig | $1 |
| USER_DATA | 0 | sig | 0-s32max,18446744071562067968-u64max |
ipc/mqueue.c do_mq_notify() -> valid_signal()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sig | 1-s32max,18446744071562067968-u64max |
| USER_DATA | 0 | sig | 1-s32max,18446744071562067968-u64max |