Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
security/loadpin/loadpin.c loadpin_check() -> report_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | operation | 2206678012439003136 |
| BUF_SIZE | 2 | operation | 17 |
| DATA_SOURCE | 0 | origin | r kernel_read_file_id_str |
| DATA_SOURCE | 1 | file | $0 |
| STR_LEN | 0 | origin | 16 |
| TERMINATED | 2 | operation | 1 |
| NOCHECK_CALL |
security/loadpin/loadpin.c loadpin_check() -> report_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | file | 0 |
| PARAM_VALUE | 2 | operation | 2896865390103416832 |
| BUF_SIZE | 2 | operation | 24 |
| DATA_SOURCE | 0 | origin | r kernel_read_file_id_str |
| STR_LEN | 0 | origin | 23 |
| TERMINATED | 2 | operation | 1 |
| NOCHECK_CALL |
security/loadpin/loadpin.c loadpin_check() -> report_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | file | 0 |
| PARAM_VALUE | 2 | operation | 4385209268037189632 |
| BUF_SIZE | 2 | operation | 15 |
| DATA_SOURCE | 0 | origin | r kernel_read_file_id_str |
| STR_LEN | 0 | origin | 14 |
| TERMINATED | 2 | operation | 1 |
| NOCHECK_CALL |
security/loadpin/loadpin.c loadpin_check() -> report_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | file->f_path.mnt | 4096-ptr_max |
| PARAM_VALUE | 1 | file->f_path.mnt->mnt_sb | 4096-ptr_max |
| PARAM_VALUE | 2 | operation | 6554957168596946944 |
| BUF_SIZE | 2 | operation | 7 |
| DATA_SOURCE | 0 | origin | r kernel_read_file_id_str |
| DATA_SOURCE | 1 | file | $0 |
| STR_LEN | 0 | origin | 6 |
| TERMINATED | 2 | operation | 1 |
| NOCHECK_CALL |
security/loadpin/loadpin.c loadpin_check() -> report_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | file->f_path.mnt | 4096-ptr_max |
| PARAM_VALUE | 2 | operation | 2380247683495985152 |
| BUF_SIZE | 2 | operation | 16 |
| DATA_SOURCE | 0 | origin | r kernel_read_file_id_str |
| DATA_SOURCE | 1 | file | $0 |
| STR_LEN | 0 | origin | 15 |
| TERMINATED | 2 | operation | 1 |
| NOCHECK_CALL |
security/loadpin/loadpin.c loadpin_check() -> report_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | file->f_path.mnt | 4096-ptr_max |
| PARAM_VALUE | 2 | operation | 5822632132484534272 |
| BUF_SIZE | 2 | operation | 7 |
| DATA_SOURCE | 0 | origin | r kernel_read_file_id_str |
| DATA_SOURCE | 1 | file | $0 |
| STR_LEN | 0 | origin | 6 |
| TERMINATED | 2 | operation | 1 |
| NOCHECK_CALL |