Можешь назвать инструменты для статического анализа исходного кода, которыми ты пользовался?