mchalupa

dg

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

wldbg

Capture and debug/modify Wayland connections

wayland

Core Wayland protocol and libraries [fork]

bubaak-lee

BubaaK-LEE: A fork of KLEE Symbolic Execution Engine used in the tool Bubaak

presentations

Repository with various presentations

andersen

Andersen's inclusion-based pointer analysis re-implementation in LLVM

angie

Next generation of static analyzers

bcc

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

cbmc

C Bounded Model Checker

cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

devconf19-symbiotic-presentation

Presentation of Symbiotic at DevConf 2019

distexec

dotfiles

Misc cofiguration files

dynamorio

Dynamic Instrumentation Tool Platform

fshell-w2t

SV-COMP witness to test translation based on tooling originally built for FShell

llvm-j

Java bindings for LLVM libraries

llvm2c

llvmlite

A lightweight LLVM python binding for writing JIT compilers

mcsema

x86 to machine code translation framework

nidhugg

[NOT MAINTAINED] Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently Nidhugg supports the SC, TSO, PSO, POWER and ARM (partial) memory models.

predator

A Shape Analyzer Based on Symbolic Memory Graphs

ProStatA

LLVM-based framework "Pro Statické Analyzátory"

rvhyper

RVHyper - A Runtime Verification Tool for Temporal Hyperproperties.

sbt-instrumentation

stp

Simple Theorem Prover, and efficient SMT solver for bitvectors

strace

strace is a diagnostic, debugging and instructional userspace utility for Linux

stray1

TBA

SVF

Static Value-Flow Analysis Framework for Source Code

xserver

xwayland branch of xserver