Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

crypto/chacha20poly1305.c poly_hash() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 1944976909919846400
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 nbytes 0-4096
CAPPED_DATA 2 nbytes 1
DATA_SOURCE 2 nbytes r scatterwalk_next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/chacha20poly1305.c poly_hash() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 1944976909919846400
PARAM_VALUE 1 src 18379471554275704832,18446612682070032384
PARAM_VALUE 2 nbytes 0-15
DATA_SOURCE 1 src r lowmem_page_address
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/chacha20poly1305.c poly_hash() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 1944976909919846400
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 nbytes 0-4096
CAPPED_DATA 2 nbytes 1
DATA_SOURCE 2 nbytes r scatterwalk_next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/chacha20poly1305.c poly_hash() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 1944976909919846400
PARAM_VALUE 1 src 18379471554275704832,18446612682070032384
PARAM_VALUE 2 nbytes 0-15
DATA_SOURCE 1 src r lowmem_page_address
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/chacha20poly1305.c poly_hash() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 1944976909919846400
PARAM_VALUE 2 nbytes 16
BUF_SIZE 1 src 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 nbytes unit_byte

lib/crypto/tests/poly1305_kunit.c hash_irq_test2_func() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 2 nbytes 0-u16max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/tests/poly1305_kunit.c poly1305() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 6991357538446630912
PARAM_VALUE 0 desc->buflen 0
PARAM_VALUE 2 nbytes 0-16384
BUF_SIZE 1 src (-1),48,4096,16384
BUF_SIZE 1 src (-1),48,4096,16384
CAPPED_DATA 2 nbytes 1
DATA_SOURCE 1 src $1
DATA_SOURCE 2 nbytes $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 nbytes
UNITS 2 nbytes unit_byte

lib/crypto/tests/poly1305_kunit.c test_hash_all_lens_up_to_4096() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 1905259417227137024
PARAM_VALUE 1 src 2446747865547370496
PARAM_VALUE 2 nbytes 16
BUF_SIZE 1 src 16
NOCHECK_CALL

lib/crypto/tests/poly1305_kunit.c test_hash_buffer_overruns() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 6628566283618488320
PARAM_VALUE 0 desc->buflen 0
PARAM_VALUE 2 nbytes 0-16056
CAPPED_DATA 2 nbytes 1
DATA_SOURCE 2 nbytes r rand_length
NOCHECK_CALL

lib/crypto/tests/poly1305_kunit.c test_hash_buffer_overruns() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 6628566283618488320
PARAM_VALUE 0 desc->buflen 0
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 nbytes 0-16056
CAPPED_DATA 2 nbytes 1
DATA_SOURCE 1 src r alloc_guarded_buf
DATA_SOURCE 2 nbytes r rand_length
NOCHECK_CALL

lib/crypto/tests/poly1305_kunit.c test_hash_buffer_overruns() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 4096-ptr_max
PARAM_VALUE 0 desc->buflen 0
PARAM_VALUE 0 *desc->buf 0-255
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 nbytes 0-16056
CAPPED_DATA 2 nbytes 1
DATA_SOURCE 1 src r alloc_guarded_buf
DATA_SOURCE 2 nbytes r rand_length
NOCHECK_CALL
UNITS 0 desc unit_byte

lib/crypto/tests/poly1305_kunit.c test_hash_ctx_zeroization() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 6504734758102560768
PARAM_VALUE 0 desc->buflen 0
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 nbytes 128
BUF_SIZE 1 src 128
BUF_SIZE 1 src 128
DATA_SOURCE 1 src r alloc_buf
NOCHECK_CALL

lib/crypto/tests/poly1305_kunit.c test_hash_incremental_updates() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 6150226828534595584
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 nbytes 0-16384
CAPPED_DATA 2 nbytes 1
DATA_SOURCE 2 nbytes r rand_length
NOCHECK_CALL

lib/crypto/tests/poly1305_kunit.c test_hash_incremental_updates() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 6150226828534595584
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 nbytes 0-16384,4294950912-u32max
NOCHECK_CALL

