Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

net/key/af_key.c parse_exthdrs() -> verify_sec_ctx_len()

Type Parameter Key Value
PARAM_VALUE 0 attrs 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk
TYPE_LOCK (struct netns_xfrm)->xfrm_cfg_mutex

net/key/af_key.c pfkey_compile_policy() -> verify_sec_ctx_len()

Type Parameter Key Value
PARAM_VALUE 0 attrs 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 sk

net/xfrm/xfrm_user.c verify_newsa_info() -> verify_sec_ctx_len()

Type Parameter Key Value
PARAM_VALUE 0 attrs 1890966759864250368
PARAM_VALUE 1 extack 4971238048455385088
PARAM_VALUE 1 extack->_msg 0
BUF_SIZE 0 attrs 336
BUF_SIZE 0 attrs 336
DATA_SOURCE 0 attrs $1
DATA_SOURCE 1 extack $2
MEM_ZERO 1 extack
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/xfrm/xfrm_user.c xfrm_add_acquire() -> verify_sec_ctx_len()

Type Parameter Key Value
PARAM_VALUE 0 attrs 1890966759864250368
PARAM_VALUE 1 extack 4971238048455385088
PARAM_VALUE 1 extack->_msg 0
BUF_SIZE 0 attrs 336
BUF_SIZE 0 attrs 336
DATA_SOURCE 0 attrs $2
DATA_SOURCE 1 extack $3
MEM_ZERO 1 extack
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/xfrm/xfrm_user.c xfrm_add_pol_expire() -> verify_sec_ctx_len()

Type Parameter Key Value
PARAM_VALUE 0 attrs 1890966759864250368
PARAM_VALUE 1 extack 4971238048455385088
PARAM_VALUE 1 extack->_msg 0
BUF_SIZE 0 attrs 336
BUF_SIZE 0 attrs 336
DATA_SOURCE 0 attrs $2
DATA_SOURCE 1 extack $3
MEM_ZERO 1 extack
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/xfrm/xfrm_user.c xfrm_add_policy() -> verify_sec_ctx_len()

Type Parameter Key Value
PARAM_VALUE 0 attrs 1890966759864250368
PARAM_VALUE 1 extack 4971238048455385088
PARAM_VALUE 1 extack->_msg 0
BUF_SIZE 0 attrs 336
BUF_SIZE 0 attrs 336
DATA_SOURCE 0 attrs $2
DATA_SOURCE 1 extack $3
MEM_ZERO 1 extack
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read

net/xfrm/xfrm_user.c xfrm_get_policy() -> verify_sec_ctx_len()

Type Parameter Key Value
PARAM_VALUE 0 attrs 1890966759864250368
PARAM_VALUE 1 extack 4971238048455385088
PARAM_VALUE 1 extack->_msg 0
BUF_SIZE 0 attrs 336
BUF_SIZE 0 attrs 336
DATA_SOURCE 0 attrs $2
DATA_SOURCE 1 extack $3
MEM_ZERO 1 extack
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read