Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 2 files as a macro:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

crypto/gcm.c gcm_hash() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 24875330321899520
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 len 16
BUF_SIZE 1 data 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ctx->partial 0-15[c]
NO_OVERFLOW_SIMPLE 0 ctx->partial
UNITS 2 len unit_byte

crypto/gcm.c ghash_update_sg_and_pad() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 24875330321899520
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 len 0-4096
CAPPED_DATA 2 len 1
DATA_SOURCE 0 ctx $0
DATA_SOURCE 2 len r scatterwalk_next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ctx->partial 0-15[c]
USER_DATA 2 len 1-4095[c]

crypto/gcm.c ghash_update_sg_and_pad() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 24875330321899520
PARAM_VALUE 0 *ctx->acc.bytes 0-255
PARAM_VALUE 1 data 4411225547564191744
PARAM_VALUE 2 len 1-15
BUF_SIZE 1 data 16
DATA_SOURCE 0 ctx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ctx->partial 0-15[c]
USER_DATA 2 len 1-15[c]

lib/crypto/aes.c aes_gcm_auth_update() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 2 len 1-u64max
BUF_SIZE 1 data (-1),16
BUF_SIZE 1 data (-1),16
DATA_SOURCE 1 data $1
DATA_SOURCE 2 len $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 len unit_byte

lib/crypto/aes.c aes_gcm_crypt_update() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 2 len 1-15
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 1 data $1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/aes.c aes_gcm_crypt_update() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 2 len 1-15
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 1 data $2
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/aes.c aes_gcm_crypt_update() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 2 len 0,16-u64max
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 1 data $1 [m]
BIT_INFO 2 len 0x0,0xfffffffffffffff0
BIT_INFO 2 len 0x0,0xfffffffffffffff0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/aes.c aes_gcm_crypt_update() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 2 len 0,16-u64max
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 1 data $2 [m]
BIT_INFO 2 len 0x0,0xfffffffffffffff0
BIT_INFO 2 len 0x0,0xfffffffffffffff0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/aes.c aes_gcm_crypt_update() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 2 len 1-u64max
DATA_SOURCE 1 data $1 [m]
DATA_SOURCE 2 len $3 [m]
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/aes.c aes_gcm_crypt_update() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 2 len 1-u64max
DATA_SOURCE 1 data $2 [m]
DATA_SOURCE 2 len $3 [m]
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/aes.c aes_gcm_decrypt_final() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 len 16
BUF_SIZE 1 data 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/aes.c aes_gcm_encrypt_final() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 len 16
BUF_SIZE 1 data 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/aes.c ghash_pad() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 1 data 6217543250782269440
PARAM_VALUE 2 len 0-15
BUF_SIZE 1 data 16
DATA_SOURCE 0 ctx $0
NOCHECK_CALL

lib/crypto/tests/ghash_kunit.c ghash() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3180150278094512128
PARAM_VALUE 2 len 0-16384
BUF_SIZE 1 data (-1),1024,4096,16384
BUF_SIZE 1 data (-1),1024,4096,16384
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 1 data $1
DATA_SOURCE 2 len $2
FUZZY_MAX 2 len 4096
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 len

lib/crypto/tests/ghash_kunit.c hash_irq_test2_func() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 2 len 0-u16max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/tests/ghash_kunit.c test_ghash_allones_key_and_message() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1555881609615425536
PARAM_VALUE 1 data 6333408112581660672
PARAM_VALUE 2 len 16
BUF_SIZE 1 data 16
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial
UNITS 2 len unit_byte

lib/crypto/tests/ghash_kunit.c test_hash_all_lens_up_to_4096() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 549471355719241728
PARAM_VALUE 1 data 4012699353370419200
PARAM_VALUE 2 len 16
BUF_SIZE 1 data 16
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/tests/ghash_kunit.c test_hash_buffer_overruns() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6735344899772624896
PARAM_VALUE 2 len 0-16352
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 2 len r rand_length
NOCHECK_CALL

lib/crypto/tests/ghash_kunit.c test_hash_buffer_overruns() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6735344899772624896
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 len 0-16352
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 1 data r alloc_guarded_buf
DATA_SOURCE 2 len r rand_length
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/tests/ghash_kunit.c test_hash_buffer_overruns() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 len 0-16352
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 1 data r alloc_guarded_buf
DATA_SOURCE 2 len r rand_length
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial
UNITS 0 ctx unit_byte

lib/crypto/tests/ghash_kunit.c test_hash_ctx_zeroization() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 8624895357602566144
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 len 128
BUF_SIZE 1 data 128
BUF_SIZE 1 data 128
DATA_SOURCE 1 data r alloc_buf
NOCHECK_CALL

lib/crypto/tests/ghash_kunit.c test_hash_incremental_updates() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 2554853108086665216
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 len 0-16384
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 2 len r rand_length
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/tests/ghash_kunit.c test_hash_incremental_updates() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 2554853108086665216
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 len 0-16384,18446744073709535232-u64max
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/tests/ghash_kunit.c test_hash_overlaps() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7898846946629984256
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 len 0-16368
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 2 len r rand_length
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial

lib/crypto/tests/ghash_kunit.c test_hash_overlaps() -> ghash_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7898846946629984256
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 len 0-16368
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 2 len r rand_length
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->partial