Explore @polystat Open Source projects

Polystat (@polystat)

polystat

Stars
137
Global Org. Rank 49,447 (Top 16 %)
Registered almost 4 years ago
Most used languages

Java
21.4 %

Scala
21.4 %

TeX
14.3 %

C++
14.3 %

Makefile 7.1 %

Python
7.1 %

C
7.1 %

XSLT 7.1 %
Location 🇺🇦 Ukraine
Country Total Rank 900
Country Ranking

XSLT 7

TeX
8

Scala
15

Makefile 39

C
202

Java
228

C++
338

Python
456

polystat

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

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

j2eo

Experimental Transpiler of Java Programs to EO Programming Language

odin

Object Dependency Inspector

j2ast

Java to AST Parser

py2eo

Experimental Translator of Python Programs to EO Programming Language

far

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

clang-tidy-mistakes

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

polystat-cli

eog

EO programs to Call Flow Graph (CFG) transformator

white-paper

The White Paper for our Polyglot Static Analyzer

.github

Meta info about us

xmir2c

Experimental XMIR to C compiler

eolib

C library with basic EO objects and runtime

php2eo

PHP-to-EOLANG experimental translator

symex

Symbolic Execution engine for finding bugs in EO programs