Alternatives and similar repositories for CSE231-LLVM_Program_Analysis:

Users that are interested in CSE231-LLVM_Program_Analysis are comparing it to the libraries listed below

• Enna1 / LLVM-Clang-Examples
  A collection of code based on LLVM/Clang compilation libraries and tools
  ☆39Updated 5 years ago
• ycdxsb / ast-interpreter
  AST interpreter with clang 5.0.0 and llvm 5.0.0
  ☆14Updated 5 years ago
• ZJU-SEC / Readings
  ☆60Updated 2 years ago
• wcphkust / tutorialpass
  LLVM pass
  ☆22Updated 4 years ago
• bin2415 / llvm_DFGPass
  llvm Data Flow Graph dump
  ☆37Updated 3 years ago
• imdea-software / LLVM_Instrumentation_Pass
  ☆24Updated 8 years ago
• enochii / simple-pointer-analysis
  Implement pointer analysis prototype (currently including anderson, steensgard)~
  ☆15Updated 3 years ago
• alexjung / Writing-an-LLVM-Pass-using-the-new-PassManager
  This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …
  ☆52Updated 6 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆102Updated last year
• zslwyuan / LLVM-9.0-Learner-Tutorial
  A blog for LLVM(v9.0.0 or v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM and accompli…
  ☆103Updated 2 years ago
• jakobbotsch / llvm-sgx
  LLVM with SGX support
  ☆13Updated 7 years ago
• ZJU-Automated-Reasoning-Group / smtfuzz
  A fuzzer for SMT solvers
  ☆19Updated 2 months ago
• Systems-ShiftLab / pmfuzz
  A testcase generation tool for Persistent Memory Programs.
  ☆15Updated 3 years ago
• HUSTSeclab / KernelTestingPapers
  Papers related with kernel papers
  ☆13Updated 2 years ago
• melynx / peekaboo
  An standalone execution trace library built on DynamoRIO.
  ☆22Updated 2 years ago
• ChinaNuke / ast-interpreter
  国科大编译作业：基于Clang的C语言解释执行器
  ☆40Updated 3 years ago
• zhou-yuxin / kvm-ept-sample
  A tool to sample a QEMU-KVM's memory access pattern at page level based on Intel VT-x
  ☆21Updated 6 years ago
• PLSysSec / pitchfork-angr
  ☆12Updated 4 years ago
• PL97 / LLVM-CFG-DFG-pass
  Simple passes for CFG and DFG analysis
  ☆43Updated 5 years ago
• securesystemslab / PKRU-Safe
  ☆19Updated 3 years ago
• Vulnerability-Detection / z3-study
  z3 solver 学习
  ☆48Updated last year
• Xidian-ICTT-GZ / Academic_Blog
  软件工程与形式化方法相关前沿工作阅读与分享
  ☆31Updated last month
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆38Updated last year
• sycuricon / MorFuzz
  Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation
  ☆25Updated last year
• JACKIEZHAOKAI / CSE231_LLVM_Compiler_Opt
  LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…
  ☆25Updated 5 years ago
• awen-li / PCA
  A data dependence analyzer for C program
  ☆20Updated 3 years ago
• pointer-authentication / parts-llvm
  PARTS / LLVM compiler
  ☆31Updated 5 years ago
• meton-robean / CFG_DFG_generator
  generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG
  ☆41Updated 5 years ago
• kisslune / POCR
  ☆14Updated 8 months ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆38Updated 4 years ago