Giters
statica (staticafi)

statica

staticafi

Organization data from Github https://github.com/staticafi

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

Location:Brno, Czech Republic

GitHub:@staticafi

statica's repositories

symbiotic

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

Language:PythonLicense:MITStargazers:320Issues:11Issues:176

llvm2c

Decompiler of LLVM bitcode to C

Language:C++Stargazers:86Issues:5Issues:43

sbt-instrumentation

Configurable instrumentation of LLVM bitcode

Language:C++License:MITStargazers:34Issues:8Issues:26

sbt-slicer

Static program slicer used in Symbiotic tool

Language:C++License:MITStargazers:11Issues:6Issues:0

mamato

View and browse results from benchexec

Language:PythonStargazers:8Issues:5Issues:28

fizzer

Experimental implementation of gray-box program fuzzing.

Language:CLicense:NOASSERTIONStargazers:5Issues:0Issues:0

JetKlee

JetKlee Symbolic Virtual Machine

Language:C++License:NOASSERTIONStargazers:4Issues:4Issues:5

dg

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

Language:C++License:MITStargazers:3Issues:1Issues:0

ra

Range analysis for sbt-instrumentation plugin.

Language:C++Stargazers:3Issues:5Issues:0

BenchStore

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

Language:C#License:NOASSERTIONStargazers:2Issues:6Issues:0

predator

A Shape Analyzer Based on Symbolic Memory Graphs

Language:CLicense:GPL-3.0Stargazers:2Issues:1Issues:0

satt

Static analysis tools tester

Language:PythonStargazers:2Issues:2Issues:39

distexec

Distribute experiments with Symbiotic over computers

Language:PythonLicense:MITStargazers:1Issues:4Issues:0

sbt-dg

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

Language:C++License:MITStargazers:1Issues:1Issues:0

sbt-slowbeast

Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. Cloned from https://gitlab.fi.muni.cz/xchalup4/slowbeast

Language:PythonLicense:MITStargazers:1Issues:6Issues:0

sv-benchmarks

Stargazers:0Issues:3Issues:0

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Language:PythonLicense:Apache-2.0Stargazers:0Issues:4Issues:0

binsalac

A collection of three programs. Two of them form a compiler from LLVM to Sala and the third is Sala program optimizer.

Language:C++License:NOASSERTIONStargazers:0Issues:5Issues:0

binsalat

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

cbmc

C Bounded Model Checker

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

datsalat

A package of benchmarks used as regression tests for Sala compiler, interpreter and input-flow analysis.

Language:CLicense:NOASSERTIONStargazers:0Issues:5Issues:0

FizzerProgressExplorer

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

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

JetKleeProgressExplorer

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

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

jtoc

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

Language:PythonStargazers:0Issues:0Issues:0

libllvmutl

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

libsala

A library providing representation of Sala programs with their interpretation and analysis.

Language:C++License:NOASSERTIONStargazers:0Issues:5Issues:0

libutility

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

predatorhp

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

Language:PythonLicense:GPL-3.0Stargazers:0Issues:2Issues:0

sbt-llvmlite

A lightweight LLVM python binding for writing JIT compilers

Language:PythonLicense:BSD-2-ClauseStargazers:0Issues:1Issues:0