Elsewhere on the SEI site there are some checkers [1] [2]. They also advocate using clang's "-Wthread-safety" among others. It doesn't sound to me like there

Elsewhere on the SEI site there are some checkers [1] [2]. They also advocate using clang's "-Wthread-safety" among others. It doesn't sound to me like there exists a tool that will measure this coding standard as conformance criteria. [1] https://github.com/SEI-CERT/scvs https://github.com/SEI-CERT/scvs [2] https://sourceforge.net/projects/rosecheckers/ https://sourceforge.net/projects/rosecheckers/