What automation opportunities does clang-static-analyzer realize?

GQ-0027