Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/lkdtm/perms.c lkdtm_EXEC_DATA() -> execute_location()

Type Parameter Key Value
PARAM_VALUE 0 dst 9113126730754273280
PARAM_VALUE 1 write 1
BUF_SIZE 0 dst 64
NOCHECK_CALL

drivers/misc/lkdtm/perms.c lkdtm_EXEC_KMALLOC() -> execute_location()

Type Parameter Key Value
PARAM_VALUE 0 dst 0,4096-ptr_max
PARAM_VALUE 1 write 1
BUF_SIZE 0 dst 64
DATA_SOURCE 0 dst r _kmalloc_noprof
NOCHECK_CALL

drivers/misc/lkdtm/perms.c lkdtm_EXEC_NULL() -> execute_location()

Type Parameter Key Value
PARAM_VALUE 0 dst 0
PARAM_VALUE 1 write 0
NOCHECK_CALL

drivers/misc/lkdtm/perms.c lkdtm_EXEC_RODATA() -> execute_location()

Type Parameter Key Value
PARAM_VALUE 0 dst 7926290249127325696
PARAM_VALUE 1 write 0
NOCHECK_CALL

drivers/misc/lkdtm/perms.c lkdtm_EXEC_STACK() -> execute_location()

Type Parameter Key Value
PARAM_VALUE 0 dst 65987077573763072
PARAM_VALUE 1 write 1
BUF_SIZE 0 dst 64
NOCHECK_CALL

drivers/misc/lkdtm/perms.c lkdtm_EXEC_VMALLOC() -> execute_location()

Type Parameter Key Value
PARAM_VALUE 1 write 1
BUF_SIZE 0 dst 64
DATA_SOURCE 0 dst r vmalloc_noprof
NOCHECK_CALL