Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

security/apparmor/label.c __label_insert() -> __label_replace()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->flags 0,2048-s64max
PARAM_VALUE 0 old->proxy 4096-ptr_max
PARAM_VALUE 0 old->proxy->count.count.refcount.refs.counter (-1073741824)
PARAM_VALUE 0 old->proxy->label 1-u64max
PARAM_VALUE 0 old->proxy->label->count.count.refcount.refs.counter (-1073741824)
PARAM_VALUE 1 new 4096-ptr_max
PARAM_VALUE 1 new->count.count.refcount.refs.counter (-1073741824)
PARAM_VALUE 1 new->proxy->count.count.refcount.refs.counter (-1073741824)
PARAM_VALUE 1 new->vec 4096-ptr_max
CAPPED_DATA 0 old 1
CAPPED_DATA 1 new 1
DATA_SOURCE 1 new $1
LOCK2 flags
HALF_LOCKED2 &ls->lock
HALF_LOCKED2 &ls->lock

security/apparmor/label.c aa_label_replace() -> __label_replace()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->flags 0,2048-s64max
PARAM_VALUE 0 old->hname 1-u64max
PARAM_VALUE 0 old->proxy 4096-ptr_max
PARAM_VALUE 0 old->proxy->label 1-u64max
PARAM_VALUE 0 old->proxy->label->count.count.refcount.refs.counter (-1073741824)
PARAM_VALUE 0 old->vec 4096-ptr_max
PARAM_VALUE 1 new 4096-ptr_max
PARAM_VALUE 1 new->count.count.refcount.refs.counter (-1073741824)
PARAM_VALUE 1 new->hname 1-u64max
PARAM_VALUE 1 new->vec 4096-ptr_max
CAPPED_DATA 0 old->hname 1
CAPPED_DATA 0 old->proxy 1
CAPPED_DATA 1 new->hname 1
DATA_SOURCE 0 old $0
DATA_SOURCE 1 new $1
PARAM_COMPARE 1 new->hname == $0->hname
LOCK2 &ons->labels.lock
LOCK2 flags
HALF_LOCKED2 &ns->lock
TYPE_LOCK (struct aa_labelset)->lock