mengrj Goto Github PK

aflnet

AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)

click

The Click modular router: fast modular packet processing and analysis

cs6213-project

dqlite

Embeddable, replicated and fault tolerant SQL engine.

etcd

Jepsen tests for etcd

hopper

Hopper is a tool for generating fuzzing test cases for libraries automatically using interpretative fuzzing.

ijon

jepsen

A framework for distributed systems verification, with fault injection

jepsen.tikv

Jepsen test for TiKV

llvm-tutor

A collection of out-of-tree LLVM passes for teaching and learning

llvmpasses

Simple trivial example on how to run an LLVM module and LLVM function pass

log

maple

A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for testing concurrent programs.

mengrj.github.io

nfqueue-rs

Netfilter NFQUEUE high-level bindings (rust)

parmesan

ParmeSan: Sanitizer-guided Greybox Fuzzing

peachpro

Dockerfile for peach pro with everything set up as needed

raft-c

C implementation of the Raft consensus protocol

razzer

A Kernel fuzzer focusing on race bugs

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, Streams, HyperLogLogs, Bitmaps.

redisraft

A Redis Module that make it possible to create a consistent Raft cluster from multiple Redis instances.

redpanda

Tests for the Redpanda distributed queue

scylla-jepsen

Jepsen tests for ScyllaDB

scylladb

NoSQL data store using the seastar framework, compatible with Apache Cassandra

scylladb-pack

snapfuzz-artefact

stateafl

StateAFL: A Greybox Fuzzer for Stateful Network Servers

student-fuzzer

Template repository for CS5219

tikv

Distributed transactional key-value database, originally created to complement TiDB