Alternatives and similar repositories for binary-tsan

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

• sekuryti / zafl
  ☆14Updated 3 years ago
• nyx-fuzz / spec-fuzzer
  ☆42Updated 3 years ago
• doyensec / vbox-fuzz
  Companion to the "Introduction to VirtualBox security research" Blog Post
  ☆30Updated 3 years ago
• eurecom-s3 / predictive-cs-fuzzing
  Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper
  ☆28Updated last year
• seclab-ucr / SyzGenPlusPlus
  ☆13Updated last year
• season-lab / SymFusion
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆17Updated 2 years ago
• ambergroup-labs / papora
  ☆14Updated 2 years ago
• AFLplusplus / libafl_qemu_artifacts
  ☆24Updated last year
• seclab-ucr / K-LEAK
  ☆19Updated 2 weeks ago
• Jinmo / IDA8-Alleycat
  Alleycat plugin by devttys0, ported to IDA 8
  ☆10Updated 5 months ago
• nyx-fuzz / KVM-Nyx
  ☆36Updated last year
• adrian-rt / superion-mutator
  Superion Mutator for AFLPlusPlus
  ☆31Updated last year
• vandaltool / vandalir
  ☆24Updated 2 years ago
• nyx-fuzz / packer
  ☆20Updated 9 months ago
• seclab-ucr / SyzBridge
  SyzBridge is a research project that adapts Linux upstream PoCs to downstream distributions. It provides rich interfaces that allow you t…
  ☆35Updated 6 months ago
• buszk / drifuzz-concolic
  ☆12Updated 3 years ago
• zolutal / kheap_sift
  A tool combining DWARF info and source to search for kernel heap objects
  ☆24Updated last year
• Dynamic-Rabbits / Taint-Evaluator
  A suite of experiments for evaluating open-source binary taint trackers.
  ☆32Updated 3 years ago
• SocietyMaster / AFLIoT
  ☆19Updated 5 years ago
• IntelLabs / kafl.fuzzer
  kAFL Fuzzer
  ☆33Updated 3 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
• OctavioGalland / afllive
  ☆14Updated 4 months ago
• degrigis / symbion-use-cases
  Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution
  ☆15Updated 3 years ago
• bajinsheng / ReZZan
  ☆38Updated 2 years ago
• FoRTE-Research / HeXcite
  High-Efficiency eXpanded Coverage for Improved Testing of Executables
  ☆23Updated 2 years ago
• RUB-SysSec / gadget_synthesis
  Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains
  ☆56Updated 3 years ago
• HUSTSeclab / KernelTestingPapers
  Papers related with kernel papers
  ☆13Updated 2 years ago
• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆83Updated 2 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆30Updated 3 years ago
• OMH4ck / mufuzz
  ☆36Updated last year