Статический анализ кода: подозрительные конструкции, частые ошибки (например, неправильная сигнатура Printf, потеря контекста err, копирование мьютекса, неиспользуемые результаты). Запуск: go vet ./.... Часто включают в CI. Часть проверок - в golang.org/x/tools.