Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
security/tomoyo/util.c tomoyo_correct_domain() -> tomoyo_correct_path2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *filename | 0 |
| DATA_SOURCE | 0 | filename | $0 [m] |
| STR_LEN | 0 | filename | (-1) |
| STR_LEN | 0 | filename | (-1) |
| HALF_LOCKED2 | global &tomoyo_ss |
security/tomoyo/util.c tomoyo_correct_path() -> tomoyo_correct_path2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | len | 0-1010101 |
| BUF_SIZE | 0 | filename | (-1),1-2,42,81 |
| BUF_SIZE | 0 | filename | (-1),1-2,42,81 |
| DATA_SOURCE | 0 | filename | $0 |
| STR_LEN | 0 | filename | (-1) |
| STR_LEN | 0 | filename | (-1) |
| HALF_LOCKED2 | global &tomoyo_ss |
security/tomoyo/util.c tomoyo_get_domainname() -> tomoyo_correct_path2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filename | 4097-u64max |
| PARAM_VALUE | 0 | *filename | 0,10,32,44-47,58-59,64,124 |
| CAPPED_DATA | 0 | *filename | 1 |