Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/misc/lkdtm/usercopy.c lkdtm_USERCOPY_STACK_BEYOND() -> do_usercopy_stack()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | to_user | 1 |
| PARAM_VALUE | 1 | bad_frame | 0 |
| NOCHECK_CALL |
drivers/misc/lkdtm/usercopy.c lkdtm_USERCOPY_STACK_FRAME_FROM() -> do_usercopy_stack()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | to_user | 0 |
| PARAM_VALUE | 1 | bad_frame | 1 |
| NOCHECK_CALL |
drivers/misc/lkdtm/usercopy.c lkdtm_USERCOPY_STACK_FRAME_TO() -> do_usercopy_stack()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | to_user | 1 |
| PARAM_VALUE | 1 | bad_frame | 1 |
| NOCHECK_CALL |