Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/crypto/chacha20poly1305.c chacha20poly1305_decrypt() -> __chacha20poly1305_decrypt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 0,16,4096-ptr_max |
| PARAM_VALUE | 5 | chacha_state | 4348867854286954496 |
| BUF_SIZE | 0 | dst | (-1),12,32,1505-1048592 |
| BUF_SIZE | 0 | dst | (-1),12,32,1505-1048592 |
| BUF_SIZE | 1 | src | (-1),16,28,48,1505-1048592 |
| BUF_SIZE | 1 | src | (-1),16,28,48,1505-1048592 |
| BUF_SIZE | 3 | ad | (-1),32 |
| BUF_SIZE | 3 | ad | (-1),32 |
| CAPPED_DATA | 0 | dst | 1 |
| DATA_SOURCE | 0 | dst | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 2 | src_len | $2 |
| DATA_SOURCE | 3 | ad | $3 |
| DATA_SOURCE | 4 | ad_len | $4 |
| USER_DATA | 1 | *src | 0-255 |
| USER_PTR | 1 | src | |
| HALF_LOCKED2 | &key->sem | ||
| HALF_LOCKED2 | &wg->static_identity.lock |
lib/crypto/chacha20poly1305.c xchacha20poly1305_decrypt() -> __chacha20poly1305_decrypt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dst | 16,4096-ptr_max |
| PARAM_VALUE | 5 | chacha_state | 5205286785874903040 |
| BUF_SIZE | 0 | dst | 16,4096 |
| BUF_SIZE | 0 | dst | 16,4096 |
| BUF_SIZE | 1 | src | (-1),32 |
| BUF_SIZE | 1 | src | (-1),32 |
| BUF_SIZE | 3 | ad | (-1),16 |
| BUF_SIZE | 3 | ad | (-1),16 |
| CAPPED_DATA | 0 | dst | 1 |
| DATA_SOURCE | 0 | dst | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 2 | src_len | $2 |
| DATA_SOURCE | 3 | ad | $3 |
| DATA_SOURCE | 4 | ad_len | $4 |
| USER_DATA | 1 | *src | 0-255 |
| UNITS | 2 | src_len | unit_byte |
| USER_PTR | 1 | src | |
| HALF_LOCKED2 | &peer->latest_cookie.lock |