static thread safety analysis
using static analysis: https://clang.llvm.org/docs/ThreadSafetyAnalysis.html
advantages: compile time checking (even not covered by runtime paths)
disadvantages: a lot of changes in the code code must be maintained feature must be supported by compiler (which could also evolve/change alongside kea)