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 week
- ☆37Updated 2 years ago
- ☆42Updated 2 years ago
- ROSA: Finding Backdoors with Fuzzing☆19Updated last month
- An approximate solver for concolic execution☆18Updated 3 years ago
- Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.☆20Updated 3 weeks ago
- Fuzzers implemented with libafl to evaluate several techniques on fuzzbench☆13Updated 5 months ago
- An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing☆43Updated last year
- kAFL Fuzzer☆33Updated 3 weeks ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆14Updated 2 years ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆59Updated 3 weeks ago
- ☆15Updated last year
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 3 months ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆17Updated 2 weeks ago
- A structured fuzzing framework built in Rust☆26Updated 2 years ago
- ☆14Updated 3 years ago
- Practical fuzzing tutorials and training☆31Updated 8 months ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆69Updated 10 months ago
- Rust bindings for googleprojectzero/TinyInst☆18Updated 3 weeks ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆66Updated 3 years ago
- ☆12Updated 2 years ago
- LibAFL components for stateful fuzzing☆47Updated 2 years ago
- ☆30Updated 2 years ago
- A fuzzer setup to fuzz libc functions.☆15Updated 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
- ☆25Updated last year