Software Reliability Group

SaBRe

Load-time selective binary rewriting

SnapFuzz

GrayC

GrayC: Greybox Fuzzing of Compilers and Analysers for C

klee-float

KLEE with floating point support (unmaintained)

SnapFuzz-artefact

covrig

Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software

compiler-bug-impact

diffanalyze

kdalloc-issta-2023

kitsune-vsftpd

The Very Secure FTP Daemon patched for dynamic updating with Kitsune.

busybox

git://busybox.net/busybox.git

coreutils

fuzzbench

FuzzBench - Fuzzer benchmarking as a service.

htop

htop is an interactive text-mode process viewer for Unix systems. It aims to be a better 'top'.

kitsune-core

Kitsune runtime, driver, ktcc, xfgen, documentation, and test suite.

kitsune-memcached

Memcached patched for dynamic updating with Kitsune.

kitsune-redis

The Redis store patched for dynamic updating with Kitsune.

klee-fp

KLEE-FP / KLEE-CL

klee-fp-opencl

klee-fp-opencv

klee-fp-parboil-opencl

klee-fp-uclibc

memcached

memcached development tree

mutt

nginx

An official read-only mirror of http://hg.nginx.org/nginx/ which is updated hourly. Pull requests on GitHub cannot be accepted and will be automatically closed. The proper way to submit changes to nginx is via the nginx development mailing list, see http://nginx.org/en/docs/contributing_changes.html

norman

Norman, a C language normalizer

openssh-portable

Portable OpenSSH

redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, HyperLogLogs, Bitmaps.

SMTSampler

SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints

vim

The official Vim repository