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 11 months ago
- ☆41Updated 2 years ago
- ☆36Updated 2 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆13Updated 2 years ago
- Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.☆20Updated 3 years ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆56Updated 2 months ago
- ☆83Updated 5 months ago
- ☆15Updated last year
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 2 months ago
- An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing☆43Updated 11 months ago
- Fuzzers implemented with libafl to evaluate several techniques on fuzzbench☆13Updated 4 months ago
- ☆12Updated this week
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆65Updated 2 years ago
- ☆34Updated 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
- A Dolev-Yao-model-guided fuzzer for TLS☆138Updated this week
- A fuzzer setup to fuzz libc functions.☆15Updated 2 years ago
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆27Updated last year
- An approximate solver for concolic execution☆17Updated 2 years ago
- Challenging testcases for fuzzers☆68Updated 11 months ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- kAFL Fuzzer☆33Updated this week
- LibAFL components for stateful fuzzing☆44Updated 2 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆88Updated 3 years ago
- ☆24Updated last year
- ☆24Updated 10 months ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- Practical fuzzing tutorials and training☆30Updated 7 months ago