Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/sys.c prctl_set_mm() -> validate_prctl_map_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prctl_map | 6595909912700334080 |
| CAPABLE | 0 | 24 | |
| PREEMPT_ADD | <- disables preempt | ||
| USER_DATA | 0 | prctl_map->arg_end | 0-s32max[c] |
| USER_DATA | 0 | prctl_map->arg_start | 0-s32max[c] |
| USER_DATA | 0 | prctl_map->brk | 0-s32max[c] |
| USER_DATA | 0 | prctl_map->end_code | 0-s32max[c] |
| USER_DATA | 0 | prctl_map->end_data | 0-s32max[c] |
| USER_DATA | 0 | prctl_map->env_end | 0-s32max[c] |
| USER_DATA | 0 | prctl_map->env_start | 0-s32max[c] |
| USER_DATA | 0 | prctl_map->start_brk | 0-s32max[c] |
| USER_DATA | 0 | prctl_map->start_code | 0-s32max[c] |
| USER_DATA | 0 | prctl_map->start_data | 0-s32max[c] |
| USER_DATA | 0 | prctl_map->start_stack | 0-s32max[c] |
| LOCK2 | &mm->arg_lock | ||
| LOCK2 | &mm->mmap_lock | ||
| TYPE_LOCK | (struct mm_struct)->arg_lock | ||
| TYPE_LOCK | (struct mm_struct)->mmap_lock |
kernel/sys.c prctl_set_mm_map() -> validate_prctl_map_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prctl_map | 4146605065277153280 |
| USER_DATA | 0 | prctl_map->arg_end | 0-u64max |
| USER_DATA | 0 | prctl_map->arg_start | 0-u64max |
| USER_DATA | 0 | prctl_map->auxv_size | 0-u32max |
| USER_DATA | 0 | prctl_map->brk | 0-u64max |
| USER_DATA | 0 | prctl_map->end_code | 0-u64max |
| USER_DATA | 0 | prctl_map->end_data | 0-u64max |
| USER_DATA | 0 | prctl_map->env_end | 0-u64max |
| USER_DATA | 0 | prctl_map->env_start | 0-u64max |
| USER_DATA | 0 | prctl_map->exe_fd | 0-u32max |
| USER_DATA | 0 | prctl_map->start_brk | 0-u64max |
| USER_DATA | 0 | prctl_map->start_code | 0-u64max |
| USER_DATA | 0 | prctl_map->start_data | 0-u64max |
| USER_DATA | 0 | prctl_map->start_stack | 0-u64max |