On Jan 23, 2017, at 5:07 PM, Jonathan Coe via cfe-dev <cfe-dev at lists.llvm.org> wrote: > Would there be any interest in implementing/using clang-tidy checks for high-integrity C++? Strong yes here, and might be able to devote some resources to helping with the effort. -- Ben