statica (@staticafi)
Guthub

staticafi

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    405
  • Global Org. Rank 27,116 (Top 9 %)
  • Registered about 9 years ago
  • Most used languages
    Python
         50.0 %
    C++
         25.0 %
    C#
         12.5 %
    C
         12.5 %
  • Location πŸ‡¨πŸ‡Ώ Czechia
  • Country Total Rank 306
  • Country Ranking
    Python
         56
    C++
         113
    C
         579
    C#
         662

Top repositories

1

symbiotic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
Python
307
star
2

sbt-instrumentation

Configurable instrumentation of LLVM bitcode
C++
32
star
3

sbt-slicer

Static program slicer used in Symbiotic tool
C++
10
star
4

mamato

View and browse results from benchexec
Python
7
star
5

satt

Static analysis tools tester
Python
2
star
6

BenchStore

BenchStore is an ASP.NET Core MVC application used for storing results from BenchExec
C#
1
star
7

distexec

Distribute experiments with Symbiotic over computers
Python
1
star
8

sbt-fizzer

Experimental implementation of gray-box program fuzzing.
C
1
star