lib/crypto/tests/poly1305_kunit.c test_hash_overlaps() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 8036780819743277056
PARAM_VALUE 0 desc->buflen 0
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 nbytes 0-16368
CAPPED_DATA 2 nbytes 1
DATA_SOURCE 2 nbytes r rand_length
NOCHECK_CALL

lib/crypto/tests/poly1305_kunit.c test_hash_overlaps() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 8036780819743277056
PARAM_VALUE 0 desc->buflen 0
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 nbytes 0-16368
CAPPED_DATA 2 nbytes 1
DATA_SOURCE 2 nbytes r rand_length
NOCHECK_CALL

lib/crypto/tests/poly1305_kunit.c test_poly1305_allones_keys_and_message() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 7881518172477194240
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 nbytes 0,16-4096
BUF_SIZE 1 src 4096
BUF_SIZE 1 src 4096
DATA_SOURCE 1 src r alloc_buf
NOCHECK_CALL

lib/crypto/tests/poly1305_kunit.c test_poly1305_allones_keys_and_message() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 3677018503138930688
PARAM_VALUE 1 src 1851586160202616832
PARAM_VALUE 2 nbytes 16
BUF_SIZE 1 src 16
NOCHECK_CALL

lib/crypto/chacha20poly1305.c __chacha20poly1305_decrypt() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 7343719039511175168
PARAM_VALUE 0 desc->buflen 0
BUF_SIZE 1 src (-1),16,32
BUF_SIZE 1 src (-1),16,32
DATA_SOURCE 1 src $3
DATA_SOURCE 2 nbytes $4
NOCHECK_CALL

lib/crypto/chacha20poly1305.c __chacha20poly1305_decrypt() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 7343719039511175168
PARAM_VALUE 1 src 18379471554275704832,18446612682070032384
PARAM_VALUE 2 nbytes 1-16
DATA_SOURCE 1 src r lowmem_page_address
NOCHECK_CALL

lib/crypto/chacha20poly1305.c __chacha20poly1305_decrypt() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 7343719039511175168
BUF_SIZE 1 src (-1),16,28,32,48,1505-1048592
BUF_SIZE 1 src (-1),16,28,32,48,1505-1048592
DATA_SOURCE 1 src $1
NOCHECK_CALL
USER_DATA 1 *src 0-255
UNITS 2 nbytes unit_byte
USER_PTR 1 src

lib/crypto/chacha20poly1305.c __chacha20poly1305_decrypt() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 7343719039511175168
PARAM_VALUE 1 src 18379471554275704832,18446612682070032384
PARAM_VALUE 2 nbytes 1-16
DATA_SOURCE 1 src r lowmem_page_address
NOCHECK_CALL

lib/crypto/chacha20poly1305.c __chacha20poly1305_decrypt() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 7343719039511175168
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 nbytes 16
BUF_SIZE 1 src 16
NOCHECK_CALL
UNITS 2 nbytes unit_byte

lib/crypto/chacha20poly1305.c __chacha20poly1305_encrypt() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 5523922357922127872
PARAM_VALUE 0 desc->buflen 0
BUF_SIZE 1 src (-1),16,32
BUF_SIZE 1 src (-1),16,32
DATA_SOURCE 1 src $3
DATA_SOURCE 2 nbytes $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/chacha20poly1305.c __chacha20poly1305_encrypt() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 5523922357922127872
PARAM_VALUE 1 src 18379471554275704832,18446612682070032384
PARAM_VALUE 2 nbytes 1-16
DATA_SOURCE 1 src r lowmem_page_address
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/chacha20poly1305.c __chacha20poly1305_encrypt() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 5523922357922127872
BUF_SIZE 1 src (-1),16,28,32,48,4096
BUF_SIZE 1 src (-1),16,28,32,48,4096
DATA_SOURCE 1 src $0
DATA_SOURCE 2 nbytes $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *src 0-255
USER_DATA 2 nbytes 1489-1048575[c]
UNITS 2 nbytes unit_byte

