Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
2 |
data_len |
64 |
| PARAM_VALUE |
3 |
authtag |
4080-ptr_max |
| PARAM_VALUE |
5 |
ad_len |
16 |
| PARAM_VALUE |
6 |
nonce |
4096-ptr_max |
| PARAM_VALUE |
7 |
nonce_len |
12 |
| PARAM_VALUE |
8 |
key |
4096-ptr_max |
| PARAM_VALUE |
8 |
key->aes.len |
16,24,32 |
| PARAM_VALUE |
8 |
key->aes.nrounds |
10,12,14 |
| PARAM_VALUE |
8 |
key->authtag_len |
4,8,12-16 |
| BUF_SIZE |
0 |
dst |
64 |
| BUF_SIZE |
1 |
src |
64 |
| BUF_SIZE |
4 |
ad |
16 |
| DATA_SOURCE |
7 |
nonce_len |
$3 |
| UNITS |
2 |
data_len |
unit_byte |
| UNITS |
5 |
ad_len |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dst |
1-u64max |
| PARAM_VALUE |
2 |
data_len |
64 |
| PARAM_VALUE |
3 |
authtag |
4096-ptr_max |
| PARAM_VALUE |
5 |
ad_len |
16 |
| PARAM_VALUE |
6 |
nonce |
4096-ptr_max |
| PARAM_VALUE |
7 |
nonce_len |
12 |
| PARAM_VALUE |
8 |
key |
4096-ptr_max |
| PARAM_VALUE |
8 |
key->aes.len |
16,24,32 |
| PARAM_VALUE |
8 |
key->aes.nrounds |
10,12,14 |
| PARAM_VALUE |
8 |
key->authtag_len |
4,8,12-16 |
| BUF_SIZE |
0 |
dst |
64 |
| BUF_SIZE |
1 |
src |
64 |
| BUF_SIZE |
4 |
ad |
16 |
| DATA_SOURCE |
7 |
nonce_len |
$3 |
| UNITS |
2 |
data_len |
unit_byte |
| UNITS |
5 |
ad_len |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
1 |
src |
4096-ptr_max |
| PARAM_VALUE |
2 |
data_len |
256 |
| PARAM_VALUE |
3 |
authtag |
4096-ptr_max |
| PARAM_VALUE |
5 |
ad_len |
256 |
| PARAM_VALUE |
7 |
nonce_len |
12 |
| PARAM_VALUE |
8 |
key |
4096-ptr_max |
| BUF_SIZE |
0 |
dst |
272 |
| BUF_SIZE |
1 |
src |
272 |
| BUF_SIZE |
3 |
authtag |
16 |
| BUF_SIZE |
4 |
ad |
256 |
| BUF_SIZE |
6 |
nonce |
12 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| UNITS |
2 |
data_len |
unit_byte |
| UNITS |
5 |
ad_len |
unit_byte |
| UNITS |
7 |
nonce_len |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
2 |
data_len |
64 |
| PARAM_VALUE |
3 |
authtag |
1-u64max |
| PARAM_VALUE |
5 |
ad_len |
16 |
| PARAM_VALUE |
6 |
nonce |
1-u64max |
| PARAM_VALUE |
7 |
nonce_len |
0-11,13,24,u32max,u64max |
| PARAM_VALUE |
8 |
key |
4096-ptr_max |
| PARAM_VALUE |
8 |
key->aes.len |
32 |
| PARAM_VALUE |
8 |
key->aes.nrounds |
10,12,14 |
| PARAM_VALUE |
8 |
key->authtag_len |
16 |
| BUF_SIZE |
0 |
dst |
64 |
| BUF_SIZE |
1 |
src |
64 |
| BUF_SIZE |
4 |
ad |
16 |
| DATA_SOURCE |
7 |
nonce_len |
$2 |
| UNITS |
2 |
data_len |
unit_byte |
| UNITS |
5 |
ad_len |
unit_byte |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dst |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
src |
16,4096-ptr_max |
| PARAM_VALUE |
2 |
data_len |
16384 |
| PARAM_VALUE |
3 |
authtag |
16,4096-ptr_max |
| PARAM_VALUE |
4 |
ad |
16,4096-ptr_max |
| PARAM_VALUE |
5 |
ad_len |
16 |
| PARAM_VALUE |
6 |
nonce |
16,4096-ptr_max |
| PARAM_VALUE |
7 |
nonce_len |
12 |
| PARAM_VALUE |
8 |
key |
16,4096-ptr_max |
| PARAM_VALUE |
8 |
key->aes.k->rndkeys |
0-255 |
| PARAM_VALUE |
8 |
key->aes.len |
32 |
| PARAM_VALUE |
8 |
key->aes.nrounds |
10,12,14 |
| PARAM_VALUE |
8 |
key->authtag_len |
16 |
| BUF_SIZE |
0 |
dst |
s32min-s32max |
| BUF_SIZE |
1 |
src |
16384 |
| BUF_SIZE |
1 |
src |
16384 |
| BUF_SIZE |
3 |
authtag |
16 |
| BUF_SIZE |
3 |
authtag |
16 |
| BUF_SIZE |
4 |
ad |
s32min-s32max |
| BUF_SIZE |
6 |
nonce |
s32min-s32max |
| BUF_SIZE |
8 |
key |
280 |
| DATA_SOURCE |
0 |
dst |
r aead_alloc_random_data |
| DATA_SOURCE |
1 |
src |
r alloc_buf |
| DATA_SOURCE |
3 |
authtag |
r alloc_buf |
| DATA_SOURCE |
4 |
ad |
r aead_alloc_random_data |
| DATA_SOURCE |
6 |
nonce |
r aead_alloc_random_data |
| DATA_SOURCE |
8 |
key |
r alloc_buf |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dst |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
src |
16,4096-ptr_max |
| PARAM_VALUE |
2 |
data_len |
0-16384 |
| PARAM_VALUE |
3 |
authtag |
16,4096-ptr_max |
| PARAM_VALUE |
4 |
ad |
16,4096-ptr_max |
| PARAM_VALUE |
5 |
ad_len |
16 |
| PARAM_VALUE |
6 |
nonce |
16,4096-ptr_max |
| PARAM_VALUE |
7 |
nonce_len |
12 |
| PARAM_VALUE |
8 |
key |
16,4096-ptr_max |
| PARAM_VALUE |
8 |
key->aes.k->rndkeys |
0-255 |
| PARAM_VALUE |
8 |
key->aes.len |
32 |
| PARAM_VALUE |
8 |
key->aes.nrounds |
10,12,14 |
| PARAM_VALUE |
8 |
key->authtag_len |
16 |
| BUF_SIZE |
0 |
dst |
s32min-s32max |
| BUF_SIZE |
1 |
src |
16384 |
| BUF_SIZE |
1 |
src |
16384 |
| BUF_SIZE |
3 |
authtag |
16 |
| BUF_SIZE |
3 |
authtag |
16 |
| BUF_SIZE |
4 |
ad |
s32min-s32max |
| BUF_SIZE |
6 |
nonce |
s32min-s32max |
| BUF_SIZE |
8 |
key |
280 |
| DATA_SOURCE |
0 |
dst |
r aead_alloc_random_data |
| DATA_SOURCE |
1 |
src |
r alloc_buf |
| DATA_SOURCE |
3 |
authtag |
r alloc_buf |
| DATA_SOURCE |
4 |
ad |
r aead_alloc_random_data |
| DATA_SOURCE |
6 |
nonce |
r aead_alloc_random_data |
| DATA_SOURCE |
8 |
key |
r alloc_buf |
| PREEMPT_ADD |
|
|
<- disables preempt |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dst |
4096-ptr_max |
| PARAM_VALUE |
1 |
src |
4096-ptr_max |
| PARAM_VALUE |
2 |
data_len |
0-4096 |
| PARAM_VALUE |
3 |
authtag |
4096-ptr_max |
| PARAM_VALUE |
4 |
ad |
4096-ptr_max |
| PARAM_VALUE |
5 |
ad_len |
0-4096 |
| PARAM_VALUE |
6 |
nonce |
4096-ptr_max |
| PARAM_VALUE |
7 |
nonce_len |
12 |
| PARAM_VALUE |
8 |
key |
16,4096-ptr_max |
| PARAM_VALUE |
8 |
key->aes.k->rndkeys |
0-255 |
| PARAM_VALUE |
8 |
key->aes.len |
32 |
| PARAM_VALUE |
8 |
key->aes.nrounds |
10,12,14 |
| PARAM_VALUE |
8 |
key->authtag_len |
16 |
| BUF_SIZE |
8 |
key |
280 |
| CAPPED_DATA |
2 |
data_len |
1 |
| CAPPED_DATA |
2 |
data_len |
1 |
| CAPPED_DATA |
5 |
ad_len |
1 |
| CAPPED_DATA |
5 |
ad_len |
1 |
| DATA_SOURCE |
2 |
data_len |
r rand_length |
| DATA_SOURCE |
5 |
ad_len |
r rand_length |
| DATA_SOURCE |
8 |
key |
r alloc_buf |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dst |
4096-ptr_max |
| PARAM_VALUE |
1 |
src |
4096-ptr_max |
| PARAM_VALUE |
2 |
data_len |
0-4096 |
| PARAM_VALUE |
3 |
authtag |
4096-ptr_max |
| PARAM_VALUE |
4 |
ad |
4096-ptr_max |
| PARAM_VALUE |
5 |
ad_len |
0-4096 |
| PARAM_VALUE |
6 |
nonce |
4096-ptr_max |
| PARAM_VALUE |
7 |
nonce_len |
12 |
| PARAM_VALUE |
8 |
key |
16,4096-ptr_max |
| PARAM_VALUE |
8 |
key->aes.k->rndkeys |
0-255 |
| PARAM_VALUE |
8 |
key->aes.len |
32 |
| PARAM_VALUE |
8 |
key->aes.nrounds |
10,12,14 |
| PARAM_VALUE |
8 |
key->authtag_len |
16 |
| BUF_SIZE |
8 |
key |
280 |
| CAPPED_DATA |
2 |
data_len |
1 |
| CAPPED_DATA |
2 |
data_len |
1 |
| CAPPED_DATA |
5 |
ad_len |
1 |
| CAPPED_DATA |
5 |
ad_len |
1 |
| DATA_SOURCE |
2 |
data_len |
r rand_length |
| DATA_SOURCE |
5 |
ad_len |
r rand_length |
| DATA_SOURCE |
8 |
key |
r alloc_buf |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
2 |
data_len |
0-1024 |
| PARAM_VALUE |
3 |
authtag |
16,4096-ptr_max |
| PARAM_VALUE |
4 |
ad |
3584-ptr_max |
| PARAM_VALUE |
5 |
ad_len |
0-512 |
| PARAM_VALUE |
6 |
nonce |
16,4096-ptr_max |
| PARAM_VALUE |
7 |
nonce_len |
12 |
| PARAM_VALUE |
8 |
key |
16,4096-ptr_max |
| PARAM_VALUE |
8 |
key->aes.k->rndkeys |
0-255 |
| PARAM_VALUE |
8 |
key->aes.len |
16,24,32 |
| PARAM_VALUE |
8 |
key->aes.nrounds |
10,12,14 |
| PARAM_VALUE |
8 |
key->authtag_len |
4,8,12-16 |
| BUF_SIZE |
3 |
authtag |
4,8,12-16 |
| BUF_SIZE |
3 |
authtag |
4,8,12-16 |
| BUF_SIZE |
6 |
nonce |
s32min-s32max |
| BUF_SIZE |
8 |
key |
s32min-s32max |
| CAPPED_DATA |
2 |
data_len |
1 |
| CAPPED_DATA |
2 |
data_len |
1 |
| CAPPED_DATA |
5 |
ad_len |
1 |
| CAPPED_DATA |
5 |
ad_len |
1 |
| DATA_SOURCE |
2 |
data_len |
r rand_length |
| DATA_SOURCE |
3 |
authtag |
r alloc_buf |
| DATA_SOURCE |
5 |
ad_len |
r rand_length |
| DATA_SOURCE |
6 |
nonce |
r aead_alloc_random_data |
| DATA_SOURCE |
8 |
key |
r aead_alloc_random_key |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dst |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
src |
16,4096-ptr_max |
| PARAM_VALUE |
2 |
data_len |
0-1024 |
| PARAM_VALUE |
3 |
authtag |
16,4096-ptr_max |
| PARAM_VALUE |
4 |
ad |
16,4096-ptr_max |
| PARAM_VALUE |
5 |
ad_len |
0-512 |
| PARAM_VALUE |
6 |
nonce |
16,4096-ptr_max |
| PARAM_VALUE |
7 |
nonce_len |
12 |
| PARAM_VALUE |
8 |
key |
16,4096-ptr_max |
| PARAM_VALUE |
8 |
key->aes.k->rndkeys |
0-255 |
| PARAM_VALUE |
8 |
key->aes.len |
16,24,32 |
| PARAM_VALUE |
8 |
key->aes.nrounds |
10,12,14 |
| PARAM_VALUE |
8 |
key->authtag_len |
4,8,12-16 |
| BUF_SIZE |
0 |
dst |
1024 |
| BUF_SIZE |
0 |
dst |
1024 |
| BUF_SIZE |
1 |
src |
1024 |
| BUF_SIZE |
1 |
src |
1024 |
| BUF_SIZE |
3 |
authtag |
4,8,12-16 |
| BUF_SIZE |
3 |
authtag |
4,8,12-16 |
| BUF_SIZE |
4 |
ad |
s32min-s32max |
| BUF_SIZE |
6 |
nonce |
s32min-s32max |
| BUF_SIZE |
8 |
key |
s32min-s32max |
| CAPPED_DATA |
2 |
data_len |
1 |
| CAPPED_DATA |
2 |
data_len |
1 |
| CAPPED_DATA |
5 |
ad_len |
1 |
| CAPPED_DATA |
5 |
ad_len |
1 |
| DATA_SOURCE |
0 |
dst |
r alloc_buf |
| DATA_SOURCE |
1 |
src |
r alloc_buf |
| DATA_SOURCE |
2 |
data_len |
r rand_length |
| DATA_SOURCE |
3 |
authtag |
r alloc_buf |
| DATA_SOURCE |
4 |
ad |
r aead_alloc_random_data |
| DATA_SOURCE |
5 |
ad_len |
r rand_length |
| DATA_SOURCE |
6 |
nonce |
r aead_alloc_random_data |
| DATA_SOURCE |
8 |
key |
r aead_alloc_random_key |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dst |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
src |
16,4096-ptr_max |
| PARAM_VALUE |
2 |
data_len |
0-1024 |
| PARAM_VALUE |
3 |
authtag |
4096-ptr_max |
| PARAM_VALUE |
4 |
ad |
16,4096-ptr_max |
| PARAM_VALUE |
5 |
ad_len |
0-512 |
| PARAM_VALUE |
6 |
nonce |
16,4096-ptr_max |
| PARAM_VALUE |
7 |
nonce_len |
12 |
| PARAM_VALUE |
8 |
key |
16,4096-ptr_max |
| PARAM_VALUE |
8 |
key->aes.k->rndkeys |
0-255 |
| PARAM_VALUE |
8 |
key->aes.len |
16,24,32 |
| PARAM_VALUE |
8 |
key->aes.nrounds |
10,12,14 |
| PARAM_VALUE |
8 |
key->authtag_len |
4,8,12-16 |
| BUF_SIZE |
0 |
dst |
1028,1032,1036-1040 |
| BUF_SIZE |
0 |
dst |
1028,1032,1036-1040 |
| BUF_SIZE |
1 |
src |
s32min-s32max |
| BUF_SIZE |
4 |
ad |
s32min-s32max |
| BUF_SIZE |
6 |
nonce |
s32min-s32max |
| BUF_SIZE |
8 |
key |
s32min-s32max |
| CAPPED_DATA |
2 |
data_len |
1 |
| CAPPED_DATA |
2 |
data_len |
1 |
| CAPPED_DATA |
5 |
ad_len |
1 |
| CAPPED_DATA |
5 |
ad_len |
1 |
| DATA_SOURCE |
0 |
dst |
r alloc_buf |
| DATA_SOURCE |
1 |
src |
r aead_alloc_random_data |
| DATA_SOURCE |
2 |
data_len |
r rand_length |
| DATA_SOURCE |
4 |
ad |
r aead_alloc_random_data |
| DATA_SOURCE |
5 |
ad_len |
r rand_length |
| DATA_SOURCE |
6 |
nonce |
r aead_alloc_random_data |
| DATA_SOURCE |
8 |
key |
r aead_alloc_random_key |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dst |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
src |
16,4096-ptr_max |
| PARAM_VALUE |
2 |
data_len |
0-1024 |
| PARAM_VALUE |
3 |
authtag |
4096-ptr_max |
| PARAM_VALUE |
4 |
ad |
16,4096-ptr_max |
| PARAM_VALUE |
5 |
ad_len |
0-512 |
| PARAM_VALUE |
6 |
nonce |
16,4096-ptr_max |
| PARAM_VALUE |
7 |
nonce_len |
12 |
| PARAM_VALUE |
8 |
key |
16,4096-ptr_max |
| PARAM_VALUE |
8 |
key->aes.k->rndkeys |
0-255 |
| PARAM_VALUE |
8 |
key->aes.len |
16,24,32 |
| PARAM_VALUE |
8 |
key->aes.nrounds |
10,12,14 |
| PARAM_VALUE |
8 |
key->authtag_len |
4,8,12-16 |
| BUF_SIZE |
0 |
dst |
s32min-s32max |
| BUF_SIZE |
1 |
src |
s32min-s32max |
| BUF_SIZE |
4 |
ad |
s32min-s32max |
| BUF_SIZE |
6 |
nonce |
s32min-s32max |
| BUF_SIZE |
8 |
key |
s32min-s32max |
| CAPPED_DATA |
2 |
data_len |
1 |
| CAPPED_DATA |
2 |
data_len |
1 |
| CAPPED_DATA |
5 |
ad_len |
1 |
| CAPPED_DATA |
5 |
ad_len |
1 |
| DATA_SOURCE |
0 |
dst |
r aead_alloc_random_data |
| DATA_SOURCE |
1 |
src |
r aead_alloc_random_data |
| DATA_SOURCE |
2 |
data_len |
r rand_length |
| DATA_SOURCE |
4 |
ad |
r aead_alloc_random_data |
| DATA_SOURCE |
5 |
ad_len |
r rand_length |
| DATA_SOURCE |
6 |
nonce |
r aead_alloc_random_data |
| DATA_SOURCE |
8 |
key |
r aead_alloc_random_key |
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
dst |
16,4096-ptr_max |
| PARAM_VALUE |
1 |
src |
16,4096-ptr_max |
| PARAM_VALUE |
2 |
data_len |
0-1024 |
| PARAM_VALUE |
3 |
authtag |
8104783916068773888 |
| PARAM_VALUE |
4 |
ad |
16,4096-ptr_max |
| PARAM_VALUE |
5 |
ad_len |
0-292 |
| PARAM_VALUE |
6 |
nonce |
1009055984299397120 |
| PARAM_VALUE |
7 |
nonce_len |
12 |
| PARAM_VALUE |
8 |
key |
16,4096-ptr_max |
| PARAM_VALUE |
8 |
key->aes.k->rndkeys |
0-255 |
| PARAM_VALUE |
8 |
key->aes.len |
16,24,32 |
| PARAM_VALUE |
8 |
key->aes.nrounds |
10,12,14 |
| PARAM_VALUE |
8 |
key->authtag_len |
4,8,12-16 |
| BUF_SIZE |
0 |
dst |
1024 |
| BUF_SIZE |
0 |
dst |
1024 |
| BUF_SIZE |
1 |
src |
1024 |
| BUF_SIZE |
1 |
src |
1024 |
| BUF_SIZE |
3 |
authtag |
16 |
| BUF_SIZE |
4 |
ad |
293 |
| BUF_SIZE |
4 |
ad |
293 |
| BUF_SIZE |
6 |
nonce |
12 |
| BUF_SIZE |
8 |
key |
280 |
| CAPPED_DATA |
2 |
data_len |
1 |
| CAPPED_DATA |
2 |
data_len |
1 |
| CAPPED_DATA |
5 |
ad_len |
1 |
| CAPPED_DATA |
5 |
ad_len |
1 |
| DATA_SOURCE |
0 |
dst |
r alloc_buf |
| DATA_SOURCE |
1 |
src |
r alloc_buf |
| DATA_SOURCE |
4 |
ad |
r alloc_buf |
| DATA_SOURCE |
8 |
key |
r alloc_buf |
| FUZZY_MAX |
2 |
data_len |
1024 |
| FUZZY_MAX |
5 |
ad_len |
292 |
| HARD_MAX |
2 |
data_len |
1024 |
| HARD_MAX |
5 |
ad_len |
292 |