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