Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 10 files:
- crypto/md5.c, line 78
- drivers/md/dm-crypt.c
- fs/smb/client/cifsencrypt.c, line 36
- fs/smb/client/smb1encrypt.c, line 40
- include/crypto/md5.h, line 164
- lib/crypto/md5.c
- lib/crypto/tests/md5_kunit.c, line 12
- net/ipv4/tcp.c
- net/ipv4/tcp_ipv4.c, line 1561
- net/ipv6/tcp_ipv6.c, line 735
Smatch caller information:
net/ipv4/tcp_ipv4.c tcp_v4_md5_hash_headers() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3474640839818424320,4906997201542852608 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| PARAM_VALUE | 1 | data | 2453306511190671360 |
| PARAM_VALUE | 2 | len | 32 |
| BUF_SIZE | 1 | data | 32 |
| DATA_SOURCE | 0 | ctx | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | rcu_read |
net/ipv4/tcp.c tcp_md5_hash_key() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 512677278635724800,3474640839818424320,4906997201542852608,6762149085688967168 |
| BUF_SIZE | 1 | data | 80 |
| DATA_SOURCE | 0 | ctx | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | rcu_read |
net/ipv4/tcp.c tcp_md5_hash_skb_data() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| DATA_SOURCE | 0 | ctx | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ctx->bytecount | |
| HALF_LOCKED2 | rcu_read |
net/ipv4/tcp.c tcp_md5_hash_skb_data() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| DATA_SOURCE | 0 | ctx | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ctx->bytecount | |
| HALF_LOCKED2 | rcu_read |
crypto/md5.c crypto_md5_update() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | data | (-1)-s32max |
| BUF_SIZE | 1 | data | (-1)-s32max |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| NOSPEC | 1 | *data | |
| NOSPEC | 2 | len | |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | data | 4096-ptr_max[c] |
| HOST_DATA | 2 | len | 0-4860,4294962946-u32max[c] |
| USER_DATA | 1 | data | 4096-ptr_max[c][u] |
| USER_DATA | 1 | *data | 0-255 |
| USER_DATA | 2 | len | 0-u32max |
| NO_OVERFLOW_SIMPLE | 1 | data->compr_size | |
| BYTE_COUNT | 1 | ==data2 | 8050 |
| USER_PTR | 1 | data |
crypto/md5.c hmac_md5_update() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | data | (-1)-s32max |
| BUF_SIZE | 1 | data | (-1)-s32max |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| PARAM_COMPARE | 1 | data | == $2 |
| NOSPEC | 1 | *data | |
| NOSPEC | 2 | len | |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | data | 4096-ptr_max[c] |
| HOST_DATA | 2 | len | 0-4605,4294962946-u32max[c] |
| USER_DATA | 1 | data | 4096-ptr_max[c][u] |
| USER_DATA | 1 | *data | 0-255 |
| USER_DATA | 2 | len | 0-u32max |
| NO_OVERFLOW_SIMPLE | 1 | data->compr_size | |
| NO_OVERFLOW_SIMPLE | 1 | data->ino | |
| NO_OVERFLOW_SIMPLE | 1 | data->jhead | |
| BYTE_COUNT | 1 | ==data2 | 8050 |
| USER_PTR | 1 | data |
fs/smb/server/auth.c hmac_md5_update() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3192266616082870272,7573583505345372160 |
| PARAM_VALUE | 2 | len | 0-2020202 |
| BUF_SIZE | 1 | data | 2-2020204 |
| BUF_SIZE | 1 | data | 2-2020204 |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | *data | 1[u] |
| UNITS | 2 | len | unit_byte |
| USER_PTR | 1 | data | |
| LOCK2 | &conn->srv_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ksmbd_conn)->srv_mutex |
lib/crypto/tests/md5_kunit.c hash_irq_test2_func() -> md5_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/md5_kunit.c hmac_md5_update() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 7685766904872415232 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-4096 |
| BUF_SIZE | 1 | data | (-1),16 |
| BUF_SIZE | 1 | data | (-1),16 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| FUZZY_MAX | 2 | len | 4096 |
| HARD_MAX | 2 | len | 4096 |
| NOCHECK_CALL |
lib/crypto/tests/md5_kunit.c test_hash_all_lens_up_to_4096() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3942733874491080704 |
| PARAM_VALUE | 1 | data | 3298404287272988672 |
| PARAM_VALUE | 2 | len | 16 |
| BUF_SIZE | 1 | data | 16 |
| NOCHECK_CALL |
lib/crypto/tests/md5_kunit.c test_hash_buffer_overruns() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 6815178055008624640 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| PARAM_VALUE | 2 | len | 0-16296 |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 2 | len | r rand_length |
| NOCHECK_CALL |
lib/crypto/tests/md5_kunit.c test_hash_buffer_overruns() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 6815178055008624640 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-16296 |
| 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 |
lib/crypto/tests/md5_kunit.c test_hash_buffer_overruns() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| PARAM_VALUE | 0 | *ctx->buf | 0-255 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-16296 |
| 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 | |||
| UNITS | 0 | ctx | unit_byte |
lib/crypto/tests/md5_kunit.c test_hash_ctx_zeroization() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3573372575363719168 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| 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/md5_kunit.c test_hash_incremental_updates() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3905928668644339712 |
| 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 |
lib/crypto/tests/md5_kunit.c test_hash_incremental_updates() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3905928668644339712 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-16384,18446744073709535232-u64max |
| NOCHECK_CALL |
lib/crypto/tests/md5_kunit.c test_hash_overlaps() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 2882792302681198592 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| 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 |
lib/crypto/tests/md5_kunit.c test_hash_overlaps() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 2882792302681198592 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| 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 |
fs/smb/client/cifsencrypt.c cifs_sig_step() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1-u64max |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 1 | data | $0 |
| DATA_SOURCE | 2 | len | $2 |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 2 | len | 0-s32max[c] |
| USER_DATA | 2 | len | 0-s32max[c] |
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | rcu_read |
fs/smb/client/cifsencrypt.c hmac_md5_update() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 6086542260492836864 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-s32max,18446744071562067968-u64max |
| BUF_SIZE | 1 | data | 2-2020204 |
| BUF_SIZE | 1 | data | 2-2020204 |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &ses->server->_srv_mutex | ||
| LOCK2 | &ses->session_mutex | ||
| TYPE_LOCK | (struct TCP_Server_Info)->_srv_mutex | ||
| TYPE_LOCK | (struct cifs_ses)->session_mutex |
drivers/md/dm-crypt.c crypt_iv_lmk_one() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 151023766114312192 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| PARAM_VALUE | 1 | data | 1-u64max |
| PARAM_VALUE | 2 | len | 64 |
| BUF_SIZE | 1 | data | 64 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/md/dm-crypt.c crypt_iv_lmk_one() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 151023766114312192 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 496 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/md/dm-crypt.c crypt_iv_lmk_one() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 151023766114312192 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 16 |
| BUF_SIZE | 1 | data | 16 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &pool->lock |
net/ipv6/tcp_ipv6.c tcp_v6_md5_hash_headers() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 512677278635724800,6762149085688967168 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| PARAM_VALUE | 1 | data | 6091598723675480064 |
| PARAM_VALUE | 2 | len | 60 |
| BUF_SIZE | 1 | data | 60 |
| DATA_SOURCE | 0 | ctx | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | rcu_read |
lib/crypto/md5.c hmac_md5_update() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 6747652465664901120,8582454544268582912 |
| PARAM_VALUE | 0 | ctx->bytecount | 64 |
| BUF_SIZE | 1 | data | (-1)-s32max |
| BUF_SIZE | 1 | data | (-1)-s32max |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | data | 4096-ptr_max[c] |
| HOST_DATA | 2 | len | 0-4605,4294962946-u32max[c] |
| USER_DATA | 1 | data | 4096-ptr_max[c][u] |
| USER_DATA | 1 | *data | 0-255 |
| USER_DATA | 2 | len | 0-u32max |
| NO_OVERFLOW_SIMPLE | 1 | data->compr_size | |
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
| BYTE_COUNT | 1 | ==data2 | 8050 |
| USER_PTR | 1 | data |
lib/crypto/md5.c md5() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 2189669213155749888 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| BUF_SIZE | 1 | data | s32min-s32max |
| DATA_SOURCE | 1 | data | $0 |
| DATA_SOURCE | 2 | len | $1 |
| STR_LEN | 0 | ctx | (-1)-1024 |
| STR_LEN | 1 | data | (-1)-1024 |
| NOSPEC | 1 | *data | |
| NOSPEC | 2 | len | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | data | 4096-ptr_max[c] |
| HOST_DATA | 2 | len | 0-4605,4294962946-u32max[c] |
| USER_DATA | 1 | data | 4096-ptr_max[c][u] |
| USER_DATA | 1 | *data | 0-255 |
| USER_DATA | 2 | len | 0-u32max |
| NO_OVERFLOW_SIMPLE | 1 | data->compr_size | |
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
| BYTE_COUNT | 1 | ==data2 | 8050 |
| USER_PTR | 1 | data | |
| HALF_LOCKED2 | s->tfm_mutex |
fs/smb/client/smb1encrypt.c cifs_calc_signature() -> md5_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1825479179546542080 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| BUF_SIZE | 1 | data | 1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| LOCK2 | &server->_srv_mutex | ||
| TYPE_LOCK | (struct TCP_Server_Info)->_srv_mutex |