sfu-rsl / symrustc
SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.
☆10Updated last year
Alternatives and similar repositories for symrustc:
Users that are interested in symrustc are comparing it to the libraries listed below
- Fuzz Rust code with LibAFL☆58Updated last year
- Library for manipulating gdb in batch mode☆20Updated last year
- ☆82Updated last month
- ROSA: Finding Backdoors with Fuzzing☆21Updated last month
- ☆42Updated 3 years ago
- ☆37Updated 2 years ago
- LibAFL components for stateful fuzzing☆47Updated 2 years ago
- A fuzzer setup to fuzz libc functions.☆15Updated 2 years ago
- LibAFL-based snapshot fuzzer to fuzz TMNF's RPC interface. Includes a free RCE exploit!☆41Updated 2 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 4 months ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆63Updated last month
- An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing☆43Updated last year
- Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.☆20Updated last month
- An approximate solver for concolic execution☆18Updated 3 years ago
- ☆15Updated last year
- Practical fuzzing tutorials and training☆31Updated 9 months ago
- ☆34Updated last year
- ☆14Updated 3 years ago
- kAFL Fuzzer☆33Updated last month
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆19Updated last month
- ☆18Updated last year
- Fuzzers implemented with libafl to evaluate several techniques on fuzzbench☆13Updated 6 months ago
- Cross-platform harnessing framework designed for Nyx-based fuzzers☆14Updated 2 months ago
- Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"☆15Updated 2 months ago
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆119Updated 10 months ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- Challenging testcases for fuzzers☆70Updated last year
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 10 months ago
- The Use of Likely Invariants as Feedback for Fuzzers☆89Updated 3 years ago
- Custom Agent and Tooling for using Nyx with Firefox☆18Updated 8 months ago