Alternatives and similar repositories for Point-to-Analysis

Users that are interested in Point-to-Analysis are comparing it to the libraries listed below

• ChinaNuke / llvm-pass
  国科大编译作业二：LLVM Pass处理函数调用
  ☆17Updated 3 years ago
• ChinaNuke / ast-interpreter
  国科大编译作业：基于Clang的C语言解释执行器
  ☆39Updated 3 years ago
• PL97 / LLVM-CFG-DFG-pass
  Simple passes for CFG and DFG analysis
  ☆44Updated 6 years ago
• dtcxzyw / cmmc
  An unofficial reference implementation of the C Minus Minus Compiler
  ☆59Updated 5 months ago
• UofT-EcoSystem / CSCD70
  CSCD70 Compiler Optimization
  ☆256Updated 2 years ago
• SparkYHY / Linux-Driver-Runtime
  ☆15Updated last year
• No-SF-Work / miniSysY-tutorial
  BUAASE2019级的编译实验的实验指导与实验安排
  ☆120Updated 2 years ago
• Enna1 / LLVM-Study-Notes
  Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0
  ☆145Updated last year
• gilgamsh / GenshinCPU
  Our repository for NSCSCC
  ☆19Updated 4 months ago
• Compass-All / SHELTER
  ☆34Updated last year
• oscomp / 2021oscomp-best-kernel-design-impl
  2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高
  ☆48Updated 3 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
• nju-mips / nemu-mips32
  An emulator to run mips executable and to differentially validate noop.
  ☆7Updated last month
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆193Updated 2 years ago
• 0x5ec1ab / gpu-tlb
  ☆62Updated 2 months ago
• helesta-compiler / helesta
  A fast compiler for SysY code
  ☆18Updated 2 years ago
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆138Updated 3 years ago
• pku-minic / compiler-dev
  Compiler development environment.
  ☆19Updated 7 months ago
• ycdxsb / ast-interpreter
  AST interpreter with clang 5.0.0 and llvm 5.0.0
  ☆14Updated 5 years ago
• P2Tree / LLVM_for_cpu0
  This is a tutorial to learn LLVM, I realize a backend to compiler machine code for cpu0 which is a simple RISC cpu.
  ☆249Updated 3 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆211Updated 4 months ago
• icsnju / visualinux
  A visualized debugging framework to aid in understanding the Linux kernel.
  ☆135Updated this week
• meton-robean / CFG_DFG_generator
  generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG
  ☆42Updated 5 years ago
• wildoranges / MahoShojo
  2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品
  ☆27Updated 2 years ago
• mktrm / SecSMT_Artifact
  The artifact for SecSMT paper -- Usenix Security 2022
  ☆27Updated 2 years ago
• AlwenXXD / nscscc2021
  龙芯杯21个人赛作品
  ☆35Updated 3 years ago
• Compass-All / CCS22-StrongBox
  ☆32Updated 2 years ago
• sycuricon / MorFuzz
  Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation
  ☆29Updated 2 months ago
• lijiansong / clang-llvm-tutorial
  clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…
  ☆272Updated 3 years ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago