Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

security/integrity/ima/ima_appraise.c xattr_verify() -> integrity_digsig_verify()

Type Parameter Key Value
PARAM_VALUE 0 id 1
PARAM_VALUE 1 sig 4096-ptr_max
PARAM_VALUE 2 siglen s32min-(-96),(-94)-s32max
DATA_SOURCE 1 sig $2
DATA_SOURCE 2 siglen $3
UNITS 2 siglen unit_byte
UNITS 4 digestlen unit_byte
LOCK2 &iint->mutex
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct ima_iint_cache)->mutex
TYPE_LOCK (struct inode)->i_rwsem

security/integrity/ima/ima_appraise.c xattr_verify() -> integrity_digsig_verify()

Type Parameter Key Value
PARAM_VALUE 0 id 2
PARAM_VALUE 1 sig 4096-ptr_max
PARAM_VALUE 2 siglen s32min-(-96),(-94)-s32max
CAPPED_DATA 2 siglen 1
DATA_SOURCE 1 sig $2
DATA_SOURCE 2 siglen $3
UNITS 2 siglen unit_byte
UNITS 4 digestlen unit_byte
LOCK2 &iint->mutex
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct ima_iint_cache)->mutex
TYPE_LOCK (struct inode)->i_rwsem

security/integrity/ima/ima_appraise.c xattr_verify() -> integrity_digsig_verify()

Type Parameter Key Value
PARAM_VALUE 0 id 1
PARAM_VALUE 1 sig 4096-ptr_max
PARAM_VALUE 2 siglen s32min-(-96),(-94)-s32max
DATA_SOURCE 1 sig $2
DATA_SOURCE 2 siglen $3
UNITS 2 siglen unit_byte
UNITS 4 digestlen 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_verify_hmac() -> integrity_digsig_verify()

Type Parameter Key Value
PARAM_VALUE 0 id 0
PARAM_VALUE 1 sig 4096-ptr_max
PARAM_VALUE 2 siglen 10-s32max
BUF_SIZE 3 digest 64
CAPPED_DATA 1 sig 1
UNITS 2 siglen unit_byte
UNITS 4 digestlen unit_byte
HALF_LOCKED2 &iint->mutex
HALF_LOCKED2 &inode->i_rwsem