Data races

[wssgcsc58]

Data races among the following shared variables and functions.

shared variable	function1	function2
add_count	ecp_add_mixed	ecp_add_mixed
add_count	ecp_add_mixed	mbedtls_ecp_self_test
add_count	mbedtls_ecp_self_test	mbedtls_ecp_self_test
aes_init_done	mbedtls_aes_setkey_enc	mbedtls_aes_setkey_enc
connectionHandler	ssl_conn_init	ssl_conn_handle
connectionHandler	ssl_conn_init	ssl_conn_init
connectionHandler	ssl_conn_init	ssl_conn_teardown
dbl_count	ecp_double_jac	ecp_double_jac
dbl_count	ecp_double_jac	mbedtls_ecp_self_test
dbl_count	mbedtls_ecp_self_test	mbedtls_ecp_self_test
debug_threshold	mbedtls_debug_set_threshold	mbedtls_debug_print_buf
debug_threshold	mbedtls_debug_set_threshold	mbedtls_debug_print_crt
debug_threshold	mbedtls_debug_set_threshold	mbedtls_debug_print_ecp
debug_threshold	mbedtls_debug_set_threshold	mbedtls_debug_print_mpi
debug_threshold	mbedtls_debug_set_threshold	mbedtls_debug_print_msg
debug_threshold	mbedtls_debug_set_threshold	mbedtls_debug_print_ret
debug_threshold	mbedtls_debug_set_threshold	mbedtls_debug_set_threshold
init_done.2589	mbedtls_ecp_grp_id_list	mbedtls_ecp_grp_id_list
mul_count	ecp_add_mixed	ecp_add_mixed
mul_count	ecp_add_mixed	ecp_check_pubkey_sw
mul_count	ecp_add_mixed	ecp_double_add_mxz
mul_count	ecp_add_mixed	ecp_normalize_mxz
mul_count	ecp_add_mixed	ecp_randomize_jac
mul_count	ecp_add_mixed	ecp_randomize_mxz
mul_count	ecp_add_mixed	mbedtls_ecp_self_test
mul_count	ecp_check_pubkey_sw	ecp_check_pubkey_sw
mul_count	ecp_check_pubkey_sw	mbedtls_ecp_self_test
mul_count	ecp_double_add_mxz	ecp_check_pubkey_sw
mul_count	ecp_double_add_mxz	ecp_double_add_mxz
mul_count	ecp_double_add_mxz	mbedtls_ecp_self_test
mul_count	ecp_double_jac	ecp_add_mixed
mul_count	ecp_double_jac	ecp_check_pubkey_sw
mul_count	ecp_double_jac	ecp_double_add_mxz
mul_count	ecp_double_jac	ecp_double_jac
mul_count	ecp_double_jac	ecp_normalize_mxz
mul_count	ecp_double_jac	ecp_randomize_jac
mul_count	ecp_double_jac	ecp_randomize_mxz
mul_count	ecp_double_jac	mbedtls_ecp_self_test
mul_count	ecp_normalize_jac	ecp_add_mixed
mul_count	ecp_normalize_jac	ecp_check_pubkey_sw
mul_count	ecp_normalize_jac	ecp_double_add_mxz
mul_count	ecp_normalize_jac	ecp_double_jac
mul_count	ecp_normalize_jac	ecp_normalize_jac
mul_count	ecp_normalize_jac	ecp_normalize_jac_many
mul_count	ecp_normalize_jac	ecp_normalize_mxz
mul_count	ecp_normalize_jac	ecp_randomize_jac
mul_count	ecp_normalize_jac	ecp_randomize_mxz
mul_count	ecp_normalize_jac	mbedtls_ecp_self_test
mul_count	ecp_normalize_jac_many	ecp_add_mixed
mul_count	ecp_normalize_jac_many	ecp_check_pubkey_sw
mul_count	ecp_normalize_jac_many	ecp_double_add_mxz
mul_count	ecp_normalize_jac_many	ecp_double_jac
mul_count	ecp_normalize_jac_many	ecp_normalize_jac_many
mul_count	ecp_normalize_jac_many	ecp_normalize_mxz
mul_count	ecp_normalize_jac_many	ecp_randomize_jac
mul_count	ecp_normalize_jac_many	ecp_randomize_mxz
mul_count	ecp_normalize_jac_many	mbedtls_ecp_self_test
mul_count	ecp_normalize_mxz	ecp_check_pubkey_sw
mul_count	ecp_normalize_mxz	ecp_double_add_mxz
mul_count	ecp_normalize_mxz	ecp_normalize_mxz
mul_count	ecp_normalize_mxz	ecp_randomize_mxz
mul_count	ecp_normalize_mxz	mbedtls_ecp_self_test
mul_count	ecp_randomize_jac	ecp_check_pubkey_sw
mul_count	ecp_randomize_jac	ecp_double_add_mxz
mul_count	ecp_randomize_jac	ecp_normalize_mxz
mul_count	ecp_randomize_jac	ecp_randomize_jac
mul_count	ecp_randomize_jac	ecp_randomize_mxz
mul_count	ecp_randomize_jac	mbedtls_ecp_self_test
mul_count	ecp_randomize_mxz	ecp_check_pubkey_sw
mul_count	ecp_randomize_mxz	ecp_double_add_mxz
mul_count	ecp_randomize_mxz	ecp_randomize_mxz
mul_count	ecp_randomize_mxz	mbedtls_ecp_self_test
mul_count	mbedtls_ecp_self_test	mbedtls_ecp_self_test
opt	ssl_server	ssl_server
opt+0x10	ssl_server	ssl_server
opt+0x20	ssl_server	ssl_server
opt+0x28	ssl_server	ssl_server
opt+0x30	ssl_server	ssl_server
opt+0x38	ssl_server	ssl_server
opt+0x40	ssl_server	ssl_server
opt+0x48	ssl_server	ssl_server
opt+0x50	ssl_server	ssl_server
opt+0x58	ssl_server	ssl_server
opt+0x8	ssl_server	ssl_server
opt+0x84	ssl_server	ssl_server
opt+0x8c	ssl_server	ssl_server
opt+0x90	ssl_server	ssl_server
opt+0x94	ssl_server	ssl_server
opt+0x98	ssl_server	ssl_server
opt+0x9c	ssl_server	ssl_server
opt+0xa0	ssl_server	ssl_server
opt+0xa4	ssl_server	ssl_server
opt+0xac	ssl_server	ssl_server
opt+0xb0	ssl_server	ssl_server
opt+0xb4	ssl_server	ssl_server
opt+0xd8	ssl_server	ssl_server
opt+0xdc	ssl_server	ssl_server
opt+0xe4	ssl_server	ssl_server
opt+0xe8	ssl_server	ssl_server
opt+0xf4	ssl_server	ssl_server
received_sigterm	term_handler	ssl_server
supported_init	mbedtls_cipher_list	mbedtls_cipher_list
supported_init	mbedtls_ssl_list_ciphersuites	mbedtls_ssl_list_ciphersuites
test_offset	ctr_drbg_self_test_entropy	ctr_drbg_self_test_entropy
test_offset	ctr_drbg_self_test_entropy	mbedtls_ctr_drbg_self_test