Alternatives and similar repositories for ProgramSlicing:

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

• CAFA1 / CAFA
  CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage
  ☆31Updated 6 years ago
• uds-se / pFuzzer
  The parser-directed Fuzzer
  ☆38Updated 4 years ago
• yahnik / TaintTracking
  Implementation of Taint Tracking in LLVM compiler.
  ☆10Updated 12 years ago
• fabsx00 / python-joern
  A python interface to joern (deprecated).
  ☆34Updated 6 years ago
• plum-umd / fuzzing-benchmarks
  The collection of programs for evaluating fuzzing techniques
  ☆20Updated 7 years ago
• behzad-a / Dytan
  Dytan Taint Analysis Framework on Linux 64-bit
  ☆46Updated 10 years ago
• dariosharp / SZpy
  Z3 Symbolic Execution python
  ☆28Updated 7 years ago
• TJAndHisStudents / TaintFlowAnalysis
  Gives tainting information for the provided bitcode file generated from binary.
  ☆44Updated 7 years ago
• yujokang / EPEx
  Tool for detecting error handling bugs
  ☆22Updated 8 years ago
• m-zakeri / iust_deep_fuzz
  Advanced file format fuzzer based-on deep neural language models.
  ☆41Updated 2 years ago
• axt / afl-cov
  AFL fuzzing coverage CFG visualization
  ☆31Updated 7 years ago
• s3team / bincfp
  Efficient Multi-threaded Binary Code Control Flow Profiling Pintool
  ☆22Updated 8 years ago
• arvindrao7589 / augmented-afl-fuzz
  ☆17Updated 7 years ago
• bitsecurerlab / afl-sensitive
  Sensitive and Collaborative Fuzzing with AFL
  ☆27Updated 5 years ago
• codelion / pa.llvm
  Program Analysis for LLVM
  ☆36Updated 8 years ago
• m000 / dtracker
  DataTracker: A Pin tool for collecting high-fidelity data provenance from unmodified programs.
  ☆92Updated 7 years ago
• dbrumley / redebug
  ReDeBug Source Code.
  ☆24Updated last year
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆17Updated 4 years ago
• nettrino / slowfuzz
  ☆53Updated 7 years ago
• nettrino / IntFlow
  IntFlow is an LLVM-based arithmetic error detection tool that combines static information flow tracking and dynamic program analysis
  ☆16Updated 10 years ago
• Ljiee / fairfuzz
  ☆14Updated 7 years ago
• BinaryAnalysisPlatform / bap-pintraces
  ☆19Updated 5 years ago
• test-pipeline / orthrus
  A tool to manage, conduct, and assess dictionary-based fuzz testing
  ☆64Updated 7 years ago
• FoRTE-Research / FoRTE-FuzzBench
  FoRTE-Research's fuzzing benchmarks
  ☆56Updated 6 years ago
• ThePatrickStar / fuzzer-data-collector
  ☆26Updated last year
• S2E / libs2eplugins
  S2E plugins library
  ☆17Updated 5 years ago
• jrmuizel / kemufuzzer
  Automatically exported from code.google.com/p/kemufuzzer
  ☆26Updated 10 years ago
• anhvvcs / corana
  Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) o…
  ☆28Updated last year
• CAFA1 / long-driller
  ☆44Updated 4 years ago
• RUB-SysSec / PrimGen
  ACSAC 2018 paper: Towards Automated Generation of Exploitation Primitives for Web Browsers
  ☆15Updated 6 years ago