Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

security/integrity/evm/evm_main.c evm_fix_hmac() -> evm_update_evmxattr()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-ptr_max
PARAM_VALUE 0 dentry->d_inode 4096-ptr_max
PARAM_VALUE 0 dentry->d_inode->i_sb 4096-ptr_max
PARAM_VALUE 0 dentry->d_inode->i_sb->s_iflags 32-u64max
PARAM_VALUE 1 xattr_name 491420867498741760
PARAM_VALUE 3 xattr_value_len 0-s32max,18446744071562067968-18446744073709551520,18446744073709551522-u64max
BUF_SIZE 1 xattr_name 13
BUF_SIZE 1 xattr_name 13
CAPPED_DATA 0 dentry 1
CAPPED_DATA 3 xattr_value_len 1
CAPPED_DATA 3 xattr_value_len 1
DATA_SOURCE 0 dentry $0
DATA_SOURCE 1 xattr_name $1
DATA_SOURCE 2 xattr_value $2
DATA_SOURCE 3 xattr_value_len $3
STR_LEN 0 dentry 12
STR_LEN 0 dentry 12
TERMINATED 1 xattr_name 1
UNITS 3 xattr_value_len unit_byte
LOCK2 &iint->mutex
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct ima_iint_cache)->mutex
TYPE_LOCK (struct inode)->i_rwsem

security/integrity/evm/evm_main.c evm_inode_post_removexattr() -> evm_update_evmxattr()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-ptr_max
PARAM_VALUE 0 dentry->d_inode 4096-ptr_max
PARAM_VALUE 1 xattr_name 0,4096-ptr_max
PARAM_VALUE 2 xattr_value 0
PARAM_VALUE 3 xattr_value_len 0
DATA_SOURCE 0 dentry $0
DATA_SOURCE 1 xattr_name $1
NOCHECK_CALL

security/integrity/evm/evm_main.c evm_inode_post_setattr() -> evm_update_evmxattr()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-ptr_max
PARAM_VALUE 0 dentry->d_inode 4096-ptr_max
PARAM_VALUE 1 xattr_name 0
PARAM_VALUE 2 xattr_value 0
PARAM_VALUE 3 xattr_value_len 0
DATA_SOURCE 0 dentry $1
NOCHECK_CALL

security/integrity/evm/evm_main.c evm_inode_post_setxattr() -> evm_update_evmxattr()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-ptr_max
PARAM_VALUE 0 dentry->d_inode 4096-ptr_max
PARAM_VALUE 1 xattr_name 0,4096-ptr_max
PARAM_VALUE 2 xattr_value 0
PARAM_VALUE 3 xattr_value_len 0
DATA_SOURCE 0 dentry $0
DATA_SOURCE 1 xattr_name $1
DATA_SOURCE 2 xattr_value $2
DATA_SOURCE 3 xattr_value_len $3
NOCHECK_CALL

security/integrity/evm/evm_main.c evm_verify_hmac() -> evm_update_evmxattr()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-ptr_max
PARAM_VALUE 0 dentry->d_inode->i_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dentry->d_inode->i_sb 4096-ptr_max
PARAM_VALUE 1 xattr_name 0,491420867498741760
PARAM_VALUE 3 xattr_value_len 0-s32max
BUF_SIZE 1 xattr_name (-1),13
BUF_SIZE 1 xattr_name (-1),13
DATA_SOURCE 0 dentry $0
DATA_SOURCE 1 xattr_name $1
DATA_SOURCE 2 xattr_value $2
DATA_SOURCE 3 xattr_value_len $3
STR_LEN 0 dentry (-1),12
STR_LEN 0 dentry (-1),12
NOCHECK_CALL
UNITS 3 xattr_value_len unit_byte
HALF_LOCKED2 &iint->mutex
HALF_LOCKED2 &inode->i_rwsem