Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

net/ipv4/tcp_ipv4.c tcp_v4_md5_hash_hdr() -> md5_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4906997201542852608
BUF_SIZE 1 out (-1),36
BUF_SIZE 1 out (-1),36
DATA_SOURCE 1 out $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read

net/ipv4/tcp_ipv4.c tcp_v4_md5_hash_skb() -> md5_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3474640839818424320
PARAM_VALUE 1 out 0,4097-18446744073709547521
BUF_SIZE 1 out (-1),16
BUF_SIZE 1 out (-1),16
DATA_SOURCE 1 out $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read

crypto/md5.c crypto_md5_final() -> md5_final()

Type Parameter Key Value
BUF_SIZE 1 out (-1)-s32max
BUF_SIZE 1 out (-1)-s32max
DATA_SOURCE 1 out $1
NOSPEC 1 *out
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *out 0-255
USER_PTR 1 out

lib/crypto/tests/md5_kunit.c hash_irq_test2_func() -> md5_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
BUF_SIZE 1 out 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/tests/md5_kunit.c test_hash_all_lens_up_to_4096() -> md5_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3942733874491080704
PARAM_VALUE 1 out 3298404287272988672
BUF_SIZE 1 out 16
NOCHECK_CALL

lib/crypto/tests/md5_kunit.c test_hash_buffer_overruns() -> md5_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6815178055008624640
BUF_SIZE 1 out 16
NOCHECK_CALL

lib/crypto/tests/md5_kunit.c test_hash_buffer_overruns() -> md5_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6815178055008624640
NOCHECK_CALL

lib/crypto/tests/md5_kunit.c test_hash_buffer_overruns() -> md5_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
BUF_SIZE 1 out 16
NOCHECK_CALL
UNITS 0 ctx unit_byte

lib/crypto/tests/md5_kunit.c test_hash_ctx_zeroization() -> md5_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3573372575363719168
BUF_SIZE 1 out 16
NOCHECK_CALL

lib/crypto/tests/md5_kunit.c test_hash_incremental_updates() -> md5_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3905928668644339712
BUF_SIZE 1 out 16
NOCHECK_CALL

lib/crypto/tests/md5_kunit.c test_hash_overlaps() -> md5_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 2882792302681198592
PARAM_VALUE 1 out 1-u64max
NOCHECK_CALL

lib/crypto/tests/md5_kunit.c test_hash_overlaps() -> md5_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 2882792302681198592
PARAM_VALUE 1 out 1-u64max
NOCHECK_CALL

fs/smb/client/cifsencrypt.c cifs_sig_final() -> md5_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1-u64max
PARAM_VALUE 1 out 1417379840121122816,4536846340162285568,7184989136887963648,7845922981053005824
BUF_SIZE 1 out 16,20,32
BUF_SIZE 1 out 16,20,32
DATA_SOURCE 1 out $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &server->_srv_mutex

net/ipv6/tcp_ipv6.c tcp_v6_md5_hash_hdr() -> md5_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 512677278635724800
PARAM_VALUE 1 out 4097-18446744073709547521
DATA_SOURCE 1 out $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 rcu_read
HALF_LOCKED2 sk

net/ipv6/tcp_ipv6.c tcp_v6_md5_hash_skb() -> md5_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6762149085688967168
PARAM_VALUE 1 out 0,4097-18446744073709547521
BUF_SIZE 1 out (-1),16
BUF_SIZE 1 out (-1),16
DATA_SOURCE 1 out $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read

lib/crypto/md5.c md5() -> md5_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 2189669213155749888
BUF_SIZE 1 out (-1)-s32max
BUF_SIZE 1 out (-1)-s32max
DATA_SOURCE 1 out $2
NOSPEC 1 *out
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *out 0-255
UNITS 1 out unit_byte
USER_PTR 1 out
HALF_LOCKED2 s->tfm_mutex