polystat/xmir2c polystat/xmir2c

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Makefile
  • Created almost 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
polystat/xmir2c
github

polystat

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Experimental XMIR to C compiler

More Repositories

1

polystat

Polyglot Static Analyzer for Object-Oriented Programs Based on EOLANG and 𝜑-Calculus
TeX
33
star
2

awesome-bugs

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

c2eo

Experimental Translator of C/C++ Programs to EO Programs
C
12
star
4

j2eo

Experimental Transpiler of Java Programs to EO Programming Language
Java
11
star
5

odin

Object Dependency Inspector
Scala
10
star
6

j2ast

Java to AST Parser
Java
9
star
7

py2eo

Experimental Translator of Python Programs to EO Programming Language
Scala
8
star
8

far

Find-a-Reverse (FaR) analyzer module for Polystat
XSLT
5
star
9

clang-tidy-mistakes

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

polystat-cli

Scala
5
star
11

eog

EO programs to Call Flow Graph (CFG) transformator
5
star
12

white-paper

The White Paper for our Polyglot Static Analyzer
TeX
4
star
13

.github

Meta info about us
4
star
14

eolib

C library with basic EO objects and runtime
C++
3
star
15

php2eo

PHP-to-EOLANG experimental translator
2
star
16

symex

Symbolic Execution engine for finding bugs in EO programs
Java
2
star