sfu-rsl / symrustc
SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.
☆9Updated last year
Related projects ⓘ
Alternatives and complementary repositories for symrustc
- Fuzz Rust code with LibAFL☆57Updated last year
- Library for manipulating gdb in batch mode☆20Updated 7 months ago
- ☆14Updated last year
- Practical fuzzing tutorials and training☆29Updated 3 months ago
- Rust bindings for googleprojectzero/TinyInst☆15Updated last year
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy☆51Updated this week
- kAFL Fuzzer☆33Updated 2 months ago
- A fuzzer setup to fuzz libc functions.☆16Updated 2 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆47Updated 3 months ago
- Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.☆20Updated 2 years ago
- LibAFL components for stateful fuzzing☆43Updated 2 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆12Updated 2 years ago
- ☆36Updated 2 years ago
- ☆38Updated 2 years ago
- ☆13Updated 3 years ago
- An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing☆43Updated 8 months ago
- Same-Architecture Firmware Rehosting and Fuzzing☆103Updated last year
- 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
- An approximate solver for concolic execution☆17Updated 2 years ago
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆26Updated last year
- ☆54Updated 8 months ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- ☆35Updated last year
- ☆81Updated last month
- ☆16Updated 9 months ago
- A Dolev-Yao-model-guided fuzzer for TLS☆133Updated this week
- A binary analysis framework written in Rust.☆19Updated 10 months ago
- ☆33Updated 11 months ago
- ☆24Updated 2 months ago