Polystat

awesome-bugs

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

c2eo

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

clang-tidy-mistakes

This is a collection of C/C++ code snippets where Clang Tidy produces either false positives or false negatives

eog

EO programs to Call Flow Graph (CFG) transformator

far

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

j2ast

Java to AST Parser

j2eo

Experimental Transpiler of Java Programs to EO Programming Language

odin

Object Dependency Inspector

polystat

Polyglot Static Analyzer for Object-Oriented Programs Based on EOLANG and 𝜑-Calculus

py2eo

Experimental Translator of Python Programs to EO Programming Language

polystat/polystat

Polyglot Static Analyzer for Object-Oriented Programs Based on EOLANG and 𝜑-Calculus

polystat/awesome-bugs

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

polystat/c2eo

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

polystat/j2eo

Experimental Transpiler of Java Programs to EO Programming Language

polystat/odin

Object Dependency Inspector

polystat/j2ast

Java to AST Parser

polystat/py2eo

Experimental Translator of Python Programs to EO Programming Language

polystat/clang-tidy-mistakes

This is a collection of C/C++ code snippets where Clang Tidy produces either false positives or false negatives

polystat/eog

EO programs to Call Flow Graph (CFG) transformator

polystat/far

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

polystat/polystat-cli

polystat/.github

Meta info about us

polystat/symex

Symbolic Execution engine for finding bugs in EO programs