polystat

这是一个实验性的多面静态分析仪。

先阅读白皮书。

从Maven Central下载polystat-*-jar-with-dependencies.jar 。

$ 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来播放它。