Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sched/cls_api.c tfilter_del_notify() -> tfilter_notify_prep()

Type Parameter Key Value
PARAM_VALUE 1 oskb 4096-ptr_max
PARAM_VALUE 1 oskb->data 4096-ptr_max
PARAM_VALUE 1 oskb->data->nlmsg_flags 1-u16max
PARAM_VALUE 1 oskb->data->nlmsg_len 16-4294967295
PARAM_VALUE 1 oskb->data->nlmsg_type 16-u16max
PARAM_VALUE 1 oskb->destructor 172217845709488128
PARAM_VALUE 1 oskb->hdr_len 0
PARAM_VALUE 1 oskb->head_frag 0
PARAM_VALUE 1 oskb->len 16-u32max
PARAM_VALUE 1 oskb->nohdr 0
PARAM_VALUE 1 oskb->pp_recycle 0
PARAM_VALUE 1 oskb->sk 4096-ptr_max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->gen->s.len 0-s32max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 1 oskb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 oskb->sk->ns_tracker->dead 0-1
PARAM_VALUE 1 oskb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 oskb->sk->sk_peer_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 2 n 4096-ptr_max
PARAM_VALUE 2 n->nlmsg_flags 1-u16max
PARAM_VALUE 2 n->nlmsg_len 36-u32max
PARAM_VALUE 2 n->nlmsg_type 16-123
PARAM_VALUE 3 tp 4096-ptr_max
PARAM_VALUE 3 tp->ops 4096-ptr_max
PARAM_VALUE 3 tp->ops->kind 4096-ptr_max
PARAM_VALUE 3 tp->prio 65536-u32max
PARAM_VALUE 4 block 4096-ptr_max
PARAM_VALUE 4 block->chain0.chain 4096-ptr_max
PARAM_VALUE 4 block->chain0.chain->block 4096-ptr_max
PARAM_VALUE 4 block->chain0.chain->filter_chain_lock.magic 4096-ptr_max
PARAM_VALUE 4 block->chain0.chain->index 0
PARAM_VALUE 4 block->chain0.chain->list.next 4096-ptr_max
PARAM_VALUE 4 block->chain0.chain->refcnt 1
PARAM_VALUE 4 block->chain_list.prev 4096-ptr_max
PARAM_VALUE 4 block->chain_list.prev->next 4096-ptr_max
PARAM_VALUE 4 block->index 0
PARAM_VALUE 4 block->lock.dep_map->name 0-255
PARAM_VALUE 4 block->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 4 block->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 4 block->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 4 block->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 4 block->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 4 block->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 4 block->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 4 block->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 4 block->lock.osq.tail.counter 0-s32max
PARAM_VALUE 5 q 0,4096-ptr_max
PARAM_VALUE 5 q->flags 1-u32max
PARAM_VALUE 5 q->ops 4096-ptr_max
PARAM_VALUE 5 q->ops->cl_ops 4096-ptr_max
PARAM_VALUE 5 q->refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 7 fh 1-u64max
PARAM_VALUE 8 event 45
PARAM_VALUE 11 extack 4971238048455385088
PARAM_VALUE 11 extack->bad_attr 0
PARAM_VALUE 11 extack->policy 0
BUF_SIZE 1 oskb (-1)-s32max
BUF_SIZE 1 oskb (-1)-s32max
BUF_SIZE 2 n 1-s32max
BUF_SIZE 2 n 1-s32max
CAPPED_DATA 1 oskb->sk->__sk_common.skc_net.net 1
CAPPED_DATA 2 n->nlmsg_len 1
CAPPED_DATA 3 tp->prio 1
DATA_SOURCE 0 net $0
DATA_SOURCE 1 oskb $1
DATA_SOURCE 2 n $2
DATA_SOURCE 3 tp $3
DATA_SOURCE 4 block $4
DATA_SOURCE 5 q $5
DATA_SOURCE 6 parent $6
DATA_SOURCE 7 fh $7
DATA_SOURCE 10 rtnl_held $9
DATA_SOURCE 11 extack $10
FUZZY_MAX 1 oskb->data->nlmsg_len 16
FUZZY_MAX 1 oskb->data->nlmsg_type 16
STR_LEN 1 oskb->sk (-1)
CONSTRAINT 2 n <=49
BIT_INFO 2 n->nlmsg_flags 0x1,0xffffffffffffffff
BIT_INFO 3 tp->prio 0x0,0xffff0000
NOSPEC 2 n->nlmsg_len
MEM_ZERO 11 extack
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 n->nlmsg_flags 1-u16max[u]
USER_DATA 2 n->nlmsg_len 36-s32max[c]
USER_DATA 2 n->nlmsg_pid 0-u32max[u]
USER_DATA 2 n->nlmsg_seq 0-u32max[u]
USER_DATA 2 n->nlmsg_type 16-123[u]
USER_DATA 3 tp->prio 65536-u32max[c]
USER_DATA 6 parent 0-u32max
NO_OVERFLOW_SIMPLE 1 oskb->end
NO_OVERFLOW_SIMPLE 1 oskb->extensions
NO_OVERFLOW_SIMPLE 1 oskb->len
NO_OVERFLOW_SIMPLE 1 oskb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 1 oskb->tail
UNITS 0 net unit_byte
UNITS 2 n unit_byte
UNITS 6 parent unit_array_size
USER_PTR 2 n
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

net/sched/cls_api.c tfilter_notify() -> tfilter_notify_prep()

