Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/rxrpc/rxkad.c rxkad_verify_response() -> rxkad_decrypt_ticket()

Type Parameter Key Value
PARAM_VALUE 0 conn 4096-ptr_max
PARAM_VALUE 0 conn->bundle->key->user->qnbytes s32min-s32max
PARAM_VALUE 0 conn->bundle->key->user->qnkeys s32min-s32max
PARAM_VALUE 0 conn->key->user->qnbytes s32min-s32max
PARAM_VALUE 0 conn->key->user->qnkeys s32min-s32max
PARAM_VALUE 0 conn->local 4096-ptr_max
PARAM_VALUE 0 conn->local->active_users.counter 0-s32max
PARAM_VALUE 0 conn->local->service 4096-ptr_max
PARAM_VALUE 0 conn->local->services_lock.dep_map->name 0-255
PARAM_VALUE 0 conn->rx_queue.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 conn->security 4096-ptr_max
PARAM_VALUE 0 conn->state 5
PARAM_VALUE 0 conn->state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 conn->tx_response->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 conn->tx_response->sk->ns_tracker->dead 0-1
PARAM_VALUE 0 conn->tx_response->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 server_key 4096-ptr_max
PARAM_VALUE 1 server_key->expiry (-9223372036854775807)-s64max
PARAM_VALUE 1 server_key->revoked_at (-9223372036854775807)-s64max
PARAM_VALUE 2 skb 4096-ptr_max
PARAM_VALUE 2 skb->next 0
PARAM_VALUE 2 skb->prev 0
PARAM_VALUE 2 skb->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 2 skb->sk->ns_tracker->dead 0-1
PARAM_VALUE 2 skb->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 4 ticket_len 4-1024
PARAM_VALUE 5 _session_key 1547902672834863104
PARAM_VALUE 6 _expiry 4588697473168920576
CAPPED_DATA 1 server_key->expiry 1
CAPPED_DATA 4 ticket_len 1
DATA_SOURCE 0 conn $0
DATA_SOURCE 1 server_key r rxrpc_look_up_server_security
DATA_SOURCE 2 skb $1
DATA_SOURCE 3 ticket $2 [m]
USER_DATA 4 ticket_len 4-1024[c]
UNITS 4 ticket_len unit_byte
LOCK2 &pool->lock