Недавно компания Amazon объявила о запуске нового сервиса, основанного на машинном обучении, который предназначен для проведения автоматизированного обзора кода с целью улучшения его производительности.
В анонсе Amazon говорится, что новый сервис Amazon CodeGuru основан на машинном обучении и предназначен для проведения автоматизированного обзора кода с целью улучшения его производительности. Сервис поможет "находить и исправлять такие проблемы с кодом, как утечки ресурсов, потенциальные условия конкуренции и параллельные циклы процессора". Amazon CodeGuru предлагает два основных инструмента: Reviewer и Profiler.
С помощью Reviewer проводится анализа строк кода, отправленных в систему контроля версий (GitHub или AWS CodeCommit) в рамках некоторого pull request'а с оплатой за строку. В результате инструмент находит проблемы в коде и рекомендует способы их устранения.
Profiler предназначен для динамического анализа работы приложения, включая мониторинг загрузки процессора, использование памяти и т.п. Далее используется агрегирование трассировок стека для привязки информации о потребляемых ресурсах к коду вашего приложения.
Для меня, как разработчика статического анализатора, более интересен первый инструмент – Reviewer. Также я не смог пройти мимо этой новости, потому что в начале года писал статью о проверке одного из проектов Amazon на ошибки "Ищем ошибки в исходном коде Amazon Web Services SDK для .NET". Код проекта довольно качественный. Тем не менее, там встречались такие ошибки:
V3008 [CWE-563] The 'this.linker.s3.region' variable is assigned values twice successively. Perhaps this is a mistake. Check lines: 116, 114. AWSSDK.DynamoDBv2.Net45 S3Link.cs 116
public string Region
{
get
{
....
}
set
{
if (String.IsNullOrEmpty(value))
{
this.linker.s3.region = "us-east-1";
}
this.linker.s3.region = value;
}
}В теле блока if пропущен оператор return. В результате переменная this.linker.s3.region будет всегда иметь значение value, включая пустую строку и null.
Было бы любопытно попробовать поискать эту и подобные ошибки при помощи Amazon Reviewer в их же проекте. К сожалению, на данный момент в Amazon CodeGuru доступна проверка только кода на языке Java. Но обещают поддержку "большего количества языков в ближайшее время".
Также интересны принципы работы анализатора Reviewer. Как реализован поиск заявленных проблем по небольшой части кода, насколько достоверны результаты?
Я продолжу изучать особенности Amazon CodeGuru. Сервис однозначно интересный, тем более, предлагается бесплатный пробный период на 90 дней.