Alternatives and similar repositories for angr_taint_engine

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

• Pamplemousse / bits_of_static_binary_analysis
  Material and examples for a presentation on static binary analysis.
  ☆45Updated 4 years ago
• ucsb-seclab / heapster
  Identify and test the security of dynamic memory allocators in monolithic firmware images
  ☆46Updated 2 years ago
• zyingp / desockmulti
  A de-socketing tool that is 10x faster than desock (Preeny) in fuzzing network protocols
  ☆93Updated 3 years ago
• jkrshnmenon / arbiter
  ☆234Updated last year
• HexHive / datAFLow
  A data-flow-guided fuzzer
  ☆124Updated 2 years ago
• strongcourage / uafbench
  UAF Fuzzing Benchmark
  ☆57Updated 4 years ago
• hustdebug / v-shuttle
  ☆97Updated last year
• Markakd / GREBE
  ☆80Updated 2 years ago
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆124Updated last year
• rchtsang / ffxe
  ☆27Updated last year
• sefcom / operation-mango-public
  ☆87Updated 6 months ago
• sefcom / KHeaps
  Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability
  ☆91Updated 3 years ago
• NSSL-SJTU / SFuzz
  ☆92Updated 7 months ago
• RUB-SysSec / Nyx
  USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types
  ☆206Updated 3 years ago
• kuc001 / EmTaint
  ☆43Updated 2 years ago
• RiS3-Lab / DICE-DMA-Emulation
  DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis
  ☆64Updated 2 years ago
• strongcourage / fuzzing-targets
  A collection of widely-fuzzed targets
  ☆46Updated 6 years ago
• sefcom / greenhouse
  ☆65Updated 2 years ago
• zyw-200 / EQUAFL
  ☆30Updated 2 years ago
• yasong / Awesome-Info-Inferring-Binary
  A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.
  ☆113Updated 3 weeks ago
• lt-asset / resym
  For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…
  ☆116Updated 7 months ago
• junxzm1990 / x86-sok
  ☆147Updated last year
• fiberx / fiber
  Source-binary patch presence test system.
  ☆84Updated 3 years ago
• cuhk-seclab / SelectFuzz
  ☆69Updated last year
• wupco / KLAUS
  A framework to test the correctness of the Linux kernel patch.
  ☆22Updated 2 years ago
• favocado / Favocado
  A DOM fuzzer.
  ☆80Updated 3 years ago
• TUDA-SSL / DARWIN
  Code for the NDSS'23 paper "DARWIN: Survival of the Fittest Fuzzing Mutators"
  ☆33Updated 2 years ago
• unifuzz / dockerized_fuzzing
  Run fuzzing experiments in Docker
  ☆32Updated 4 years ago
• plummm / SyzScope
  SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.
  ☆82Updated 9 months ago
• abiondo / afl
  My fork of American Fuzzy Lop
  ☆61Updated 7 years ago