Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

security/tomoyo/condition.c tomoyo_get_transit_preference() -> tomoyo_correct_path()

Type Parameter Key Value
PARAM_VALUE 0 filename 4096-ptr_max
PARAM_VALUE 0 *filename 0-59,61-255
BUF_SIZE 0 filename 1-2,42,81
BUF_SIZE 0 filename 1-2,42,81

security/tomoyo/domain.c tomoyo_write_aggregator() -> tomoyo_correct_path()

Type Parameter Key Value
BUF_SIZE 0 filename (-1),1-2,42,81
BUF_SIZE 0 filename (-1),1-2,42,81
DATA_SOURCE 0 filename r tomoyo_read_token
LOCK2 global &tomoyo_ss
HALF_LOCKED2 &head->io_sem

security/tomoyo/domain.c tomoyo_write_transition_control() -> tomoyo_correct_path()

Type Parameter Key Value
PARAM_VALUE 0 filename 4096-ptr_max
BUF_SIZE 0 filename 1-2,42,81
BUF_SIZE 0 filename 1-2,42,81
LOCK2 global &tomoyo_ss
HALF_LOCKED2 &head->io_sem

security/tomoyo/domain.c tomoyo_write_transition_control() -> tomoyo_correct_path()

Type Parameter Key Value
PARAM_VALUE 0 filename 4096-ptr_max
BUF_SIZE 0 filename (-1),1-2,42,81
BUF_SIZE 0 filename (-1),1-2,42,81
LOCK2 global &tomoyo_ss
HALF_LOCKED2 &head->io_sem

security/tomoyo/util.c tomoyo_correct_domain() -> tomoyo_correct_path()

Type Parameter Key Value
DATA_SOURCE 0 filename $0 [m]
STR_LEN 0 filename (-1)
STR_LEN 0 filename (-1)
HALF_LOCKED2 global &tomoyo_ss