Ruijie Meng's repositories
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
dqlite
Embeddable, replicated and fault tolerant SQL engine.
etcd
Jepsen tests for etcd
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
Hopper
Hopper is a tool for generating fuzzing test cases for libraries automatically using interpretative fuzzing.
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.
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
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