delcypher

docker-stats-on-exit-shim

Simple tool to record Docker container statistics before its destruction

llvm-lit

A read only mirror of LLVM's llvm-lit code

docker-ubuntu-cxx-dev

Docker image for development of C++ applications on Ubuntu

iscp-0.2

Interactive Secure Copy. This uses rsync to do file transfers using SSH.

srg-fuzzing-demo

Demonstration of AFL and LibFuzzer to Software Reliability Group at Imperial College London

symex-fp-bench

fp-benchmarks-imperial

fp-benchmarks-aachen

klee

KLEE Symbolic Virtual Machine

llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.

smt2coral

srg-tutorial-smt-strategy-challenge

whole-program-llvm

A wrapper script to build whole-program LLVM bitcode files

apple-llvm-project

boogie

Boogie

compiler-rt

Mirror of official compiler-rt git repository located at http://llvm.org/git/compiler-rt. Updated every five minutes.

docker-makefile-demo

docker-py

A Python library for the Docker Engine API

googletest

Google Test

gosat

SMT solver for the theory of floating-point arithmetic

klee-analysis

klee-runner

klee.github.io

opensource

Contains documentation and scripts related to the management of Open Source at Docker

rubber

Rubber — a wrapper for LaTeX and friends

runc

runc container cli tools

stp

Simple Theorem Prover.

sv-benchmarks

unrarall

bash script to unrar everything and cleanup in a given directory

z3

The Z3 Theorem Prover