Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
security/tomoyo/common.c tomoyo_supervisor() -> tomoyo_write_log2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r | 4096-ptr_max |
| PARAM_VALUE | 0 | r->domain | 0,4096-ptr_max |
| PARAM_VALUE | 0 | r->ee | 0,4096-ptr_max |
| PARAM_VALUE | 0 | r->ee->bprm->mm->mmap_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | r->ee->bprm->mm->mmap_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | r->mode | 0-3 |
| PARAM_VALUE | 0 | r->obj | 0,4096-ptr_max |
| PARAM_VALUE | 0 | r->param_type | 0-7 |
| PARAM_VALUE | 0 | *r->obj->stat_valid | 0-1 |
| PARAM_VALUE | 2 | fmt | 2272969698254630912,1645099592183304192,3486107847951683584,5401228546964832256,4174342178630590464,2189834376867225600 |
| PARAM_VALUE | 3 | *args | 2272969698254630912,1645099592183304192,3486107847951683584,5401228546964832256,4174342178630590464,2189834376867225600 |
| BUF_SIZE | 0 | r->ee | (-1),296 |
| BUF_SIZE | 0 | r->obj | (-1),176 |
| BUF_SIZE | 0 | r->param.environ.name | (-1),16 |
| BUF_SIZE | 0 | r->param.inet_network.address | (-1),4,16 |
| BUF_SIZE | 0 | r->param.mount.dev | (-1),16 |
| BUF_SIZE | 0 | r->param.mount.dir | (-1),16 |
| BUF_SIZE | 0 | r->param.mount.type | (-1),16 |
| BUF_SIZE | 0 | r->param.path.filename | (-1),16 |
| BUF_SIZE | 0 | r->param.unix_network.address | (-1),16 |
| BUF_SIZE | 2 | fmt | 12-13,15,21-22,27 |
| BUF_SIZE | 2 | fmt | 12-13,15,21-22,27 |
| BUF_SIZE | 3 | args | 8 |
| BUF_SIZE | 3 | args | 8 |
| DATA_SOURCE | 0 | r | $0 |
| DATA_SOURCE | 2 | fmt | $1 |
| STR_LEN | 0 | r | (-1),4,6,11-12,14,21 |
| STR_LEN | 0 | r | (-1),4,6,11-12,14,21 |
| STR_LEN | 0 | r->param.unix_network.address->name | (-1) |
| STR_LEN | 1 | len | (-1),20,26 |
| STR_LEN | 2 | fmt | (-1),20,26 |
| STR_LEN | 3 | *args | (-1),20,26 |
| PARAM_COMPARE | 2 | &fmt | == $3 |
| BIT_INFO | 0 | r->param.mount.flags | 0x0,0xffffffffffffffdf |
| TERMINATED | 2 | fmt | 1 |
| TERMINATED | 3 | *args | 1 |
| HARD_MAX | 0 | r->param_type | 7 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | r->param.inet_network.port | 0-u16max |
| LOCK2 | global &tomoyo_ss |
security/tomoyo/audit.c tomoyo_write_log() -> tomoyo_write_log2()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r | 4096-ptr_max |
| PARAM_VALUE | 0 | r->domain | 0,4096-ptr_max |
| PARAM_VALUE | 0 | r->ee->bprm->mm->mmap_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | r->ee->bprm->mm->mmap_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | r->granted | 0 |
| PARAM_VALUE | 0 | r->mode | 0-3 |
| PARAM_VALUE | 0 | *r->obj->stat_valid | 0-1 |
| PARAM_VALUE | 2 | fmt | 4368698539481141248,5581597490081202176,8347350738675638272 |
| PARAM_VALUE | 3 | *args | 4368698539481141248,5581597490081202176,8347350738675638272 |
| BUF_SIZE | 0 | r->ee | (-1),296 |
| BUF_SIZE | 0 | r->obj | (-1),176 |
| BUF_SIZE | 0 | r->param.environ.name | (-1),16 |
| BUF_SIZE | 0 | r->param.inet_network.address | (-1),4,16 |
| BUF_SIZE | 0 | r->param.mkdev.filename | (-1),16 |
| BUF_SIZE | 0 | r->param.path.filename | (-1),16 |
| BUF_SIZE | 0 | r->param.path2.filename1 | (-1),16 |
| BUF_SIZE | 0 | r->param.path2.filename2 | (-1),16 |
| BUF_SIZE | 0 | r->param.path_number.filename | (-1),16 |
| BUF_SIZE | 0 | r->param.unix_network.address | (-1),16 |
| BUF_SIZE | 2 | fmt | 3,14,16 |
| BUF_SIZE | 2 | fmt | 3,14,16 |
| BUF_SIZE | 3 | args | 8 |
| BUF_SIZE | 3 | args | 8 |
| DATA_SOURCE | 0 | r | $0 |
| DATA_SOURCE | 2 | fmt | $1 |
| STR_LEN | 0 | r | 2,4,11-15,21 |
| STR_LEN | 0 | r | 2,4,11-15,21 |
| STR_LEN | 0 | r->param.unix_network.address->name | (-1) |
| STR_LEN | 1 | len | (-1),2 |
| STR_LEN | 2 | fmt | (-1),2 |
| STR_LEN | 3 | *args | (-1),2 |
| PARAM_COMPARE | 2 | &fmt | == $3 |
| TERMINATED | 2 | fmt | 1 |
| TERMINATED | 3 | *args | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | r->param.inet_network.port | 0-u16max |
| LOCK2 | global &tomoyo_ss |