Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

security/apparmor/ipc.c profile_signal_perm() -> aa_dfa_next()

Type Parameter Key Value
PARAM_VALUE 1 state 1-u32max
PARAM_VALUE 2 c 0-31,35,128-160
DATA_SOURCE 1 state r RULE_MEDIATES

security/apparmor/file.c aa_dfa_null_transition() -> aa_dfa_next()

Type Parameter Key Value
PARAM_VALUE 0 dfa 4096-ptr_max
PARAM_VALUE 2 c 0
DATA_SOURCE 0 dfa $0
DATA_SOURCE 1 state $1

security/apparmor/capability.c aa_profile_capget() -> aa_dfa_next()

Type Parameter Key Value
PARAM_VALUE 1 state 1-u32max
PARAM_VALUE 2 c 0
DATA_SOURCE 1 state r RULE_MEDIATES
LOCK2 rcu_read

security/apparmor/capability.c profile_capable() -> aa_dfa_next()

Type Parameter Key Value
PARAM_VALUE 1 state 1-u32max
DATA_SOURCE 1 state r RULE_MEDIATES

security/apparmor/mount.c aa_dfa_null_transition() -> aa_dfa_next()

Type Parameter Key Value
PARAM_VALUE 0 dfa 4096-ptr_max
PARAM_VALUE 2 c 0
DATA_SOURCE 0 dfa $0
DATA_SOURCE 1 state $1

security/apparmor/mount.c match_mnt_flags() -> aa_dfa_next()

Type Parameter Key Value
PARAM_VALUE 0 dfa 4096-ptr_max
PARAM_VALUE 2 c 1-32
DATA_SOURCE 0 dfa $0
DATA_SOURCE 1 state $1 [m]

security/apparmor/domain.c aa_dfa_null_transition() -> aa_dfa_next()

Type Parameter Key Value
PARAM_VALUE 0 dfa 4096-ptr_max
PARAM_VALUE 2 c 0
DATA_SOURCE 0 dfa $0
DATA_SOURCE 1 state $1

security/apparmor/lib.c aa_profile_match_label() -> aa_dfa_next()

Type Parameter Key Value
PARAM_VALUE 2 c 9
DATA_SOURCE 2 c $3

security/apparmor/af_unix.c aa_dfa_null_transition() -> aa_dfa_next()

Type Parameter Key Value
PARAM_VALUE 0 dfa 4096-ptr_max
PARAM_VALUE 2 c 0
DATA_SOURCE 0 dfa $0
DATA_SOURCE 1 state $1

security/apparmor/policy_unpack.c unpack_pdb() -> aa_dfa_next()

Type Parameter Key Value
PARAM_VALUE 0 dfa 4096-ptr_max
PARAM_VALUE 0 dfa->tables 4096-ptr_max
PARAM_VALUE 1 state 0-4294967294
PARAM_VALUE 2 c 3-32
BUF_SIZE 0 dfa (-1),80
BUF_SIZE 0 dfa (-1),80
DATA_SOURCE 0 dfa r unpack_dfa

security/apparmor/policy_unpack.c unpack_profile() -> aa_dfa_next()

Type Parameter Key Value
PARAM_VALUE 2 c 2

security/apparmor/policy_unpack.c unpack_profile() -> aa_dfa_next()

Type Parameter Key Value
PARAM_VALUE 0 dfa 4096-ptr_max
PARAM_VALUE 2 c 2