Alternatives and similar repositories for angr_taint_engine:

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

• ucsb-seclab / heapster
  Identify and test the security of dynamic memory allocators in monolithic firmware images
  ☆42Updated last year
• zyingp / desockmulti
  A de-socketing tool that is 10x faster than desock (Preeny) in fuzzing network protocols
  ☆84Updated 2 years ago
• HexHive / datAFLow
  A data-flow-guided fuzzer
  ☆119Updated last year
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆120Updated 8 months ago
• Pamplemousse / bits_of_static_binary_analysis
  Material and examples for a presentation on static binary analysis.
  ☆42Updated 4 years ago
• sefcom / operation-mango-public
  ☆68Updated 6 months ago
• kuc001 / EmTaint
  ☆34Updated last year
• sefcom / KHeaps
  Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability
  ☆80Updated 2 years ago
• sefcom / greenhouse
  ☆53Updated last year
• strongcourage / uafbench
  UAF Fuzzing Benchmark
  ☆56Updated 4 years ago
• fiberx / fiber
  Source-binary patch presence test system.
  ☆83Updated 2 years ago
• unifuzz / dockerized_fuzzing
  Run fuzzing experiments in Docker
  ☆31Updated 4 years ago
• strongcourage / fuzzing-targets
  A collection of widely-fuzzed targets
  ☆46Updated 5 years ago
• Markakd / GREBE
  ☆77Updated last year
• jkrshnmenon / arbiter
  ☆226Updated last year
• NSSL-SJTU / SFuzz
  ☆85Updated last month
• rchtsang / ffxe
  ☆23Updated 7 months ago
• RiS3-Lab / DICE-DMA-Emulation
  DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis
  ☆60Updated last year
• LyleMi / aflnw
  AFLNW: network wrapper for AFL
  ☆47Updated last year
• SmllXzBZ / AEGPaper
  Automatic Exploit Generation Paper
  ☆86Updated 3 years ago
• wupco / KLAUS
  A framework to test the correctness of the Linux kernel patch.
  ☆22Updated last year
• hustdebug / v-shuttle
  ☆90Updated last year
• VoodooChild99 / perry
  Perry: automated peripheral modeling with symbolic execution
  ☆26Updated 11 months ago
• abiondo / afl
  My fork of American Fuzzy Lop
  ☆61Updated 6 years ago
• zyw-200 / EQUAFL
  ☆28Updated last year
• XtEsco / Snipuzz
  a blackbox network fuzzer for IoT devices
  ☆53Updated 8 months ago
• elManto / REmind
  Code for UI, backend, engine and statistical analysis for RE
  ☆22Updated 3 years ago
• OMH4ck / mufuzz
  ☆34Updated last year
• TUDA-SSL / DARWIN
  Code for the NDSS'23 paper "DARWIN: Survival of the Fittest Fuzzing Mutators"
  ☆28Updated 2 years ago
• thebabush / afl-libprotobuf-mutator
  AFLplusplus + libprotobuf-mutator = love
  ☆83Updated 5 years ago