Alternatives and similar repositories for llvm_CFGPass

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

• ICSE2020-MemLock / MemLock
  MemLock: Memory Usage Guided Fuzzing
  ☆32Updated 5 years ago
• evilpan / dataflow-pass
  A LLVM Pass with runtime dataflow sanitization
  ☆32Updated 6 years ago
• purdue-secomp-lab / MEDS
  ☆37Updated 3 years ago
• GoSSIP-SJTU / TripleDoggy
  基于clang static analyzer的源码漏洞检测插件
  ☆199Updated 6 years ago
• liuml07 / giri
  Dynamic Program Slicing in LLVM Compiler
  ☆144Updated 7 years ago
• valour01 / arm_disasssembler_study
  This is the repository for paper "An Empirical Study on ARM Disassembly Tools" accepted to ISSTA 2020
  ☆64Updated 2 years ago
• evanmak / savior-source
  source code for savior fuzzer
  ☆127Updated 5 years ago
• R-Fuzz / symsan
  A LLVM Sanitizer for Symbolic Tracing
  ☆227Updated 5 months ago
• dwat3r / slicer
  Slicing tool for c++ programs using clang AST.
  ☆18Updated 4 years ago
• bin2415 / llvm_DFGPass
  llvm Data Flow Graph dump
  ☆36Updated 4 years ago
• adrianherrera / llvm-cfg-to-json
  Exports an LLVM control flow graph (CFG) (including function calls) to JSON
  ☆25Updated 4 years ago
• ChijinZ / VisFuzz
  An interactive tool for better understanding and intervening fuzzing process via real-time visualization.
  ☆79Updated 3 years ago
• fadyosman / LLVMTaintAnalysis
  An llvm pass to perform taint analysis on your code.
  ☆38Updated 6 years ago
• franchiotta / taintchecker
  Clang static checker that carries out tainting analysis.
  ☆88Updated 7 years ago
• nsumner / llvm-dataflow-analysis
  ☆66Updated 6 years ago
• SoftSec-KAIST / Ankou
  Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)
  ☆54Updated 5 years ago
• sslab-gatech / kernel-analyzer
  ☆74Updated 6 years ago
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆51Updated 12 years ago
• mc-imperial / jfs
  Constraint solver based on coverage-guided fuzzing
  ☆249Updated 2 years ago
• ChengyuSong / Kirenenko
  Super Fast Concolic Execution Engine based on Source Code Taint Tracing
  ☆102Updated 3 years ago
• k3ut0i / llvm-dataflow-graphs
  drawing graphs for llvm ir. data flow and control flow
  ☆40Updated 8 years ago
• whichbug / SVF-UAF
  A use-after-free checker based on SVF.
  ☆20Updated 8 years ago
• ssl-tud / k-miner
  K-Miner
  ☆74Updated 6 years ago
• davidtr1037 / chopper
  KLEE / CSE Project
  ☆46Updated 5 years ago
• bin2415 / llvm_CGPass
  llvm Call Graph分析
  ☆10Updated 8 years ago
• vusec / parmesan
  ParmeSan: Sanitizer-guided Greybox Fuzzing
  ☆177Updated last year
• junxzm1990 / ASAN--
  Source code of ASAN--
  ☆102Updated last year
• SVF-tools / SUPA
  SUPA
  ☆28Updated 5 years ago
• rdadolf / clangtool
  An example LLVM pass which can run automatically in clang.
  ☆38Updated 10 years ago
• umnsec / crix
  Detect missing check bugs in OS kernels
  ☆113Updated 2 years ago