polystat

Dies ist ein experimenteller statischer Analysator von Polyglot.

Lesen Sie zuerst das weiße Papier.

Download polystat-*-jar-with-dependencies.jar von Maven Central und dann ausführen (ersetzen Sie das Sternchen durch die neueste Version):

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

Die Datei src/test.eo muss den Code in Eolang mit einem einzelnen Objekt mit dem Namen test enthalten. Probieren Sie beispielsweise dieses einfache Programm mit einer Abteilung von Zero Bug aus:

 [x] > test
  div. > @
    42
    x

Die Ausgabe von Polystat zeigt Ihnen, welche Werte von x dieses Programm zum Absturz bringen können. Eine neue Verzeichnis temp/ wird automatisch erstellt und enthält temporäre Dateien.

Sie können auch damit spielen, indem Sie die Dateien in sandbox/ und dann ausführen ./try.sh .