mchalupa Goto Github PK

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

bubaak-lee

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

cbmc

C Bounded Model Checker

cpachecker

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

devconf19-symbiotic-presentation

Presentation of Symbiotic at DevConf 2019

dg

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

distexec

dotfiles

Misc cofiguration files

dynamorio

Dynamic Instrumentation Tool Platform

filib

FiLib is a simple library containing misc ADT and functions

fshell-w2t

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

haskell

Homeworks, notes (functional programming seminar) and misc programs in haskell

llvm-j

Java bindings for LLVM libraries

llvm-slicing

Symbolic Program Slicing with LLVM

llvm2c

llvmlite

A lightweight LLVM python binding for writing JIT compilers

llvmslicer

Static Slicer for LLVM

mcsema

x86 to machine code translation framework

misc

Various scripts or files

mutter

Wayland branch of Mutter

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.

pb173

pb173 (Kernel Modules Developement) course examples

predator

A Shape Analyzer Based on Symbolic Memory Graphs

presentations

Repository with various presentations

prostata

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

pythonlab

rvhyper

RVHyper - A Runtime Verification Tool for Temporal Hyperproperties.