Polystat

Polystat's repositories

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

Language:TeXMIT32 4 44

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

Language:PythonMIT16 2 13

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

Language:CMIT12 5 122

Experimental Transpiler of Java Programs to EO Programming Language

Language:JavaMIT11 2 60

Object Dependency Inspector

Language:Scala10 3 22

Java to AST Parser

Language:Java9 2 5

Experimental Translator of Python Programs to EO Programming Language

Language:ScalaMIT8 5 173

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

Language:C++501

EO programs to Call Flow Graph (CFG) transformator

500

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

Language:XSLTMIT5 4 17

Language:ScalaMIT5 3 14

Meta info about us

Symbolic Execution engine for finding bugs in EO programs

Language:JavaMIT200