ChinaNuke / Point-to-Analysis

Related projects ⓘ

Alternatives and complementary repositories for Point-to-Analysis

• ChinaNuke / ast-interpreter
  国科大编译作业：基于Clang的C语言解释执行器
  ☆39Updated 2 years ago
• ChinaNuke / llvm-pass
  国科大编译作业二：LLVM Pass处理函数调用
  ☆17Updated 3 years ago
• ycdxsb / ast-interpreter
  AST interpreter with clang 5.0.0 and llvm 5.0.0
  ☆14Updated 4 years ago
• zihaoli-cn / compiler-paper-reading
  A group of students who are interested in Compilers, and they want to improve themselves together.
  ☆26Updated 2 years ago
• Enna1 / LLVM-Study-Notes
  Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0
  ☆138Updated 10 months ago
• UofT-EcoSystem / CSCD70
  CSCD70 Compiler Optimization
  ☆245Updated last year
• sycuricon / MorFuzz
  Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation
  ☆23Updated 10 months ago
• bin2415 / llvm_DFGPass
  llvm Data Flow Graph dump
  ☆37Updated 3 years ago
• PL97 / LLVM-CFG-DFG-pass
  Simple passes for CFG and DFG analysis
  ☆40Updated 5 years ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆162Updated last year
• imdea-software / LLVM_Instrumentation_Pass
  ☆23Updated 8 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台
  ☆200Updated 2 years ago
• bigconvience / LLVM-Essentials-13
  learn javassist by example
  ☆31Updated 2 years ago
• helesta-compiler / helesta
  A fast compiler for SysY code
  ☆18Updated 2 years ago
• fudan-ppi / Rule_based_DBT
  Rule-based Dynamic Binary Translator
  ☆12Updated 4 years ago
• dtcxzyw / cmmc
  An unofficial reference implementation of the C Minus Minus Compiler
  ☆46Updated 2 months ago
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆36Updated 10 months ago
• JacyCui / cpp-static-analyzer
  A Simple CPP Static Analysis Framework
  ☆19Updated last year
• SparkYHY / Linux-Driver-Runtime
  ☆13Updated last year
• Chocopy-LLVM / chocopy-llvm
  A repo to store the compiler project
  ☆68Updated last year
• SVF-tools / Software-Security-Analysis
  Software Security Analysis Course
  ☆34Updated last month
• dian-lun-lin / GenFuzz
  GPU-enabled Hardware Fuzzer using Genetic Algorithm
  ☆16Updated last year
• oscomp / 2021oscomp-best-kernel-design-impl
  2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高
  ☆46Updated 2 years ago
• vul337 / cfi-eval
  ☆20Updated 4 years ago
• Compass-All / SHELTER
  ☆32Updated last year
• compsec-snu / difuzz-rtl
  ☆74Updated 5 months ago
• Smilencelsy / Control-Flow-Integrity
  Sth in Control-Flow Integrity
  ☆19Updated 5 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 …
  ☆51Updated 5 years ago
• wildoranges / MahoShojo
  2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品
  ☆26Updated 2 years ago
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆21Updated 3 months ago