Алексей Плетнёв — Системы статического анализа кода: трудности выбора