polystat

Este é um analisador estático experimental de poliglota.

Leia o white paper primeiro.

Baixe polystat-*-jar-with-dependencies.jar da Maven Central e depois execute (substitua o asterisco pela versão mais recente):

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

O arquivo src/test.eo deve conter o código em Eolang com um único objeto chamado test . Por exemplo, tente este programa simples que tenha uma divisão por zero bug:

 [x] > test
  div. > @
    42
    x

A saída do PolyStat mostrará quais valores de x podem fazer com que esse programa falhe. Uma nova temperatura temp/ será criada automaticamente e conterá arquivos temporários.

Você também pode brincar com ele editando os arquivos no sandbox/ e depois executando ./try.sh .