Data races #2
Description
Data races among the following shared variables and functions.
| shared variable | function1 | function2 |
|---|---|---|
| ctx | set_keypair | generate_keypair |
| ctx | set_keypair | unseal_keypair |
| ctx+0x10 | set_keypair | generate_keypair |
| ctx+0x10 | set_keypair | unseal_keypair |
| ctx+0x18 | set_keypair | generate_keypair |
| ctx+0x18 | set_keypair | unseal_keypair |
| ctx+0x40 | set_keypair | reencrypt |
| ctx+0x40 | set_keypair | register_key |
| ctx+0x40 | set_keypair | seal_keypair |
| ctx+0x8 | set_keypair | generate_keypair |
| ctx+0x8 | set_keypair | unseal_keypair |