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