Alternatives and similar repositories for binary-tsan

Users that are interested in binary-tsan are comparing it to the libraries listed below

• nyx-fuzz / spec-fuzzer
  ☆43Updated 3 years ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆84Updated 2 years ago
• IntelLabs / kafl.fuzzer
  kAFL Fuzzer
  ☆34Updated 4 months ago
• AFLplusplus / libafl_qemu_artifacts
  ☆24Updated last year
• nyx-fuzz / KVM-Nyx
  ☆37Updated last year
• AFLplusplus / libafl_paper_artifacts
  ☆19Updated 2 years ago
• sekuryti / zafl
  ☆14Updated 3 years ago
• fuzztruction / fuzztruction-net
  ☆42Updated last month
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆17Updated 2 years ago
• joernio / ghidra2cpg
  Code Property Graph (CPG) frontend for binary applications and libraries.
  ☆91Updated 3 years ago
• FoRTE-Research / HeXcite
  High-Efficiency eXpanded Coverage for Improved Testing of Executables
  ☆23Updated 3 years ago
• UVA-LavaLab / BigMap
  BigMap integration on AFL++
  ☆15Updated 4 years 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
  ☆28Updated 2 years ago
• RUB-SysSec / gadget_synthesis
  Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains
  ☆56Updated 3 years ago
• eurecom-s3 / predictive-cs-fuzzing
  Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper
  ☆28Updated last year
• bajinsheng / ReZZan
  ☆38Updated 2 years ago
• HackOvert / BinaryNinjaSnippets
  Code snippets for Binary Ninja's Python API
  ☆29Updated 4 years ago
• atredis-jordan / libafl-workshop-blog
  Resources accompanying the LibAFL workshop blog post
  ☆19Updated 10 months ago
• Jinmo / IDA8-Alleycat
  Alleycat plugin by devttys0, ported to IDA 8
  ☆11Updated 6 months ago
• doyensec / vbox-fuzz
  Companion to the "Introduction to VirtualBox security research" Blog Post
  ☆30Updated 3 years ago
• srg-imperial / SnapFuzz
  ☆75Updated 2 years ago
• andreafioraldi / libafl_quickjs_fuzzing
  An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing
  ☆46Updated last year
• MelbourneFuzzingHub / aflteam
  AFLTeam Collaborative Parallel Fuzzing
  ☆74Updated 2 years ago
• eqv / aflq_fast_cov
  A fast binary coverage measurement tool based on AFL's Qemu mode
  ☆33Updated 4 years ago
• nyx-fuzz / packer
  ☆20Updated last month
• 0xf4b1 / bsod-kernel-fuzzing
  BSOD: Binary-only Scalable fuzzing Of device Drivers
  ☆161Updated 3 years ago
• OMH4ck / mufuzz
  ☆36Updated last year
• degrigis / symbion-use-cases
  Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution
  ☆15Updated 3 years ago
• OSUSecLab / SelectiveTaint
  ☆79Updated 3 years ago
• FOX-Fuzz / FOX
  Coverage-guided Fuzzing as Online Stochastic Control
  ☆54Updated 8 months ago