Skip to content
Change the repository type filter

All

    Repositories list

    • binsalac

      Public
      A collection of three programs. Two of them form a compiler from LLVM to Sala and the third is Sala program optimizer.
      C++
      Other
      0102Updated Apr 19, 2026Apr 19, 2026
    • dg

      Public
      [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
      C++
      MIT License
      141303Updated Mar 11, 2026Mar 11, 2026
    • fizzer

      Public
      Experimental implementation of gray-box program fuzzing.
      C
      Other
      1532Updated Mar 1, 2026Mar 1, 2026
    • symbiotic

      Public
      Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
      Python
      MIT License
      58335530Updated Feb 25, 2026Feb 25, 2026
    • libsala

      Public
      A library providing representation of Sala programs with their interpretation and analysis.
      C++
      Other
      0100Updated Feb 21, 2026Feb 21, 2026
    • A library with several utility classes and functions usable across many C++ projects.
      C++
      Other
      0000Updated Feb 13, 2026Feb 13, 2026
    • FizzerProgressExplorer

      Public
      Visualization of Fizzer's progress during analysis of a program.
      Java
      Other
      0000Updated Feb 1, 2026Feb 1, 2026
    • TestCoCa

      Public
      Executes a program for each test in its test suite to measure certain quantities, like branch coverage.
      C
      Other
      0010Updated Jan 14, 2026Jan 14, 2026
    • datsalat

      Public
      A package of benchmarks used as regression tests for Sala compiler, interpreter and input-flow analysis.
      C
      Other
      0000Updated Dec 6, 2025Dec 6, 2025
    • llvm2c

      Public
      Decompiler of LLVM bitcode to C
      C++
      MIT License
      1492130Updated Dec 4, 2025Dec 4, 2025
    • A library providing utility function commonly useful when working with LLVM framework.
      C++
      Other
      0000Updated Dec 4, 2025Dec 4, 2025
    • JetKlee

      Public
      JetKlee Symbolic Virtual Machine
      C++
      Other
      722530Updated Nov 24, 2025Nov 24, 2025
    • Provides integrtion of Fizzer to Test-Comp's pipeline.
      Python
      Other
      0000Updated Nov 22, 2025Nov 22, 2025
    • libcps

      Public
      A C++ library providing Coverage problem solver.
      C++
      Other
      0000Updated Sep 15, 2025Sep 15, 2025
    • Java tool providing visual exploration of JetKlee's progress during symbolic execution of a program
      Java
      Other
      0000Updated May 16, 2025May 16, 2025
    • Configurable instrumentation of LLVM bitcode
      C++
      MIT License
      113570Updated Mar 31, 2025Mar 31, 2025
    • Static program slicer used in Symbiotic tool
      C++
      MIT License
      11200Updated Mar 31, 2025Mar 31, 2025
    • binsalat

      Public
      A collection of tools supporting regression testing of Sala interpreter and input-flow analysis.
      C++
      Other
      0000Updated Mar 31, 2025Mar 31, 2025
    • jtoc

      Public
      Translation of Java 8 programs to C through JBMC's GOTO programs
      Python
      0000Updated Dec 18, 2024Dec 18, 2024
    • cbmc

      Public
      C Bounded Model Checker
      C++
      Other
      288000Updated Dec 18, 2024Dec 18, 2024
    • BenchStore is an ASP.NET Core MVC application used for storing results from BenchExec
      C#
      Other
      1200Updated Nov 4, 2024Nov 4, 2024
    • predator

      Public
      A Shape Analyzer Based on Symbolic Memory Graphs
      C
      GNU General Public License v3.0
      22100Updated Nov 13, 2023Nov 13, 2023
    • Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. Cloned from https://gitlab.fi.muni.cz/xchalup4/slowbeas…
      Python
      MIT License
      0200Updated Nov 30, 2022Nov 30, 2022
    • A lightweight LLVM python binding for writing JIT compilers
      Python
      BSD 2-Clause "Simplified" License
      355000Updated Nov 30, 2022Nov 30, 2022
    • sbt-dg

      Public
      [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
      C++
      MIT License
      141100Updated Nov 30, 2022Nov 30, 2022
    • mamato

      Public
      View and browse results from benchexec
      Python
      28110Updated Nov 8, 2022Nov 8, 2022
    • 169000Updated Nov 21, 2021Nov 21, 2021
    • A script to utilize multiple concurrently-running Predator Analyzers with various setup
      Python
      GNU General Public License v3.0
      2000Updated Jan 28, 2020Jan 28, 2020
    • ra

      Public
      Range analysis for sbt-instrumentation plugin.
      C++
      2400Updated Apr 1, 2019Apr 1, 2019
    • distexec

      Public
      Distribute experiments with Symbiotic over computers
      Python
      MIT License
      0100Updated Dec 7, 2018Dec 7, 2018
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.