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 318 57

  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 11

  4. llvm2c llvm2c Public

    Forked from petrv7/llvm2c

    Decompiler of LLVM bitcode to C

    C++ 83 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 29 repositories
  • fizzer Public

    Experimental implementation of gray-box program fuzzing.

    staticafi/fizzer’s past year of commit activity
    C 5 1 3 2 Updated Feb 28, 2025
  • libsala Public
    staticafi/libsala’s past year of commit activity
    C++ 0 0 0 0 Updated Feb 28, 2025
  • FizzerProgressExplorer Public

    Visualization of Fizzer's progress during analysis of a program.

    staticafi/FizzerProgressExplorer’s past year of commit activity
    Java 0 0 0 0 Updated Feb 26, 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 318 MIT 57 51 8 Updated Feb 17, 2025
  • sbt-instrumentation Public

    Configurable instrumentation of LLVM bitcode

    staticafi/sbt-instrumentation’s past year of commit activity
    C++ 33 MIT 11 7 1 Updated Feb 13, 2025
  • JetKlee Public Forked from klee/klee

    JetKlee Symbolic Virtual Machine

    staticafi/JetKlee’s past year of commit activity
    C++ 4 694 3 1 Updated Dec 18, 2024
  • JetKleeProgressExplorer Public

    Java tool providing visual exploration of JetKlee's progress during symbolic execution of a program

    staticafi/JetKleeProgressExplorer’s past year of commit activity
    Java 0 0 0 0 Updated Dec 18, 2024
  • jtoc Public

    Translation of Java 8 programs to C through JBMC's GOTO programs

    staticafi/jtoc’s past year of commit activity
    Python 0 0 0 0 Updated Dec 18, 2024
  • cbmc Public Forked from diffblue/cbmc

    C Bounded Model Checker

    staticafi/cbmc’s past year of commit activity
    C++ 0 309 0 0 Updated Dec 18, 2024
  • datsalat Public
    staticafi/datsalat’s past year of commit activity
    C 0 0 0 0 Updated Nov 26, 2024
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…

Most used topics

Loading…