AWS анонсировали сервис для автоматизированного анализа кода

09 Дек 2019

Автор: Сергей Хренов

Недавно компания 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 дней.