Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
mm/kasan/report_generic.c get_bug_type() -> get_shadow_bug_type()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 1314697507219099648,4953500496958988288 |
| PARAM_VALUE | 0 | info->first_bad_addr | 0 |
| BUF_SIZE | 0 | info->access_addr | (-1)-s32max |
| BUF_SIZE | 0 | info->bug_type | (-1),12-13 |
| DATA_SOURCE | 0 | info | $0 |
| STR_LEN | 0 | info->access_addr | (-1)-1010101 |
| STR_LEN | 0 | info->bug_type | (-1),11-12 |
| STR_LEN | 0 | info->first_bad_addr | (-1)-1010101 |
| PARAM_COMPARE | 0 | info->access_addr | == $0->access_size |
| MEM_ZERO | 0 | info | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | info->access_size | |
| LOCK2 | global &report_lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq_flags |