polystat

Это экспериментальный статический анализатор полиглота.

Сначала прочитайте белую бумагу.

Скачать polystat-*-jar-with-dependencies.jar из Maven Central, а затем запустите (замените звездочку на последнюю версию):

$ java -jar polystat- * -jar-with-dependencies.jar src temp

Файл src/test.eo должен содержать код в Eolang с одним объектом с именем test . Например, попробуйте эту простую программу, которая имеет подразделение по нулевой ошибке:

 [x] > test
  div. > @
    42
    x

Вывод Polystat покажет вам, какие значения x могут привести к сбою этой программы. Новая temp/ будет создана автоматически и будет содержать временные файлы.

Вы также можете поиграть с ним, редактируя файлы в sandbox/ , а затем запустив ./try.sh .