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 331 58

  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++ 87 8

  5. sbt-slicer sbt-slicer Public

    Static program slicer used in Symbiotic tool

    C++ 10

  6. mamato mamato Public

    View and browse results from benchexec

    Python 8 2

Repositories

Showing 10 of 32 repositories
  • fizzer Public

    Experimental implementation of gray-box program fuzzing.

    staticafi/fizzer’s past year of commit activity
    C 5 0 3 2 Updated Dec 7, 2025
  • binsalac Public

    A collection of three programs. Two of them form a compiler from LLVM to Sala and the third is Sala program optimizer.

    staticafi/binsalac’s past year of commit activity
    C++ 0 0 0 0 Updated Dec 6, 2025
  • datsalat Public

    A package of benchmarks used as regression tests for Sala compiler, interpreter and input-flow analysis.

    staticafi/datsalat’s past year of commit activity
    C 0 0 0 0 Updated Dec 6, 2025
  • llvm2c Public Forked from petrv7/llvm2c

    Decompiler of LLVM bitcode to C

    staticafi/llvm2c’s past year of commit activity
    C++ 87 MIT 14 13 0 Updated Dec 4, 2025
  • TestCoCa Public

    Executes a program for each test in its test suite to measure certain quantities, like branch coverage.

    staticafi/TestCoCa’s past year of commit activity
    C 0 0 0 0 Updated Dec 4, 2025
  • libllvmutl Public

    A library providing utility function commonly useful when working with LLVM framework.

    staticafi/libllvmutl’s past year of commit activity
    C++ 0 0 0 0 Updated Dec 4, 2025
  • libsala Public

    A library providing representation of Sala programs with their interpretation and analysis.

    staticafi/libsala’s past year of commit activity
    C++ 0 0 0 0 Updated Dec 2, 2025
  • 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 331 MIT 58 52 0 Updated Nov 24, 2025
  • JetKlee Public Forked from klee/klee

    JetKlee Symbolic Virtual Machine

    staticafi/JetKlee’s past year of commit activity
    C++ 4 718 3 0 Updated Nov 24, 2025
  • fizzer_testcomp_adapter Public

    Provides integrtion of Fizzer to Test-Comp's pipeline.

    staticafi/fizzer_testcomp_adapter’s past year of commit activity
    Python 0 0 0 0 Updated Nov 22, 2025
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…