Alternatives and similar repositories for slicer

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

• fengcc / ProgramSlicing

  View on GitHub
  Simply C program slicing tool in C
  ☆10Jun 19, 2015Updated 10 years ago
• Ljiee / fairfuzz

  View on GitHub
  ☆14Oct 11, 2017Updated 8 years ago
• zhangyz / llvm-slicing

  View on GitHub
  Symbolic Program Slicing with LLVM
  ☆84Aug 3, 2020Updated 5 years ago
• cherry-wb / vulnerability-scanner

  View on GitHub
  The official repository of the Hex-Rays IDA Pro vulnerability scanner plugin.
  ☆20Apr 30, 2013Updated 12 years ago
• kengiter / RuntimeASLR

  View on GitHub
  Re-randomizing the memory layout of a process at runtime
  ☆21May 28, 2016Updated 9 years ago
• staticafi / sbt-slicer

  View on GitHub
  Static program slicer used in Symbiotic tool
  ☆12Mar 31, 2025Updated 10 months ago
• pagabuc / kernographer

  View on GitHub
  Back to the Whiteboard: a Principled Approach for the Assessment and Design of Memory Forensic Techniques (Usenix '19)
  ☆14Aug 16, 2019Updated 6 years ago
• tracer-x / TRACER

  View on GitHub
  TRACER Symbolic Execution Tool
  ☆28Jun 16, 2020Updated 5 years ago
• ucsb-seclab / autofacts

  View on GitHub
  Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools
  ☆14Feb 19, 2019Updated 6 years ago
• Baoqi / uni-trace

  View on GitHub
  Universal Trace Debugger Engine. Currently, only support windbg on Windows, but the long term goal is to also support GDB or LLDB
  ☆13Dec 30, 2013Updated 12 years ago
• klecko / mips-fuzz

  View on GitHub
  MIPS32 emulation fuzzing
  ☆13Nov 17, 2020Updated 5 years ago
• 2igosha / presentations

  View on GitHub
  ☆12May 6, 2020Updated 5 years ago
• agustingianni / instrumentation

  View on GitHub
  Assorted pintools
  ☆30Mar 30, 2020Updated 5 years ago
• ssdemajia / vxafl

  View on GitHub
  VxWorks Fuzzer with AFL and QEMU
  ☆49Apr 12, 2020Updated 5 years ago
• davidhildenbrand / drob

  View on GitHub
  DROB (Dynamic Rewriter and Optimizer of Binary code)
  ☆26Feb 19, 2020Updated 5 years ago
• AFLplusplus / libafl_fuzzbench

  View on GitHub
  Fuzzers implemented with libafl to evaluate several techniques on fuzzbench
  ☆13Oct 10, 2024Updated last year
• mxmssh / netafl

  View on GitHub
  winAFL patch to enable network-based apps fuzzing
  ☆37Sep 14, 2018Updated 7 years ago
• CTSRD-SOAAP / soaap

  View on GitHub
  Security-Oriented Analysis of Application Programs
  ☆13Dec 14, 2018Updated 7 years ago
• messlabnyu / irqdebloat

  View on GitHub
  ☆14Dec 10, 2021Updated 4 years ago
• liuml07 / giri

  View on GitHub
  Dynamic Program Slicing in LLVM Compiler
  ☆143Aug 1, 2018Updated 7 years ago
• HexHive / SyzRisk

  View on GitHub
  Official repository of SyzRisk [ASIA CCS'24]
  ☆12Aug 20, 2024Updated last year
• seclab-yonsei / intriguer

  View on GitHub
  Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing
  ☆35Nov 22, 2023Updated 2 years ago
• HexHive / HexVASAN

  View on GitHub
  ☆17Apr 18, 2019Updated 6 years ago
• tl455047 / Saryn

  View on GitHub
  Saryn: Fuzzing with Taint Inference
  ☆16Jun 16, 2022Updated 3 years ago
• season-lab / SymFusion

  View on GitHub
  SymFusion: Hybrid Instrumentation for Concolic Execution
  ☆18May 5, 2023Updated 2 years ago
• eschulte / clang-mutate

  View on GitHub
  Manipulate C-family ASTs with Clang
  ☆69Jun 18, 2014Updated 11 years ago
• bajinsheng / ReZZan

  View on GitHub
  ☆39Sep 27, 2022Updated 3 years ago
• avatartwo / avatar-qemu

  View on GitHub
  QEmu backend for avatar²
  ☆22Mar 29, 2025Updated 10 months ago
• thelumberjhack / VxFuzz

  View on GitHub
  Some VxWorks fuzzing examples using Cisco-Kitty and WDBDbg framework
  ☆19Mar 13, 2016Updated 9 years ago
• vusec / instrumentation-infra

  View on GitHub
  An extendable and flexible infrastructure for program instrumentation.
  ☆24Sep 15, 2025Updated 4 months ago
• BinaryAnalysisPlatform / bap-pintraces

  View on GitHub
  ☆19Dec 19, 2019Updated 6 years ago
• Kyle-Kyle / Pwn

  View on GitHub
  pwn database
  ☆18Jan 6, 2019Updated 7 years ago
• 95616ARG / pikos_popl2020

  View on GitHub
  Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation
  ☆16Aug 24, 2020Updated 5 years ago
• mchalupa / dg

  View on GitHub
  [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
  ☆524May 21, 2025Updated 8 months ago
• arvindrao7589 / augmented-afl-fuzz

  View on GitHub
  ☆17Mar 2, 2018Updated 7 years ago
• gaoxiang9430 / Fix2Fit

  View on GitHub
  ☆20Jun 23, 2021Updated 4 years ago
• dbgbench / dbgbench.github.io

  View on GitHub
  DBGBench Website:
  ☆19Feb 24, 2021Updated 4 years ago
• Henrygwb / deepvsa

  View on GitHub
  ☆43Jun 14, 2022Updated 3 years ago
• TJAndHisStudents / TaintFlowAnalysis

  View on GitHub
  Gives tainting information for the provided bitcode file generated from binary.
  ☆44Sep 27, 2017Updated 8 years ago