statica
Statica - static analysis group at Faculty of Informatics at Masaryk University in Brno, Czech Republic
Brno, Czech Republic
Pinned Repositories
dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
JetKlee
JetKlee Symbolic Virtual Machine
llvm2c
Decompiler of LLVM bitcode to C
mamato
View and browse results from benchexec
ra
Range analysis for sbt-instrumentation plugin.
satt
Static analysis tools tester
sbt-fizzer
Experimental implementation of gray-box program fuzzing.
sbt-instrumentation
Configurable instrumentation of LLVM bitcode
sbt-slicer
Static program slicer used in Symbiotic tool
symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
statica's Repositories
staticafi/symbiotic
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
staticafi/llvm2c
Decompiler of LLVM bitcode to C
staticafi/sbt-instrumentation
Configurable instrumentation of LLVM bitcode
staticafi/sbt-slicer
Static program slicer used in Symbiotic tool
staticafi/mamato
View and browse results from benchexec
staticafi/JetKlee
JetKlee Symbolic Virtual Machine
staticafi/dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
staticafi/ra
Range analysis for sbt-instrumentation plugin.
staticafi/sbt-fizzer
Experimental implementation of gray-box program fuzzing.
staticafi/BenchStore
BenchStore is an ASP.NET Core MVC application used for storing results from BenchExec
staticafi/predator
A Shape Analyzer Based on Symbolic Memory Graphs
staticafi/satt
Static analysis tools tester
staticafi/distexec
Distribute experiments with Symbiotic over computers
staticafi/sbt-dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
staticafi/sbt-slowbeast
Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. Cloned from https://gitlab.fi.muni.cz/xchalup4/slowbeast
staticafi/sv-benchmarks
staticafi/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
staticafi/predatorhp
A script to utilize multiple concurrently-running Predator Analyzers with various setup
staticafi/sbt-llvmlite
A lightweight LLVM python binding for writing JIT compilers