Discover polystat/awesome-bugs Open Source project

Stars
16
Rank 1,311,288 (Top 26 %)
Language
Python
License
MIT License
Created about 3 years ago
Updated 3 months ago

polystat

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

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

polystat

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

TeX

c2eo

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

j2eo

Experimental Transpiler of Java Programs to EO Programming Language

Java

odin

Object Dependency Inspector

Scala

j2ast

Java to AST Parser

Java

py2eo

Experimental Translator of Python Programs to EO Programming Language

Scala

far

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

XSLT

clang-tidy-mistakes

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

C++

polystat-cli

Scala

eog

EO programs to Call Flow Graph (CFG) transformator

white-paper

The White Paper for our Polyglot Static Analyzer

TeX

.github

Meta info about us

xmir2c

Experimental XMIR to C compiler

Makefile

eolib

C library with basic EO objects and runtime

C++

php2eo

PHP-to-EOLANG experimental translator

symex

Symbolic Execution engine for finding bugs in EO programs

Java

polystat/awesome-bugs

polystat

Reviews

Repository Details

More Repositories