Data races

[wssgcsc58]

Data races among the following shared variables and functions.

shared variable	function1	function2
IV	encrypt_aes_cbc	decrypt_aes_cbc
IV	encrypt_aes_cbc	encrypt_aes_cbc
init	decrypt_aes_cbc	decrypt_aes_cbc
init	decrypt_aes_cbc	gen_hmac_sha256
init	decrypt_aes_cbc	gen_sha256
init	encrypt_aes_cbc	decrypt_aes_cbc
init	encrypt_aes_cbc	encrypt_aes_cbc
init	encrypt_aes_cbc	gen_hmac_sha256
init	encrypt_aes_cbc	gen_sha256
init	encrypt_aes_ecb	decrypt_aes_cbc
init	encrypt_aes_ecb	encrypt_aes_cbc
init	encrypt_aes_ecb	encrypt_aes_ecb
init	encrypt_aes_ecb	gen_hmac_sha256
init	encrypt_aes_ecb	gen_sha256
init	gen_hmac_sha256	gen_hmac_sha256
init	gen_sha256	gen_hmac_sha256
init	gen_sha256	gen_sha256
key	dump_key	decrypt_aes_cbc
key	dump_key	dump_key
key	dump_key	encrypt_aes_cbc
key	dump_key	encrypt_aes_ecb
key	dump_key	gen_hmac_sha256
key	dump_key	gen_key
key	gen_key	decrypt_aes_cbc
key	gen_key	encrypt_aes_cbc
key	gen_key	encrypt_aes_ecb
key	gen_key	gen_hmac_sha256
key	gen_key	gen_key
keylen	dump_key	decrypt_aes_cbc
keylen	dump_key	dump_key
keylen	dump_key	encrypt_aes_cbc
keylen	dump_key	encrypt_aes_ecb
keylen	dump_key	gen_hmac_sha256
keylen	dump_key	gen_key
keylen	gen_key	decrypt_aes_cbc
keylen	gen_key	encrypt_aes_cbc
keylen	gen_key	encrypt_aes_ecb
keylen	gen_key	gen_hmac_sha256
keylen	gen_key	gen_key