Defined in 2 files as a function:
- arch/sparc/kernel/ldc.c, line 2009 (as a function)
- drivers/net/wireguard/cookie.c, line 91 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/net/wireguard/cookie.c wg_cookie_message_create() -> make_cookie()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | skb | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->data | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | checker | 4096-ptr_max |
| BUF_SIZE | 0 | cookie | 16 |
| BUF_SIZE | 1 | skb | 1-s32max |
| BUF_SIZE | 1 | skb | 1-s32max |
| DATA_SOURCE | 1 | skb | $1 |
| DATA_SOURCE | 2 | checker | $3 |
| NOCHECK_CALL |
drivers/net/wireguard/cookie.c wg_cookie_validate_packet() -> make_cookie()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | skb | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->data | 4096-ptr_max |
| PARAM_VALUE | 1 | skb->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | skb->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | skb->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 2 | checker | 4096-ptr_max |
| BUF_SIZE | 0 | cookie | 16 |
| BUF_SIZE | 1 | skb | 1-s32max |
| BUF_SIZE | 1 | skb | 1-s32max |
| DATA_SOURCE | 1 | skb | $1 |
| DATA_SOURCE | 2 | checker | $0 |
| NOCHECK_CALL |