Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

security/ipe/policy_fs.c delete_policy() -> ipe_free_policy()

Type Parameter Key Value
PARAM_VALUE 0 p 1-u64max
BUF_SIZE 0 p s32min-(-2),1-s32max
BUF_SIZE 0 p s32min-(-2),1-s32max
NOCHECK_CALL
UNITS 0 p unit_array_size

security/ipe/policy.c ipe_new_policy() -> ipe_free_policy()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
BUF_SIZE 0 p 48
BUF_SIZE 0 p->pkcs7 (-1)-1000000000,2147479552
DATA_SOURCE 0 p r _kzalloc_noprof
NOSPEC 0 p->pkcs7len
NOCHECK_CALL
USER_DATA 0 p->pkcs7len 0-1000000000[c]
HALF_LOCKED2 &root->i_rwsem

security/ipe/policy.c ipe_update_policy() -> ipe_free_policy()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->parsed 4096-ptr_max
BUF_SIZE 0 p s32min-(-2),1-s32max
BUF_SIZE 0 p s32min-(-2),1-s32max
CAPPED_DATA 0 p 1
NOCHECK_CALL
UNITS 0 p unit_array_size
LOCK2 &root->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

security/ipe/policy.c ipe_update_policy() -> ipe_free_policy()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->parsed 4096-ptr_max
PARAM_VALUE 0 p->parsed->global_default_action 0-47,60,64,128,256,512,1024,2048,4096,8192,16384,32768
PARAM_VALUE 0 p->text 4096-ptr_max
PARAM_VALUE 0 p->textlen 1-1010101
BUF_SIZE 0 p 48
DATA_SOURCE 0 p r ipe_new_policy
NOSPEC 0 p->pkcs7len
NOCHECK_CALL
USER_DATA 0 p->pkcs7len 0-u16max[c]
LOCK2 &root->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

security/ipe/policy_tests.c ipe_parser_unsigned_test() -> ipe_free_policy()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->parsed 4096-ptr_max
PARAM_VALUE 0 p->parsed->global_default_action 0-47,60,64,128,256,512,1024,2048,4096,8192,16384,32768
PARAM_VALUE 0 p->text 4096-ptr_max
PARAM_VALUE 0 p->textlen 1-1010101
BUF_SIZE 0 p 48
DATA_SOURCE 0 p r ipe_new_policy
NOCHECK_CALL

security/ipe/policy_tests.c ipe_parser_widestring_test() -> ipe_free_policy()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-u64max
PARAM_VALUE 0 p->parsed 4096-ptr_max
PARAM_VALUE 0 p->parsed->global_default_action 0-47,60,64,128,256,512,1024,2048,4096,8192,16384,32768
PARAM_VALUE 0 p->text 4096-ptr_max
PARAM_VALUE 0 p->textlen 1-1010101
BUF_SIZE 0 p (-1),48
BUF_SIZE 0 p (-1),48
DATA_SOURCE 0 p r ipe_new_policy
NOCHECK_CALL

security/ipe/fs.c new_policy() -> ipe_free_policy()

Type Parameter Key Value
PARAM_VALUE 0 p 0,4096-u64max
PARAM_VALUE 0 p->parsed 4096-ptr_max
PARAM_VALUE 0 p->parsed->global_default_action 0-47,60,64,128,256,512,1024,2048,4096,8192,16384,32768
PARAM_VALUE 0 p->policyfs 0
PARAM_VALUE 0 p->text 4096-ptr_max
PARAM_VALUE 0 p->textlen 1-1010101
BUF_SIZE 0 p (-1)-0,48
BUF_SIZE 0 p (-1)-0,48
NOSPEC 0 p->pkcs7len
NOCHECK_CALL
USER_DATA 0 p->pkcs7len 0-u16max[c]