Какие инструменты анализа кода и статической проверки качества кода вы применяли в своих проектах?