polystat

これは、実験的なポリグロット静的分析器です。

最初にホワイトペーパーを読んでください。

polystat-*-jar-with-dependencies.jarをMaven Centralからダウンロードしてから実行します（アスタリスクを最新バージョンに置き換えます）：

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

src/test.eoファイルにはtestという単一のオブジェクトがあるEolangにコードを含める必要があります。たとえば、ゼロバグによる分割を持つこのシンプルなプログラムを試してください。

 [x] > test
  div. > @
    42
    x

PolyStatの出力は、 xのどの値がこのプログラムをクラッシュさせる可能性があるかを示します。新しいディレクトリtemp/が自動的に作成され、一時ファイルが含まれます。

sandbox/のファイルを編集して、 ./try.shを実行することで、再生することもできます。