lib/crypto/chacha20poly1305.c __chacha20poly1305_encrypt() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 5523922357922127872
PARAM_VALUE 1 src 18379471554275704832,18446612682070032384
PARAM_VALUE 2 nbytes 1-16
DATA_SOURCE 1 src r lowmem_page_address
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 nbytes 1-16[c]

lib/crypto/chacha20poly1305.c __chacha20poly1305_encrypt() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 5523922357922127872
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 nbytes 16
BUF_SIZE 1 src 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 nbytes unit_byte

lib/crypto/chacha20poly1305.c chacha20poly1305_crypt_sg_inplace() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 5395531258683158528
PARAM_VALUE 0 desc->buflen 0
DATA_SOURCE 1 src $2
DATA_SOURCE 2 nbytes $3
NOCHECK_CALL

lib/crypto/chacha20poly1305.c chacha20poly1305_crypt_sg_inplace() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 5395531258683158528
PARAM_VALUE 1 src 18379471554275704832,18446612682070032384
PARAM_VALUE 2 nbytes 1-16
DATA_SOURCE 1 src r lowmem_page_address
NOCHECK_CALL

lib/crypto/chacha20poly1305.c chacha20poly1305_crypt_sg_inplace() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 5395531258683158528
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 nbytes 0-s32max
CAPPED_DATA 2 nbytes 1
NOCHECK_CALL
UNITS 1 src unit_byte
UNITS 2 nbytes unit_byte

lib/crypto/chacha20poly1305.c chacha20poly1305_crypt_sg_inplace() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 5395531258683158528
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 nbytes 0-s32max
CAPPED_DATA 2 nbytes 1
NOCHECK_CALL
UNITS 1 src unit_byte
UNITS 2 nbytes unit_byte

lib/crypto/chacha20poly1305.c chacha20poly1305_crypt_sg_inplace() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 5395531258683158528
PARAM_VALUE 1 src 18379471554275704832,18446612682070032384
PARAM_VALUE 2 nbytes 1-16
DATA_SOURCE 1 src r lowmem_page_address
NOCHECK_CALL

lib/crypto/chacha20poly1305.c chacha20poly1305_crypt_sg_inplace() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 5395531258683158528
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 nbytes 16
BUF_SIZE 1 src 16
NOCHECK_CALL
UNITS 2 nbytes unit_byte

lib/crypto/tests/chacha20poly1305_kunit.c chacha20poly1305_encrypt_bignonce() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 1304571797412061184
PARAM_VALUE 0 desc->buflen 0
DATA_SOURCE 1 src $3
DATA_SOURCE 2 nbytes $4
NOCHECK_CALL

lib/crypto/tests/chacha20poly1305_kunit.c chacha20poly1305_encrypt_bignonce() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 1304571797412061184
PARAM_VALUE 1 src 18379471554275704832,18446612682070032384
PARAM_VALUE 2 nbytes 0-15
DATA_SOURCE 1 src r lowmem_page_address
NOCHECK_CALL

lib/crypto/tests/chacha20poly1305_kunit.c chacha20poly1305_encrypt_bignonce() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 1304571797412061184
PARAM_VALUE 1 src 16,4096-ptr_max
BUF_SIZE 1 src 4096
BUF_SIZE 1 src 4096
DATA_SOURCE 1 src $0
DATA_SOURCE 2 nbytes $2
MEM_ZERO 1 src
NOCHECK_CALL

lib/crypto/tests/chacha20poly1305_kunit.c chacha20poly1305_encrypt_bignonce() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 1304571797412061184
PARAM_VALUE 1 src 18379471554275704832,18446612682070032384
PARAM_VALUE 2 nbytes 0-15
DATA_SOURCE 1 src r lowmem_page_address
NOCHECK_CALL

lib/crypto/tests/chacha20poly1305_kunit.c chacha20poly1305_encrypt_bignonce() -> poly1305_update()

Type Parameter Key Value
PARAM_VALUE 0 desc 1304571797412061184
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 nbytes 16
BUF_SIZE 1 src 16
NOCHECK_CALL
UNITS 2 nbytes unit_byte