Type Parameter Key Value
PARAM_VALUE 1 oskb 4096-ptr_max
PARAM_VALUE 1 oskb->data 4096-ptr_max
PARAM_VALUE 1 oskb->data->nlmsg_flags 1-u16max
PARAM_VALUE 1 oskb->data->nlmsg_len 16-4294967295
PARAM_VALUE 1 oskb->data->nlmsg_type 16-u16max
PARAM_VALUE 1 oskb->destructor 172217845709488128
PARAM_VALUE 1 oskb->hdr_len 0
PARAM_VALUE 1 oskb->head_frag 0
PARAM_VALUE 1 oskb->len 16-u32max
PARAM_VALUE 1 oskb->nohdr 0
PARAM_VALUE 1 oskb->pp_recycle 0
PARAM_VALUE 1 oskb->sk 4096-ptr_max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->gen->s.len 0-s32max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->dfl_pwq 0-s64max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->saved_max_active s32min-s32max
PARAM_VALUE 1 oskb->sk->__sk_common.skc_net.net->xfrm.nat_keepalive_work.wq->saved_min_active s32min-s32max
PARAM_VALUE 1 oskb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 oskb->sk->ns_tracker->dead 0-1
PARAM_VALUE 1 oskb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 oskb->sk->sk_peer_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 oskb->sk->sk_peer_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 2 n 4096-ptr_max
PARAM_VALUE 2 n->nlmsg_flags 1-u16max
PARAM_VALUE 2 n->nlmsg_len 36-u32max
PARAM_VALUE 2 n->nlmsg_type 16-123
PARAM_VALUE 3 tp 4096-ptr_max
PARAM_VALUE 3 tp->chain->block->cb_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 3 tp->chain->block->cb_lock.first_waiter->type 0-1
PARAM_VALUE 3 tp->ops->bind_class 0,4096-ptr_max
PARAM_VALUE 3 tp->ops->classify 4096-ptr_max
PARAM_VALUE 3 tp->ops->destroy 4096-ptr_max
PARAM_VALUE 3 tp->ops->dump 4096-ptr_max
PARAM_VALUE 3 tp->ops->flags 0-1
PARAM_VALUE 3 tp->ops->hw_del 0,4096-ptr_max
PARAM_VALUE 3 tp->ops->owner 0,4096-ptr_max
PARAM_VALUE 3 tp->ops->put 0,4096-ptr_max
PARAM_VALUE 3 tp->ops->reoffload 0,631035440261332992,2894995858785198080,6092317856774164480,6534152950415466496
PARAM_VALUE 3 tp->ops->terse_dump 0,4096-ptr_max
PARAM_VALUE 3 tp->ops->walk 4096-ptr_max
PARAM_VALUE 4 block 4096-ptr_max
PARAM_VALUE 4 block->index 0
PARAM_VALUE 4 block->lock.dep_map->name 0-255
PARAM_VALUE 4 block->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 4 block->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 4 block->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 4 block->lock.osq.tail.counter 0-s32max
PARAM_VALUE 5 q 0,4096-ptr_max
PARAM_VALUE 5 q->flags 1-u32max
PARAM_VALUE 5 q->refcnt.refs.counter (-1073741824),0-s32max
PARAM_VALUE 8 event 44-45
PARAM_VALUE 11 extack 0,4971238048455385088
BUF_SIZE 1 oskb (-1)-s32max
BUF_SIZE 1 oskb (-1)-s32max
BUF_SIZE 2 n 1-s32max
BUF_SIZE 2 n 1-s32max
CAPPED_DATA 1 oskb->sk->__sk_common.skc_net.net 1
CAPPED_DATA 2 n->nlmsg_len 1
CAPPED_DATA 3 tp 1
DATA_SOURCE 0 net $0
DATA_SOURCE 1 oskb $1
DATA_SOURCE 2 n $2
DATA_SOURCE 3 tp $3
DATA_SOURCE 4 block $4
DATA_SOURCE 5 q $5
DATA_SOURCE 6 parent $6
DATA_SOURCE 7 fh $7
DATA_SOURCE 8 event $8
DATA_SOURCE 10 rtnl_held $10
DATA_SOURCE 11 extack $11
FUZZY_MAX 1 oskb->data->nlmsg_len 16
FUZZY_MAX 1 oskb->data->nlmsg_type 16
STR_LEN 1 oskb->sk (-1)
CONSTRAINT 2 n <=49
BIT_INFO 2 n->nlmsg_flags 0x1,0xffffffffffffffff
NOSPEC 2 n->nlmsg_len
NOSPEC 3 tp->prio
NOSPEC 3 tp->protocol
NOSPEC 4 block->chain0.chain->index
HARD_MAX 8 event 45
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 n->nlmsg_flags 1-u16max[u]
USER_DATA 2 n->nlmsg_len 36-s32max[c]
USER_DATA 2 n->nlmsg_pid 0-u32max[u]
USER_DATA 2 n->nlmsg_seq 0-u32max[u]
USER_DATA 2 n->nlmsg_type 16-123[u]
USER_DATA 3 tp->chain->index 0-268435455[c]
USER_DATA 3 tp->prio 65536-u32max[c]
USER_DATA 3 tp->protocol 1-u16max[c]
USER_DATA 4 block->chain0.chain->index 0[c]
USER_DATA 4 block->classid 0-u32max
USER_DATA 6 parent 0-u32max
NO_OVERFLOW_SIMPLE 1 oskb->end
NO_OVERFLOW_SIMPLE 1 oskb->extensions
NO_OVERFLOW_SIMPLE 1 oskb->len
NO_OVERFLOW_SIMPLE 1 oskb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 1 oskb->tail
UNITS 0 net unit_byte
UNITS 2 n unit_byte
UNITS 6 parent unit_array_size
USER_PTR 2 n
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