Alternatives and similar repositories for dyninst-tools

Users that are interested in dyninst-tools are comparing it to the libraries listed below

• awen-li / PCA
  A data dependence analyzer for C program
  ☆20Updated 4 years ago
• vhscampos / range-analysis
  Static range analysis for the LLVM compiler infrastructure.
  ☆56Updated 6 years ago
• passlab / DCFG
  Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization
  ☆22Updated 8 years ago
• cxreet / razor
  ☆39Updated 4 years ago
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆51Updated 12 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆39Updated 5 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆47Updated 5 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 2 weeks ago
• s3team / Abacus
  Side-channel Analysis
  ☆19Updated 3 years ago
• michaelbrownuc / GadgetSetAnalyzer
  A security-oriented static binary analysis tool for comparing the quantity and quality of code reuse gadget sets in program variants.
  ☆17Updated 2 years ago
• adrianherrera / llvm-cfg-to-json
  Exports an LLVM control flow graph (CFG) (including function calls) to JSON
  ☆25Updated 4 years ago
• vusec / dangzero
  ☆18Updated 2 years ago
• shamedgh / temporal-specialization
  This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…
  ☆38Updated last year
• ssl-tud / k-miner
  K-Miner
  ☆74Updated 6 years ago
• securesystemslab / sanitizing-for-security-benchmarks
  ☆24Updated 7 years ago
• yannicnoller / hydiff
  ☆25Updated 4 years ago
• seahorn / sea-dsa
  A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
  ☆168Updated last month
• evilpan / dataflow-pass
  A LLVM Pass with runtime dataflow sanitization
  ☆32Updated 6 years ago
• purdue-secomp-lab / MEDS
  ☆37Updated 3 years ago
• ICSE2020-MemLock / MemLock
  MemLock: Memory Usage Guided Fuzzing
  ☆32Updated 5 years ago
• kevinkoo001 / CCR
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆65Updated 3 years ago
• uCFI-GATech / ucfi-compiler
  ☆17Updated 6 years ago
• melynx / peekaboo
  An standalone execution trace library built on DynamoRIO.
  ☆23Updated 3 years ago
• zhangyz / llvm-slicing
  Symbolic Program Slicing with LLVM
  ☆84Updated 5 years ago
• sslab-gatech / kernel-analyzer
  ☆74Updated 6 years ago
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆34Updated 2 years ago
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆18Updated 4 years ago
• RiS3-Lab / kubo
  Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…
  ☆25Updated 4 years ago
• Samsung / afl_cc
  Fuzzing with controlled compilation
  ☆31Updated 2 years ago
• nsumner / llvm-dataflow-analysis
  ☆66Updated 6 years ago