statica

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

JetKlee Public
JetKlee Symbolic Virtual Machine

C++ 2 599 3 2 Updated Nov 28, 2022
sbt-dg Public
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

C++ 0 MIT 114 0 0 Updated Nov 28, 2022
sbt-llvmlite Public
A lightweight LLVM python binding for writing JIT compilers

Python 0 BSD-2-Clause 282 0 0 Updated Nov 28, 2022
symbiotic Public
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

Python 268 MIT 49 42 3 Updated Nov 28, 2022
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 0 MIT 0 0 0 Updated Nov 28, 2022
sbt-instrumentation Public
Configurable instrumentation of LLVM bitcode

C++ 29 MIT 13 7 2 Updated Nov 28, 2022
sbt-slicer Public
Static program slicer used in Symbiotic tool

C++ 7 MIT 1 0 1 Updated Nov 21, 2022
mamato Public
View and browse results from benchexec

Python 8 3 11 0 Updated Nov 8, 2022
llvm2c Public
Decompiler of LLVM bitcode to C

C++ 38 8 13 0 Updated May 18, 2022
sv-benchmarks Public

0 170 0 0 Updated Nov 21, 2021

Pinned