Alternatives and similar repositories for unthread:

Users that are interested in unthread are comparing it to the libraries listed below

• AFLplusplus / StdFuzzer
  StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL
  ☆48Updated 2 months ago
• HexHive / HexVASAN
  ☆16Updated 5 years ago
• revng / qemu-upstream
  Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…
  ☆14Updated last week
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 5 years ago
• sdasgup3 / validating-binary-decompilation
  Scalable Validator for Binary Lifters
  ☆54Updated 4 years ago
• atos-tools / qemu-plugins-tutorial
  Tutorial to write qemu plugins
  ☆31Updated 7 years ago
• abenkhadra / bcov
  Static instrumentation tool for efficient binary-level coverage analysis.
  ☆145Updated 4 years ago
• AFLplusplus / qemuafl
  This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.
  ☆81Updated last week
• nyx-fuzz / libnyx
  ☆83Updated 5 months ago
• AFLplusplus / AFL-Snapshot-LKM
  A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.
  ☆136Updated 3 years ago
• lifting-bits / fennec
  Rewriting functions in compiled binaries using McSema
  ☆88Updated 5 years ago
• lifting-bits / klee
  KLEE Symbolic Execution Engine
  ☆60Updated 5 years ago
• IntelLabs / kafl.linux
  Linux kernel branches for confidential compute research
  ☆17Updated last week
• bajinsheng / ReZZan
  ☆36Updated 2 years ago
• season-lab / fuzzy-sat
  An approximate solver for concolic execution
  ☆17Updated 2 years ago
• sslab-gatech / perf-fuzz
  ☆96Updated 5 years ago
• regehr / llvm-dataflow-info
  print information from LLVM dataflow analyses
  ☆13Updated 5 years ago
• seclab-ucr / IncreLux
  Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel
  ☆29Updated 2 years ago
• kaist-hacking / HardsHeap
  HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators
  ☆34Updated 3 years ago
• HexHive / Gramatron
  Coverage-guided grammar aware fuzzer that uses grammar automatons
  ☆66Updated 3 years ago
• ShiftLeftSecurity / llvm2cpg
  LLVM meets Code Property Graphs
  ☆90Updated 3 years ago
• subwire / libmatch
  ☆19Updated last year
• evilpan / dataflow-pass
  A LLVM Pass with runtime dataflow sanitization
  ☆32Updated 5 years ago
• androidoffsec / baremetal_kasan
  ☆43Updated 11 months ago
• vlad902 / kernel-uninitialized-memory-checker
  A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.
  ☆59Updated 6 years ago
• thebabush / reflex
  Flex 'em lexers
  ☆39Updated 4 years ago
• purdue-secomp-lab / MEDS
  ☆37Updated 2 years ago
• trailofbits / blight
  A framework for instrumenting build tools
  ☆84Updated 2 months ago
• intel / xom-switch
  ☆55Updated 2 years ago
• AFLplusplus / tinyinst-rs
  Rust bindings for googleprojectzero/TinyInst
  ☆16Updated last year