sfu-rsl / symrustc

Related projects ⓘ

Alternatives and complementary repositories for symrustc

• anfedotoff / gdb-command
  Library for manipulating gdb in batch mode
  ☆20Updated 8 months ago
• AFLplusplus / cargo-libafl
  Fuzz Rust code with LibAFL
  ☆58Updated last year
• novafacing / practical-fuzzing
  Practical fuzzing tutorials and training
  ☆29Updated 4 months ago
• novafacing / libc-fuzzer
  A fuzzer setup to fuzz libc functions.
  ☆15Updated 2 years ago
• 0xricksanchez / AFL_Runner
  Scaling best-practice AFLPlusPlus fuzzing campaigns made easy
  ☆52Updated this week
• IntelLabs / kafl.fuzzer
  kAFL Fuzzer
  ☆33Updated 2 months ago
• sekuryti / zafl
  ☆14Updated 3 years ago
• AFLplusplus / libafl_fuzzbench
  Fuzzers implemented with libafl to evaluate several techniques on fuzzbench
  ☆11Updated last month
• vusec / triereme
  ☆15Updated last year
• andreafioraldi / libafl_quickjs_fuzzing
  An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing
  ☆43Updated 8 months ago
• bajinsheng / ReZZan
  ☆36Updated 2 years ago
• nyx-fuzz / spec-fuzzer
  ☆38Updated 2 years ago
• AFLplusplus / StdFuzzer
  StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL
  ☆47Updated 4 months ago
• elManto / LLVMPassesForSecurity
  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
• StephanvanSchaik / dynamorio-rs
  Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.
  ☆20Updated 2 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆17Updated 2 years ago
• TeumessianFox / ASPFuzz
  ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation
  ☆27Updated last year
• nyx-fuzz / libnyx
  ☆81Updated 2 months ago
• adrianherrera / ball-larus-fuzz
  AFL++ using the Ball-Larus path profiling algorithm for coverage feedback
  ☆12Updated 2 years ago
• tlspuffin / tlspuffin
  A Dolev-Yao-model-guided fuzzer for TLS
  ☆135Updated this week
• seclab-ucr / K-LEAK
  ☆16Updated 10 months ago
• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆107Updated this week
• eurecom-s3 / predictive-cs-fuzzing
  Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper
  ☆24Updated 8 months ago
• R-Fuzz / jigsaw
  JIGSAW is a fuzzing-based path constraint solver.
  ☆68Updated 5 months ago
• rbran / sleigh-rs
  Ghidra Sleight (PCode) parsing library in Rust.
  ☆38Updated this week
• pr0me / SAFIREFUZZ
  Same-Architecture Firmware Rehosting and Fuzzing
  ☆104Updated last year
• AFLplusplus / tinyinst-rs
  Rust bindings for googleprojectzero/TinyInst
  ☆16Updated last year
• fkie-cad / butterfly
  LibAFL components for stateful fuzzing
  ☆43Updated 2 years ago
• eurecom-s3 / invscov
  The Use of Likely Invariants as Feedback for Fuzzers
  ☆87Updated 2 years ago