clang 10 has a very nice tool called thread analyzer. This was recommended by @ondrej and was proven very useful in https://gitlab.isc.org/isc-projects/bind9.
We should integrate this into Kea CI process, preferably in a way that would detect issues before they're merged to master.
To enable design management, you'll need to meet the requirements. If you need help, reach out to our support team for assistance.