Alternatives and similar repositories for Instruction_Slicer

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

• borzacchiello / naaz
  Symbolic Execution Engine based on Ghidra's PCode
  ☆84Updated 2 years ago
• Kharos102 / kafl.targets
  Target components for kAFL/Nyx Fuzzer
  ☆35Updated last year
• AFLplusplus / unicornafl
  AFL bindings for Unicorn-Engine
  ☆87Updated last month
• AFLplusplus / libafl_qemu_artifacts
  ☆26Updated last year
• alibaba-edu / Driver-Security-Analyzer
  Driver Security Analyzer
  ☆53Updated 5 years ago
• SoftSec-KAIST / NTFuzz
  NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)
  ☆108Updated 4 years ago
• seclab-ucr / SyzGen_setup
  ☆46Updated 3 years ago
• joernio / ghidra2cpg
  Code Property Graph (CPG) frontend for binary applications and libraries.
  ☆93Updated 3 years ago
• eqv / aflq_fast_cov
  A fast binary coverage measurement tool based on AFL's Qemu mode
  ☆33Updated 4 years ago
• thebabush / afl-libprotobuf-mutator
  AFLplusplus + libprotobuf-mutator = love
  ☆83Updated 5 years ago
• JonathanSalwan / ttexplore
  TTexplore is a library that performs path exploration on binary code using symbolic execution
  ☆80Updated 2 years ago
• vanhauser-thc / dynTaintTracer
  a taint tracer based on DynamoRIO, currently ARM only
  ☆40Updated 5 years ago
• Jinmo / IDA8-Alleycat
  Alleycat plugin by devttys0, ported to IDA 8
  ☆11Updated 9 months ago
• gamozolabs / proc_mem_ida_loader
  A /proc/mem IDA loader to snapshot a running process
  ☆164Updated 3 months ago
• AFLplusplus / qemu-libafl-bridge
  A patched QEMU that exposes an interface for LibAFL-based fuzzers
  ☆84Updated 2 weeks ago
• RUB-SysSec / gadget_synthesis
  Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains
  ☆58Updated 3 years ago
• synacktiv / Weggli_rules_SSTIC2023
  ☆30Updated 2 years ago
• SmoothHacker / Tuscan-Leather
  Linux Kernel Snapshot Fuzzer using KVM
  ☆48Updated last year
• NyaMisty / ida_kern
  Raw IDA Kernel API for IDAPython
  ☆34Updated 3 years ago
• nyx-fuzz / spec-fuzzer
  ☆43Updated 3 years ago
• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆131Updated last month
• mephi42 / ida-kallsyms
  IDA script for parsing kallsyms
  ☆83Updated 4 months ago
• HackOvert / BinaryNinjaSnippets
  Code snippets for Binary Ninja's Python API
  ☆30Updated 4 years ago
• jordan9001 / dobby2
  Build your emulation environment as needed
  ☆66Updated 4 years ago
• valour01 / ecmo
  Peripheral Transplantation to Rehost Embedded Linux kernels
  ☆16Updated 3 years ago
• umutoztunc / whitesymex
  Symbolic execution engine for Whitespace.
  ☆14Updated 4 years ago
• jhftss / IDA2Obj
  Static Binary Instrumentation
  ☆121Updated 4 years ago
• Augment-Decompiler / Control-Flow-Structuring
  ☆13Updated 3 years ago
• Learner0x5a / DataFlowAnalysis-miasm
  Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.
  ☆21Updated 3 years ago
• IntelLabs / kafl.targets
  Target components for kAFL/Nyx Fuzzer
  ☆33Updated 3 months ago