Have you tried PVS before? We also use clang's static analysis and cppcheck during the audit build. I'm always excited about more analysis, but only if folks have experience and passion around the new tooling.