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
• jkrshnmenon / arbiter
  ☆231Updated last year
• ucsb-seclab / heapster
  Identify and test the security of dynamic memory allocators in monolithic firmware images
  ☆44Updated 2 years ago
• zyingp / desockmulti
  A de-socketing tool that is 10x faster than desock (Preeny) in fuzzing network protocols
  ☆91Updated 3 years ago
• rchtsang / ffxe
  ☆26Updated last year
• RUB-SysSec / Nyx
  USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types
  ☆204Updated 3 years ago
• kuc001 / EmTaint
  ☆40Updated 2 years ago
• wupco / KLAUS
  A framework to test the correctness of the Linux kernel patch.
  ☆22Updated 2 years ago
• NSSL-SJTU / SFuzz
  ☆90Updated 6 months ago
• sefcom / operation-mango-public
  ☆84Updated 4 months ago
• sefcom / greenhouse
  ☆64Updated last year
• HexHive / datAFLow
  A data-flow-guided fuzzer
  ☆123Updated 2 years ago
• carter-yagemann / ARCUS
  Symbolic Execution Over Processor Traces
  ☆123Updated last year
• sefcom / KHeaps
  Playing for {K (H) eaps}: Understanding and Improving Linux Kernel Exploit Reliability
  ☆89Updated 3 years ago
• Markakd / GREBE
  ☆79Updated 2 years ago
• strongcourage / fuzzing-targets
  A collection of widely-fuzzed targets
  ☆46Updated 6 years ago
• strongcourage / uafbench
  UAF Fuzzing Benchmark
  ☆56Updated 4 years ago
• yasong / Awesome-Info-Inferring-Binary
  A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.
  ☆111Updated last month
• RiS3-Lab / DICE-DMA-Emulation
  DICE: Automatic Emulation of DMA Input Channels for Dynamic Firmware Analysis
  ☆63Updated last year
• MCUSec / uEmu
  A Universal MCU Firmware Emulator for Dynamic Analysis without Any Hardware Dependence.
  ☆142Updated last year
• hustdebug / v-shuttle
  ☆93Updated last year
• lt-asset / resym
  For our CCS24 paper 🏆 "ReSym: Harnessing LLMs to Recover Variable and Data Structure Symbols from Stripped Binaries" by Danning Xie, Zhu…
  ☆110Updated 5 months ago
• cuhk-seclab / SelectFuzz
  ☆70Updated last year
• RiS3-Lab / p2im
  This is the source code for P2IM paper (accepted to Usenix Security'20)
  ☆139Updated last year
• XtEsco / Snipuzz
  a blackbox network fuzzer for IoT devices
  ☆55Updated last year
• Ember-IO / Ember-IO-Fuzzing
  ☆10Updated 2 years ago
• zyw-200 / EQUAFL
  ☆30Updated 2 years ago
• KRoverSystems / KRover
  A Symbolic Execution Engine for Dynamic Kernel Analysis
  ☆32Updated last year
• RUB-SysSec / aurora
  Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation
  ☆159Updated 3 years ago
• abiondo / afl
  My fork of American Fuzzy Lop
  ☆61Updated 7 years ago