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.
