polystat/awesome-bugs polystat/awesome-bugs

  • Stars
    star
    16
  • Rank 1,311,288 (Top 26 %)
  • Language
    Python
  • License
    MIT License
  • Created about 3 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
polystat/awesome-bugs
github

polystat

Reviews

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

Repository Details

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

More Repositories

1

polystat

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

c2eo

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

j2eo

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

odin

Object Dependency Inspector
Scala
10
star
5

j2ast

Java to AST Parser
Java
9
star
6

py2eo

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

far

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

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
9

polystat-cli

Scala
5
star
10

eog

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

white-paper

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

.github

Meta info about us
4
star
13

xmir2c

Experimental XMIR to C compiler
Makefile
3
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