Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/coredump.c vfs_coredump() -> do_coredump()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cn | 4037634672073293824 |
| PARAM_VALUE | 1 | cprm | 5928885399341355008 |
| PARAM_VALUE | 1 | cprm->cpu | 0 |
| PARAM_VALUE | 1 | cprm->dumpable | 1-u32max |
| PARAM_VALUE | 1 | cprm->file | 0 |
| PARAM_VALUE | 1 | cprm->pid | 0 |
| PARAM_VALUE | 1 | cprm->pos | 0 |
| PARAM_VALUE | 1 | cprm->siginfo | 205423189549002784,672443148911562784,6167043204661637152,7556018523812884512 |
| PARAM_VALUE | 1 | cprm->to_skip | 0 |
| PARAM_VALUE | 1 | cprm->vma_count | 0 |
| PARAM_VALUE | 1 | cprm->vma_data_size | 0 |
| PARAM_VALUE | 1 | cprm->vma_meta | 0 |
| PARAM_VALUE | 1 | cprm->written | 0 |
| PARAM_VALUE | 2 | argv | 6846420317433544704 |
| PARAM_VALUE | 2 | *argv | 0 |
| PARAM_VALUE | 2 | *(*argv) | 0 |
| PARAM_VALUE | 3 | argc | 6524080302413279232 |
| PARAM_VALUE | 3 | *argc | 0 |
| PARAM_VALUE | 4 | binfmt | 4096-ptr_max |
| PARAM_VALUE | 4 | binfmt->core_dump | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |