Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
areq |
4096-ptr_max |
| PARAM_VALUE |
1 |
flow_mode |
3,10 |
| PARAM_VALUE |
2 |
desc |
4096-ptr_max |
| PARAM_VALUE |
3 |
seq_size |
5449405334320095232 |
| BUF_SIZE |
0 |
areq |
(-1)-s32max |
| BUF_SIZE |
0 |
areq |
(-1)-s32max |
| BUF_SIZE |
0 |
areq->iv |
(-1),16 |
| BUF_SIZE |
2 |
desc |
552 |
| BUF_SIZE |
2 |
desc |
552 |
| CAPPED_DATA |
0 |
areq->src |
1 |
| DATA_SOURCE |
0 |
areq |
$0 |
| DATA_SOURCE |
2 |
desc |
$1 |
| FUZZY_MAX |
1 |
flow_mode |
10 |
| BIT_INFO |
1 |
flow_mode |
0x2,0xb |
| NOSPEC |
0 |
areq->cryptlen |
|
| HARD_MAX |
1 |
flow_mode |
10 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
areq->dst->length |
1-2147483646[c] |
| USER_DATA |
0 |
areq->cryptlen |
0-u32max |
| USER_DATA |
0 |
*areq->iv |
0-255 |
| NO_OVERFLOW_SIMPLE |
0 |
areq->dst->length |
|
| NO_OVERFLOW_SIMPLE |
0 |
areq->src->length |
|
| USER_PTR |
0 |
areq->iv |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
areq |
4096-ptr_max |
| PARAM_VALUE |
1 |
flow_mode |
0 |
| PARAM_VALUE |
3 |
seq_size |
7953156299444965376 |
| PARAM_VALUE |
3 |
*seq_size |
0-1 |
| BUF_SIZE |
0 |
areq |
(-1)-s32max |
| BUF_SIZE |
0 |
areq |
(-1)-s32max |
| BUF_SIZE |
0 |
areq->iv |
(-1),16 |
| BUF_SIZE |
2 |
desc |
552 |
| BUF_SIZE |
2 |
desc |
552 |
| CAPPED_DATA |
0 |
areq->src |
1 |
| DATA_SOURCE |
0 |
areq |
$0 |
| DATA_SOURCE |
2 |
desc |
$1 |
| DATA_SOURCE |
3 |
seq_size |
$2 |
| NOSPEC |
0 |
areq->cryptlen |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
areq->dst->length |
1-2147483646[c] |
| USER_DATA |
0 |
areq->cryptlen |
0-u32max |
| USER_DATA |
0 |
*areq->iv |
0-255 |
| NO_OVERFLOW_SIMPLE |
0 |
areq->dst->length |
|
| NO_OVERFLOW_SIMPLE |
0 |
areq->src->length |
|
| USER_PTR |
0 |
areq->iv |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
areq |
4096-ptr_max |
| PARAM_VALUE |
1 |
flow_mode |
3,10 |
| PARAM_VALUE |
3 |
seq_size |
7953156299444965376 |
| BUF_SIZE |
0 |
areq |
(-1)-s32max |
| BUF_SIZE |
0 |
areq |
(-1)-s32max |
| BUF_SIZE |
0 |
areq->iv |
(-1),16 |
| BUF_SIZE |
2 |
desc |
552 |
| BUF_SIZE |
2 |
desc |
552 |
| CAPPED_DATA |
0 |
areq->src |
1 |
| DATA_SOURCE |
0 |
areq |
$0 |
| DATA_SOURCE |
2 |
desc |
$1 |
| DATA_SOURCE |
3 |
seq_size |
$2 |
| FUZZY_MAX |
1 |
flow_mode |
10 |
| BIT_INFO |
1 |
flow_mode |
0x2,0xb |
| NOSPEC |
0 |
areq->cryptlen |
|
| HARD_MAX |
1 |
flow_mode |
10 |
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
areq->dst->length |
1-2147483646[c] |
| USER_DATA |
0 |
areq->cryptlen |
0-u32max |
| USER_DATA |
0 |
*areq->iv |
0-255 |
| NO_OVERFLOW_SIMPLE |
0 |
areq->dst->length |
|
| NO_OVERFLOW_SIMPLE |
0 |
areq->src->length |
|
| USER_PTR |
0 |
areq->iv |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
areq |
4096-ptr_max |
| PARAM_VALUE |
1 |
flow_mode |
3,6,10,12 |
| PARAM_VALUE |
3 |
seq_size |
7953156299444965376 |
| BUF_SIZE |
0 |
areq |
(-1)-s32max |
| BUF_SIZE |
0 |
areq |
(-1)-s32max |
| BUF_SIZE |
0 |
areq->iv |
(-1),16 |
| BUF_SIZE |
2 |
desc |
552 |
| BUF_SIZE |
2 |
desc |
552 |
| CAPPED_DATA |
0 |
areq->src |
1 |
| DATA_SOURCE |
0 |
areq |
$0 |
| DATA_SOURCE |
1 |
flow_mode |
r cc_get_data_flow |
| DATA_SOURCE |
2 |
desc |
$1 |
| DATA_SOURCE |
3 |
seq_size |
$2 |
| NOSPEC |
0 |
areq->cryptlen |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
areq->dst->length |
1-2147483646[c] |
| USER_DATA |
0 |
areq->cryptlen |
0-u32max |
| USER_DATA |
0 |
*areq->iv |
0-255 |
| NO_OVERFLOW_SIMPLE |
0 |
areq->dst->length |
|
| NO_OVERFLOW_SIMPLE |
0 |
areq->src->length |
|
| USER_PTR |
0 |
areq->iv |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
areq |
4096-ptr_max |
| PARAM_VALUE |
1 |
flow_mode |
1,4 |
| PARAM_VALUE |
3 |
seq_size |
1136430824993267712 |
| BUF_SIZE |
0 |
areq |
(-1)-s32max |
| BUF_SIZE |
0 |
areq |
(-1)-s32max |
| BUF_SIZE |
0 |
areq->iv |
(-1),16 |
| BUF_SIZE |
2 |
desc |
552 |
| BUF_SIZE |
2 |
desc |
552 |
| CAPPED_DATA |
0 |
areq->src |
1 |
| DATA_SOURCE |
0 |
areq |
$0 |
| DATA_SOURCE |
1 |
flow_mode |
$3 |
| DATA_SOURCE |
2 |
desc |
$1 |
| NOSPEC |
0 |
areq->cryptlen |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| USER_DATA |
0 |
areq->cryptlen |
0-u32max |
| USER_DATA |
0 |
*areq->iv |
0-255 |
| NO_OVERFLOW_SIMPLE |
0 |
areq->dst->length |
|
| NO_OVERFLOW_SIMPLE |
0 |
areq->src->length |
|
| USER_PTR |
0 |
areq->iv |
|
| Type |
Parameter |
Key |
Value |
| PARAM_VALUE |
0 |
areq |
4096-ptr_max |
| PARAM_VALUE |
1 |
flow_mode |
3,6,10,12 |
| PARAM_VALUE |
3 |
seq_size |
7953156299444965376 |
| BUF_SIZE |
0 |
areq |
(-1)-s32max |
| BUF_SIZE |
0 |
areq |
(-1)-s32max |
| BUF_SIZE |
0 |
areq->iv |
(-1),16 |
| BUF_SIZE |
2 |
desc |
552 |
| BUF_SIZE |
2 |
desc |
552 |
| CAPPED_DATA |
0 |
areq->src |
1 |
| DATA_SOURCE |
0 |
areq |
$0 |
| DATA_SOURCE |
1 |
flow_mode |
r cc_get_data_flow |
| DATA_SOURCE |
2 |
desc |
$1 |
| DATA_SOURCE |
3 |
seq_size |
$2 |
| NOSPEC |
0 |
areq->cryptlen |
|
| RX_PATH |
|
|
|
| TASK_NOT_RUNNING |
|
|
|
| NOCHECK_CALL |
|
|
|
| HOST_DATA |
0 |
areq->dst->length |
1-2147483646[c] |
| USER_DATA |
0 |
areq->cryptlen |
0-u32max |
| USER_DATA |
0 |
*areq->iv |
0-255 |
| NO_OVERFLOW_SIMPLE |
0 |
areq->dst->length |
|
| NO_OVERFLOW_SIMPLE |
0 |
areq->src->length |
|
| USER_PTR |
0 |
areq->iv |
|