srg-imperial Goto Github PK

busybox

git://busybox.net/busybox.git

compiler-bug-impact

coreutils

covrig

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

diffanalyze

fuzzbench

FuzzBench - Fuzzer benchmarking as a service.

grayc

GrayC: Greybox Fuzzing of Compilers and Analysers for C

grinder

Git repository data mining library.

htop

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

kdalloc-issta-2023

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.

kitsune-vsftpd

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

klee

KLEE Symbolic Virtual Machine

klee-float

KLEE with floating point support (unmaintained)

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.

sabre

Load-time selective binary rewriting

smtsampler

SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints

snapfuzz