Repositories list

• symbiotic

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

  verificationsymbolic-executionprogram-verification+ 9software-verificationslicingllvm-irverification-toolchainprogram-slicingllvminstrumentation+ 2

  Python

  •

  MIT License

  •55•313•50•8•Updated Nov 15, 2024Nov 15, 2024

• sbt-fizzer

  Public
  Experimental implementation of gray-box program fuzzing.

  C

  •

  Other

  •1•5•3•2•Updated Nov 14, 2024Nov 14, 2024

• JetKlee

  Public
  JetKlee Symbolic Virtual Machine

  C++

  •

  Other

  •684•4•3•1•Updated Nov 14, 2024Nov 14, 2024

• BenchStore

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

  C#

  •

  Other

  •1•2•0•0•Updated Nov 4, 2024Nov 4, 2024

• llvm2c

  Public
  Decompiler of LLVM bitcode to C

  cllvmdecompiler+ 2decompilationllvm-ir

  C++

  •14•81•13•0•Updated Mar 9, 2024Mar 9, 2024

• sbt-slicer

  Public
  Static program slicer used in Symbiotic tool

  C++

  •

  MIT License

  •2•11•0•0•Updated Nov 30, 2023Nov 30, 2023

• sbt-instrumentation

  Public
  Configurable instrumentation of LLVM bitcode

  memory-safetymemory-leak-detectionnull-check+ 6runtime-checkingcode-instrumentationdangling-pointer-detectionllvm-instrumentationllvminstrumentation

  C++

  •

  MIT License

  •10•33•7•2•Updated Nov 30, 2023Nov 30, 2023

• dg

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

  C++

  •

  MIT License

  •135•3•0•0•Updated Nov 30, 2023Nov 30, 2023

• predator

  Public
  A Shape Analyzer Based on Symbolic Memory Graphs

  C

  •

  GNU General Public License v3.0

  •21•2•0•0•Updated Nov 13, 2023Nov 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

  Python

  •

  MIT License

  •0•1•0•0•Updated Nov 30, 2022Nov 30, 2022

• sbt-llvmlite

  Public
  A lightweight LLVM python binding for writing JIT compilers

  Python

  •

  BSD 2-Clause "Simplified" License

  •319•0•0•0•Updated 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

  •135•1•0•0•Updated Nov 30, 2022Nov 30, 2022

• mamato

  Public
  View and browse results from benchexec

  benchexecbenchexec-frontendviewer

  Python

  •2•7•11•0•Updated Nov 8, 2022Nov 8, 2022

• sv-benchmarks

  Public
  170•0•0•0•Updated Nov 21, 2021Nov 21, 2021

• predatorhp

  Public
  A script to utilize multiple concurrently-running Predator Analyzers with various setup

  Python

  •

  GNU General Public License v3.0

  •2•0•0•0•Updated Jan 28, 2020Jan 28, 2020

• ra

  Public
  Range analysis for sbt-instrumentation plugin.

  C++

  •2•3•0•0•Updated Apr 1, 2019Apr 1, 2019

• distexec

  Public
  Distribute experiments with Symbiotic over computers

  Python

  •

  MIT License

  •0•1•0•0•Updated Dec 7, 2018Dec 7, 2018

• benchexec

  Public
  BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

  Python

  •

  Apache License 2.0

  •199•0•0•0•Updated Nov 28, 2018Nov 28, 2018

• satt

  Public
  Static analysis tools tester

  Python

  •1•2•15•0•Updated Nov 21, 2017Nov 21, 2017