Существуют ли какие-либо инструменты для выполнения статического анализа кода Scala?[закрыто]

Question

Существуют ли какие-либо инструменты для выполнения статического анализа кода Scala, похожие на FindBugs и PMD для Java или Splint для C / C ++?Я знаю, что FindBugs работает с байт-кодом, созданным путем компиляции Java, поэтому мне любопытно, как это будет работать на Scala.

Поисковые запросы Google (по состоянию на 27 октября 2009 года) показывают очень мало.

Поисковые запросы Google (по состоянию на 01 февраля 2010 года) выявляют этот вопрос.

Answer 1

FindBugs анализирует байтовые коды JVM, независимо от инструмента, который их сгенерировал.Я пробовал использовать FindBugs для проверки файлов .class, сгенерированных Scala.К сожалению, FindBugs выдавал много предупреждений даже для тривиальных программ Scala.

Answer 2

Сейчас есть Scalastyle который выполняет ту же работу, что и Checkstyle для Java.Это включает в себя не только проверку форматирования, но и некоторые проверки на наличие известных источников ошибок, таких как класс, который реализует hashCode(), но не equals.

В настоящее время существует около 40 проверок, но мы добавляем их постоянно.

Для получения дополнительной информации см. www.scalastyle.org.

Answer 3

В этом направлении ведется определенная работа.Некоторые ссылки:

• https://github.com/alacscala/scala-corpus
• https://github.com/alacscala/alacs
• https://bitbucket.org/jmhofer/findbugs4sbt/wiki/Home

Существует также обсуждение списка рассылки scala, доступный архив здесь.

Answer 4

Вот обновленный ответ по состоянию на август 2014 года для некоторых, которые нацелены или хорошо работают со Scala.

Лично я думаю, что JVM или Java заканчиваются слишком большим количеством ложных срабатываний или имеют проверки, которые нацелены в основном на специфические классы Java.Например, поскольку в Scala мы не склонны использовать коллекции Java, все проверки на основе коллекций findbugs не нужны.Другим примером являются проверки на использование статических полей, которые неуместны в Scala.

• Скалястиль https://github.com/scalastyle/scalastyle
• Козел Отпущения https://github.com/sksamuel/scalac-scapegoat-plugin
• Средство для удаления бородавок https://github.com/typelevel/wartremover
• Линтер https://github.com/HairyFotr/linter
• CPD ( ДСП ) https://github.com/sbt/cpd4sbt

Answer 5

Findbugs и другие инструменты, основанные на байт-коде, будут работать в том смысле, что они найдут ошибки в вашем коде.К сожалению, подходы, основанные на байт-коде, были настроены с учетом выходных данных компиляторов javac, что означает, что они, вероятно, будут выдавать очень высокие частоты ложноположительных результатов и пропускать основные проблемы, потому что Scala будет выдавать другие идиомы, чем компилятор javac.

Answer 6

Мне очень весело с Codacy (например https://www.codacy.com/app/hejfelix/Frase/dashboard) для проектов с открытым исходным кодом

Answer 7

Существует плагин SBT для детектора копирования-вставки PMD CPD.

https://github.com/sbt/cpd4sbt

Answer 8

детектор копирования-вставки scala, основанный на AST.Ищу скопированные поддеревья / ASTS и сообщаю об этом.

Это плагин для sbt.

https://github.com/ajtkulov/scala-cpd

Answer 9

Я мало что знаю о Scala, но если совместима с Java, то сольный продукт Klocwork может сработать.Вы можете найти его здесь Клокворк Соло