Looking at the C section, clang-tidy, gcc analyzer, -Werror, and Coverity. I use several more non-static (runtime) checkers too. I tried to use Frama-C a whil

Looking at the C section, clang-tidy, gcc analyzer, -Werror, and Coverity. I use several more non-static (runtime) checkers too. I tried to use Frama-C a while back and gave a talk about it, but for us it wasn't too practical: http://oirase.annexia.org/tmp/2020-frama-c-tech-talk.mp4 http://oirase.annexia.org/tmp/2020-frama-c-tech-talk.mp4