Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
ctx |
4096-ptr_max |
| PARAM_VALUE |
0 |
ctx->ghash->acc.bytes |
0-255 |
| PARAM_VALUE |
1 |
data_len |
0-1024 |
| PARAM_VALUE |
2 |
ad_len |
0-512 |
| PARAM_VALUE |
3 |
nonce |
16,4096-ptr_max |
| PARAM_VALUE |
4 |
nonce_len |
12 |
| PARAM_VALUE |
5 |
key |
16,4096-ptr_max |
| PARAM_VALUE |
5 |
key->aes.k->rndkeys |
0-255 |
| PARAM_VALUE |
5 |
key->aes.len |
16,24,32 |
| PARAM_VALUE |
5 |
key->aes.nrounds |
10,12,14 |
| PARAM_VALUE |
5 |
key->authtag_len |
4,8,12-16 |
| BUF_SIZE |
0 |
ctx |
104 |
| CAPPED_DATA |
1 |
data_len |
1 |
| CAPPED_DATA |
1 |
data_len |
1 |
| CAPPED_DATA |
2 |
ad_len |
1 |
| CAPPED_DATA |
2 |
ad_len |
1 |
| DATA_SOURCE |
0 |
ctx |
$1 |
| DATA_SOURCE |
1 |
data_len |
$4 |
| DATA_SOURCE |
2 |
ad_len |
$7 |
| DATA_SOURCE |
3 |
nonce |
$8 |
| DATA_SOURCE |
4 |
nonce_len |
$9 |
| DATA_SOURCE |
5 |
key |
$10 |
| NO_OVERFLOW_SIMPLE |
4 |
nonce_len |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
ctx |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
data_len |
0-1024 |
| PARAM_VALUE |
2 |
ad_len |
0-512 |
| PARAM_VALUE |
3 |
nonce |
16,4096-ptr_max |
| PARAM_VALUE |
4 |
nonce_len |
12 |
| PARAM_VALUE |
5 |
key |
16,4096-ptr_max |
| PARAM_VALUE |
5 |
key->aes.k->rndkeys |
0-255 |
| PARAM_VALUE |
5 |
key->aes.len |
16,24,32 |
| PARAM_VALUE |
5 |
key->aes.nrounds |
10,12,14 |
| PARAM_VALUE |
5 |
key->authtag_len |
4,8,12-16 |
| BUF_SIZE |
0 |
ctx |
104 |
| CAPPED_DATA |
1 |
data_len |
1 |
| CAPPED_DATA |
1 |
data_len |
1 |
| CAPPED_DATA |
2 |
ad_len |
1 |
| CAPPED_DATA |
2 |
ad_len |
1 |
| DATA_SOURCE |
0 |
ctx |
$1 |
| DATA_SOURCE |
1 |
data_len |
$4 |
| DATA_SOURCE |
2 |
ad_len |
$7 |
| DATA_SOURCE |
3 |
nonce |
$8 |
| DATA_SOURCE |
4 |
nonce_len |
$9 |
| DATA_SOURCE |
5 |
key |
$10 |
| NO_OVERFLOW_SIMPLE |
4 |
nonce_len |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
ctx |
4096-ptr_max |
| PARAM_VALUE |
0 |
ctx->ad_len |
0 |
| PARAM_VALUE |
0 |
ctx->data_len |
0 |
| PARAM_VALUE |
0 |
ctx->key |
0 |
| PARAM_VALUE |
1 |
data_len |
64 |
| PARAM_VALUE |
2 |
ad_len |
16 |
| PARAM_VALUE |
3 |
nonce |
1-u64max |
| PARAM_VALUE |
4 |
nonce_len |
0-11,13,24,u32max,u64max |
| PARAM_VALUE |
5 |
key |
4096-ptr_max |
| PARAM_VALUE |
5 |
key->aes.len |
32 |
| PARAM_VALUE |
5 |
key->aes.nrounds |
10,12,14 |
| PARAM_VALUE |
5 |
key->authtag_len |
16 |
| DATA_SOURCE |
4 |
nonce_len |
$2 |
| MEM_ZERO |
0 |
ctx |
|
| UNITS |
1 |
data_len |
unit_byte |
| UNITS |
2 |
ad_len |
unit_byte |