Skip to content
@staticafi

statica

Statica - static analysis group at Faculty of Informatics at Masaryk University in Brno, Czech Republic

Pinned Loading

  1. symbiotic symbiotic Public

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

    Python 313 55

  2. JetKlee JetKlee Public

    Forked from klee/klee

    JetKlee Symbolic Virtual Machine

    C++ 4 7

  3. sbt-instrumentation sbt-instrumentation Public

    Configurable instrumentation of LLVM bitcode

    C++ 33 10

  4. llvm2c llvm2c Public

    Forked from petrv7/llvm2c

    Decompiler of LLVM bitcode to C

    C++ 80 9

  5. sbt-slicer sbt-slicer Public

    Static program slicer used in Symbiotic tool

    C++ 11 2

  6. mamato mamato Public

    View and browse results from benchexec

    Python 7 2

Repositories

Showing 10 of 19 repositories
  • BenchStore Public

    BenchStore is an ASP.NET Core MVC application used for storing results from BenchExec

    staticafi/BenchStore’s past year of commit activity
    C# 2 1 0 0 Updated Nov 4, 2024
  • JetKlee Public Forked from klee/klee

    JetKlee Symbolic Virtual Machine

    staticafi/JetKlee’s past year of commit activity
    C++ 4 695 3 1 Updated Nov 3, 2024
  • symbiotic Public

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

    staticafi/symbiotic’s past year of commit activity
    Python 313 MIT 55 50 8 Updated Oct 30, 2024
  • sbt-fizzer Public

    Experimental implementation of gray-box program fuzzing.

    staticafi/sbt-fizzer’s past year of commit activity
    C 5 1 3 2 Updated Oct 30, 2024
  • llvm2c Public Forked from petrv7/llvm2c

    Decompiler of LLVM bitcode to C

    staticafi/llvm2c’s past year of commit activity
    C++ 80 14 13 0 Updated Mar 9, 2024
  • sbt-slicer Public

    Static program slicer used in Symbiotic tool

    staticafi/sbt-slicer’s past year of commit activity
    C++ 11 MIT 2 0 0 Updated Nov 30, 2023
  • sbt-instrumentation Public

    Configurable instrumentation of LLVM bitcode

    staticafi/sbt-instrumentation’s past year of commit activity
    C++ 33 MIT 10 7 2 Updated Nov 30, 2023
  • dg Public Forked from mchalupa/dg

    [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

    staticafi/dg’s past year of commit activity
    C++ 3 MIT 146 0 0 Updated Nov 30, 2023
  • predator Public Forked from kdudka/predator

    A Shape Analyzer Based on Symbolic Memory Graphs

    staticafi/predator’s past year of commit activity
    C 2 GPL-3.0 21 0 0 Updated Nov 13, 2023
  • sbt-slowbeast Public

    Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. Cloned from https://gitlab.fi.muni.cz/xchalup4/slowbeast

    staticafi/sbt-slowbeast’s past year of commit activity
    Python 1 MIT 0 0 0 Updated Nov 30, 2022
View all repositories

Top languages

Loading…