staticafi/sbt-instrumentation staticafi/sbt-instrumentation

  • Stars
    star
    31
  • Rank 796,505 (Top 17 %)
  • Language
    C++
  • License
    MIT License
  • Created over 8 years ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
staticafi/sbt-instrumentation
github

staticafi

Reviews

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

Repository Details

Configurable instrumentation of LLVM bitcode

More Repositories

1

symbiotic

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

sbt-slicer

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

mamato

View and browse results from benchexec
Python
7
star
4

satt

Static analysis tools tester
Python
2
star
5

BenchStore

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

distexec

Distribute experiments with Symbiotic over computers
Python
1
star
7

sbt-fizzer

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