Pinned Repositories
ChatAFL
Large Language Model guided Protocol Fuzzing (NDSS'24)
mallory
Greybox Fuzzing of Distributed Systems (CCS'23)
EnvFuzz
Fuzz anything with Program Environment Fuzzing
LTL-Fuzzer
Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
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
ConVul
Detecting Concurrency Memory Corruption Vulnerabilities (ESEC/FSE 2019)
mengrj's Repositories
mengrj/aflnet
AFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)
mengrj/click
The Click modular router: fast modular packet processing and analysis
mengrj/cs6213-project
mengrj/dqlite
Embeddable, replicated and fault tolerant SQL engine.
mengrj/etcd
Jepsen tests for etcd
mengrj/ijon
mengrj/jepsen
A framework for distributed systems verification, with fault injection
mengrj/jepsen.tikv
Jepsen test for TiKV
mengrj/llvm-tutor
A collection of out-of-tree LLVM passes for teaching and learning
mengrj/LLVMPasses
Simple trivial example on how to run an LLVM module and LLVM function pass
mengrj/Hopper
Hopper is a tool for generating fuzzing test cases for libraries automatically using interpretative fuzzing.
mengrj/log
mengrj/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/mengrj.github.io
mengrj/nfqueue-rs
Netfilter NFQUEUE high-level bindings (rust)
mengrj/parmesan
ParmeSan: Sanitizer-guided Greybox Fuzzing
mengrj/peachpro
Dockerfile for peach pro with everything set up as needed
mengrj/raft-c
C implementation of the Raft consensus protocol
mengrj/razzer
A Kernel fuzzer focusing on race bugs
mengrj/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.
mengrj/redisraft
A Redis Module that make it possible to create a consistent Raft cluster from multiple Redis instances.
mengrj/redpanda
Tests for the Redpanda distributed queue
mengrj/scylla-jepsen
Jepsen tests for ScyllaDB
mengrj/scylladb
NoSQL data store using the seastar framework, compatible with Apache Cassandra
mengrj/scylladb-pack
mengrj/SnapFuzz-artefact
mengrj/stateafl
StateAFL: A Greybox Fuzzer for Stateful Network Servers
mengrj/student-fuzzer
Template repository for CS5219
mengrj/tikv
Distributed transactional key-value database, originally created to complement TiDB