Инструменты, такие как PVS-Studio для статического анализа кода в проектах C?

Я ищу альтернативу инструменту PVS-Studio , чтобы выполнять статический анализ кода в проектах C. У вас есть какие-нибудь предложения?