Home Original page

Polystat

License Stars Telegram

Polystat is a polyglot experimental static analyzer, which 1) takes your source code written in Java/C++/Python/etc., 2) converts it to EOLANG, 3) then EO objects to đťś‘-calculus expressions, and then 4) tells you where are the bugs. This is a more or less complete White Paper.

If/when ready to help, just text us in Telegram: @polystat_org.

Pinned Loading

  1. Polyglot Static Analyzer for Object-Oriented Programs Based on EOLANG and đťś‘-Calculus

    TeX 34 7

  2. Experimental Transpiler of Java Programs to EO Programming Language

    Java 11 10

  3. A taxonomy of defects with a benchmarking script that validates which of them can be spot by which static analyzers

    Python 16 5

  4. Experimental Translator of Python Programs to EO Programming Language

    Scala 8 5

Repositories

Showing 10 of 13 repositories

  • polystat Public

    Polyglot Static Analyzer for Object-Oriented Programs Based on EOLANG and đťś‘-Calculus

    polystat/polystat’s past year of commit activity

    TeX

    34

    MIT

    7 19 11

    Updated Apr 1, 2026

  • polystat/polystat-cli’s past year of commit activity

    Scala

    5

    MIT

    3 8 10

    Updated Mar 31, 2026

  • odin Public

    Object Dependency Inspector

    polystat/odin’s past year of commit activity

    Scala

    10 2 4 12

    Updated Mar 31, 2026

  • c2eo Public

    Experimental Translator of C/C++ Programs to EO Programs

    polystat/c2eo’s past year of commit activity

    C

    12

    MIT

    9 24 11

    Updated Mar 26, 2026

  • far Public

    Find-a-Reverse (FaR) analyzer module for Polystat

    polystat/far’s past year of commit activity

    XSLT

    5

    MIT

    1 10 11

    Updated Mar 26, 2026

  • py2eo Public

    Experimental Translator of Python Programs to EO Programming Language

    polystat/py2eo’s past year of commit activity

    Scala

    8

    MIT

    5 22 10

    Updated Mar 26, 2026

  • j2eo Public

    Experimental Transpiler of Java Programs to EO Programming Language

    polystat/j2eo’s past year of commit activity

    Java

    11

    MIT

    10 40 12

    Updated Mar 13, 2026

  • awesome-bugs Public archive

    A taxonomy of defects with a benchmarking script that validates which of them can be spot by which static analyzers

    polystat/awesome-bugs’s past year of commit activity

    Python

    16

    MIT

    5 9 10

    Updated Dec 10, 2025

  • symex Public

    Symbolic Execution engine for finding bugs in EO programs

    polystat/symex’s past year of commit activity

    Java

    2

    MIT 0

    0 0

    Updated Dec 15, 2023

  • eog Public

    EO programs to Call Flow Graph (CFG) transformator

    polystat/eog’s past year of commit activity

    5 1 0 0

    Updated Dec 15, 2023