Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
security/tomoyo/common.c tomoyo_add_entry() -> tomoyo_addprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buffer | 16,4096-ptr_max |
| PARAM_VALUE | 1 | len | 0-4000000 |
| PARAM_VALUE | 2 | fmt | 8499827576456953856 |
| PARAM_VALUE | 3 | $ | 4096-ptr_max |
| PARAM_VALUE | 3 | *$ | 0 |
| BUF_SIZE | 0 | buffer | 0-s32max,18446744071562067968-u64max |
| BUF_SIZE | 0 | buffer | 0-s32max,18446744071562067968-u64max |
| BUF_SIZE | 2 | fmt | 9 |
| DATA_SOURCE | 0 | buffer | r _kmalloc_noprof |
| STR_LEN | 0 | buffer | 8 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| BYTE_COUNT | 0 | ==buffer1 | 8050 |
| LOCK2 | global &tomoyo_ss |
security/tomoyo/common.c tomoyo_add_entry() -> tomoyo_addprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buffer | 16,4096-ptr_max |
| PARAM_VALUE | 1 | len | 0-4000000 |
| PARAM_VALUE | 2 | fmt | 5606119053883490304 |
| PARAM_VALUE | 3 | $ | 4096-ptr_max |
| PARAM_VALUE | 3 | *$ | 0 |
| BUF_SIZE | 0 | buffer | 0-s32max,18446744071562067968-u64max |
| BUF_SIZE | 0 | buffer | 0-s32max,18446744071562067968-u64max |
| BUF_SIZE | 2 | fmt | 17 |
| DATA_SOURCE | 0 | buffer | r _kmalloc_noprof |
| STR_LEN | 0 | buffer | 16 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| BYTE_COUNT | 0 | ==buffer1 | 8050 |
| LOCK2 | global &tomoyo_ss |
security/tomoyo/common.c tomoyo_add_entry() -> tomoyo_addprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buffer | 16,4096-ptr_max |
| PARAM_VALUE | 1 | len | 0-4000000 |
| PARAM_VALUE | 2 | fmt | 8347350738675638272 |
| PARAM_VALUE | 3 | $ | 4096-ptr_max |
| PARAM_VALUE | 3 | *$ | 0 |
| BUF_SIZE | 0 | buffer | 0-s32max,18446744071562067968-u64max |
| BUF_SIZE | 0 | buffer | 0-s32max,18446744071562067968-u64max |
| BUF_SIZE | 2 | fmt | 3 |
| DATA_SOURCE | 0 | buffer | r _kmalloc_noprof |
| STR_LEN | 0 | buffer | 2 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| BYTE_COUNT | 0 | ==buffer1 | 8050 |
| LOCK2 | global &tomoyo_ss |
security/tomoyo/common.c tomoyo_patternize_path() -> tomoyo_addprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buffer | 16,4096-ptr_max |
| PARAM_VALUE | 1 | len | 0-4000000 |
| PARAM_VALUE | 2 | fmt | 8597006127130632192 |
| PARAM_VALUE | 3 | $ | 4097-ptr_max |
| BUF_SIZE | 2 | fmt | 4 |
| DATA_SOURCE | 0 | buffer | $0 |
| DATA_SOURCE | 1 | len | $1 |
| DATA_SOURCE | 3 | $ | $2 |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 1 | len | 3 |
| PARAM_COMPARE | 0 | buffer | == $1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss |
security/tomoyo/common.c tomoyo_patternize_path() -> tomoyo_addprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buffer | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 0-4000000 |
| PARAM_VALUE | 2 | fmt | 6999305127874699264 |
| BUF_SIZE | 2 | fmt | 10 |
| DATA_SOURCE | 0 | buffer | $0 |
| DATA_SOURCE | 1 | len | $1 |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 1 | len | 9 |
| PARAM_COMPARE | 0 | buffer | == $1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss |
security/tomoyo/common.c tomoyo_patternize_path() -> tomoyo_addprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buffer | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 0-4000000 |
| PARAM_VALUE | 2 | fmt | 2378619110605488128 |
| BUF_SIZE | 2 | fmt | 12 |
| DATA_SOURCE | 0 | buffer | $0 |
| DATA_SOURCE | 1 | len | $1 |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 1 | len | 11 |
| PARAM_COMPARE | 0 | buffer | == $1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss |
security/tomoyo/common.c tomoyo_patternize_path() -> tomoyo_addprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buffer | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 0-4000000 |
| PARAM_VALUE | 2 | fmt | 3292883707801747456 |
| BUF_SIZE | 2 | fmt | 11 |
| DATA_SOURCE | 0 | buffer | $0 |
| DATA_SOURCE | 1 | len | $1 |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 1 | len | 10 |
| PARAM_COMPARE | 0 | buffer | == $1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss |
security/tomoyo/common.c tomoyo_patternize_path() -> tomoyo_addprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buffer | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 0-4000000 |
| PARAM_VALUE | 2 | fmt | 3245074980150075392 |
| BUF_SIZE | 2 | fmt | 8 |
| DATA_SOURCE | 0 | buffer | $0 |
| DATA_SOURCE | 1 | len | $1 |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 1 | len | 7 |
| PARAM_COMPARE | 0 | buffer | == $1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss |
security/tomoyo/common.c tomoyo_patternize_path() -> tomoyo_addprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buffer | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 0-4000000 |
| PARAM_VALUE | 2 | fmt | 4740158385305452544 |
| BUF_SIZE | 2 | fmt | 9 |
| DATA_SOURCE | 0 | buffer | $0 |
| DATA_SOURCE | 1 | len | $1 |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 1 | len | 8 |
| PARAM_COMPARE | 0 | buffer | == $1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss |
security/tomoyo/common.c tomoyo_patternize_path() -> tomoyo_addprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buffer | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 0-4000000 |
| PARAM_VALUE | 2 | fmt | 8167043455308705792 |
| BUF_SIZE | 2 | fmt | 9 |
| DATA_SOURCE | 0 | buffer | $0 |
| DATA_SOURCE | 1 | len | $1 |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 1 | len | 8 |
| PARAM_COMPARE | 0 | buffer | == $1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss |
security/tomoyo/common.c tomoyo_patternize_path() -> tomoyo_addprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buffer | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 0-4000000 |
| PARAM_VALUE | 2 | fmt | 4726262087564480512 |
| BUF_SIZE | 2 | fmt | 7 |
| DATA_SOURCE | 0 | buffer | $0 |
| DATA_SOURCE | 1 | len | $1 |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 1 | len | 6 |
| PARAM_COMPARE | 0 | buffer | == $1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss |
security/tomoyo/common.c tomoyo_patternize_path() -> tomoyo_addprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buffer | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 0-4000000 |
| PARAM_VALUE | 2 | fmt | 2375458116686262272 |
| BUF_SIZE | 2 | fmt | 11 |
| DATA_SOURCE | 0 | buffer | $0 |
| DATA_SOURCE | 1 | len | $1 |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 1 | len | 10 |
| PARAM_COMPARE | 0 | buffer | == $1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss |
security/tomoyo/common.c tomoyo_patternize_path() -> tomoyo_addprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buffer | 16,4096-ptr_max |
| PARAM_VALUE | 1 | len | 0-4000000 |
| PARAM_VALUE | 2 | fmt | 8347350738675638272 |
| PARAM_VALUE | 3 | $ | 4096-ptr_max |
| PARAM_VALUE | 3 | *$ | 1-255 |
| BUF_SIZE | 2 | fmt | 3 |
| DATA_SOURCE | 0 | buffer | $0 |
| DATA_SOURCE | 1 | len | $1 |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 0 | buffer | 0-s32max |
| STR_LEN | 1 | len | 2 |
| PARAM_COMPARE | 0 | buffer | == $1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss |
security/tomoyo/common.c tomoyo_print_number_union_nospace() -> tomoyo_addprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buffer | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 128 |
| PARAM_VALUE | 2 | fmt | 8787733545172660224 |
| BUF_SIZE | 0 | buffer | 128 |
| BUF_SIZE | 2 | fmt | 6 |
| CAPPED_DATA | 3 | $ | 1 |
| STR_LEN | 0 | buffer | 5 |
| TERMINATED | 0 | buffer | 1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |
| LOCK2 | &head->io_sem | ||
| LOCK2 | global &tomoyo_ss | ||
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_print_number_union_nospace() -> tomoyo_addprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buffer | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 128 |
| PARAM_VALUE | 2 | fmt | 8538017919045287936 |
| BUF_SIZE | 0 | buffer | 128 |
| BUF_SIZE | 2 | fmt | 5 |
| CAPPED_DATA | 3 | $ | 1 |
| STR_LEN | 0 | buffer | 4 |
| TERMINATED | 0 | buffer | 1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |
| LOCK2 | &head->io_sem | ||
| LOCK2 | global &tomoyo_ss | ||
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_print_number_union_nospace() -> tomoyo_addprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buffer | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 128 |
| PARAM_VALUE | 2 | fmt | 2058385695437557760 |
| BUF_SIZE | 0 | buffer | 128 |
| BUF_SIZE | 2 | fmt | 4 |
| CAPPED_DATA | 3 | $ | 1 |
| STR_LEN | 0 | buffer | 3 |
| TERMINATED | 0 | buffer | 1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |
| LOCK2 | &head->io_sem | ||
| LOCK2 | global &tomoyo_ss | ||
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_print_number_union_nospace() -> tomoyo_addprintf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | buffer | 4096-ptr_max |
| PARAM_VALUE | 1 | len | 128 |
| PARAM_VALUE | 2 | fmt | 1651544341365035008 |
| BUF_SIZE | 0 | buffer | 128 |
| BUF_SIZE | 2 | fmt | 2 |
| STR_LEN | 0 | buffer | 1 |
| TERMINATED | 0 | buffer | 1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| UNITS | 1 | len | unit_byte |
| LOCK2 | &head->io_sem | ||
| LOCK2 | global &tomoyo_ss | ||
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |