-
National University of Singapore
- https://mengrj.github.io/
-
-
student-fuzzer Public
Forked from dylanjwolff/competition-fuzzerTemplate repository for CS5219
Python MIT License UpdatedMay 30, 2024 -
aflnet Public
Forked from aflnet/aflnetAFLNet: A Greybox Fuzzer for Network Protocols (https://thuanpv.github.io/publications/AFLNet_ICST20.pdf)
C Apache License 2.0 UpdatedFeb 4, 2024 -
Hopper Public
Forked from FuzzAnything/HopperHopper is a tool for generating fuzzing test cases for libraries automatically using interpretative fuzzing.
Rust Other UpdatedNov 14, 2023 -
redis Public
Forked from redis/redisRedis 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,…
C BSD 3-Clause "New" or "Revised" License UpdatedApr 16, 2023 -
Distributed transactional key-value database, originally created to complement TiDB
Rust Apache License 2.0 UpdatedApr 12, 2023 -
redisraft Public
Forked from RedisLabs/redisraftA Redis Module that make it possible to create a consistent Raft cluster from multiple Redis instances.
C Other UpdatedApr 12, 2023 -
raft-c Public
Forked from canonical/raftC implementation of the Raft consensus protocol
C Other UpdatedApr 12, 2023 -
dqlite Public
Forked from canonical/dqliteEmbeddable, replicated and fault tolerant SQL engine.
C Other UpdatedApr 12, 2023 -
llvm-tutor Public
Forked from banach-space/llvm-tutorA collection of out-of-tree LLVM passes for teaching and learning
C++ MIT License UpdatedOct 29, 2022 -
scylladb Public
Forked from scylladb/scylladbNoSQL data store using the seastar framework, compatible with Apache Cassandra
C++ GNU Affero General Public License v3.0 UpdatedAug 11, 2022 -
jepsen Public
Forked from jepsen-io/jepsenA framework for distributed systems verification, with fault injection
Clojure UpdatedAug 4, 2022 -
-
stateafl Public
Forked from stateafl/stateaflStateAFL: A Greybox Fuzzer for Stateful Network Servers
C Apache License 2.0 UpdatedJun 6, 2022 -
-
redpanda Public
Forked from jepsen-io/redpandaTests for the Redpanda distributed queue
Clojure Other UpdatedApr 22, 2022 -
etcd Public
Forked from jepsen-io/etcdJepsen tests for etcd
Clojure Eclipse Public License 2.0 UpdatedFeb 2, 2022 -
scylla-jepsen Public
Forked from jepsen-io/scyllaJepsen tests for ScyllaDB
Clojure UpdatedJan 3, 2022 -
-
-
parmesan Public
Forked from vusec/parmesanParmeSan: Sanitizer-guided Greybox Fuzzing
C++ Apache License 2.0 UpdatedSep 15, 2021 -
peachpro Public
Forked from vanhauser-thc/peachproDockerfile for peach pro with everything set up as needed
Dockerfile UpdatedSep 14, 2021 -
click Public
Forked from dranov/clickThe Click modular router: fast modular packet processing and analysis
C++ Other UpdatedAug 10, 2021 -
jepsen.tikv Public
Forked from ziyi-yan/jepsen.tikvJepsen test for TiKV
Clojure Apache License 2.0 UpdatedAug 4, 2021 -
LLVMPasses Public
Forked from JKRT/LLVMPassesSimple trivial example on how to run an LLVM module and LLVM function pass
C++ MIT License UpdatedMar 5, 2021 -
-
nfqueue-rs Public
Forked from chifflier/nfqueue-rsNetfilter NFQUEUE high-level bindings (rust)
Rust GNU General Public License v2.0 UpdatedApr 7, 2020 -
razzer Public
Forked from compsec-snu/razzerA Kernel fuzzer focusing on race bugs
C UpdatedJul 10, 2019 -
maple Public
Forked from jieyu/mapleA dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for testing concurrent programs.
C++ Apache License 2.0 UpdatedMar 31, 2017