Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sys.c do_prlimit() -> security_task_setrlimit()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->group_leader 4096-ptr_max
PARAM_VALUE 0 p->group_leader->alloc_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 p->signal 4096-ptr_max
PARAM_VALUE 1 resource 0-15
PARAM_VALUE 2 new_rlim 2261492019501666304,4177443116488183808,7236413863046053888
BUF_SIZE 2 new_rlim (-1)-0,16
BUF_SIZE 2 new_rlim (-1)-0,16
CAPPED_DATA 1 resource 1
CAPPED_DATA 2 new_rlim->rlim_cur 1
CAPPED_DATA 2 new_rlim->rlim_max 1
DATA_SOURCE 0 p $0
DATA_SOURCE 2 new_rlim $2
FUZZY_MAX 1 resource 7
PARAM_COMPARE 2 new_rlim->rlim_cur <= $2->rlim_max
NOSPEC 1 resource
NOSPEC 1 resource
PREEMPT_ADD <- disables preempt
USER_DATA 1 resource 0-6,8-15[c]
USER_DATA 2 new_rlim->rlim_cur 0-u64max[c]
USER_DATA 2 new_rlim->rlim_max 0-u64max[c]
LOCK2 0 &p->group_leader->alloc_lock
TYPE_LOCK (struct task_struct)->alloc_lock