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
• UofT-EcoSystem / CSCD70
  CSCD70 Compiler Optimization
  ☆258Updated 2 years ago
• PL97 / LLVM-CFG-DFG-pass
  Simple passes for CFG and DFG analysis
  ☆44Updated 6 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 5 months ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆194Updated 2 years ago
• No-SF-Work / miniSysY-tutorial
  BUAASE2019级的编译实验的实验指导与实验安排
  ☆120Updated 2 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
  ☆42Updated 5 years ago
• dtcxzyw / cmmc
  An unofficial reference implementation of the C Minus Minus Compiler
  ☆60Updated 6 months ago
• nkgongxl / ucoreonrv
  ☆51Updated 4 years ago
• SparkYHY / Linux-Driver-Runtime
  ☆15Updated last year
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆212Updated 4 months 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
• bigconvience / LLVM-Essentials-13
  learn javassist by example
  ☆31Updated 3 years ago
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆139Updated 3 years ago
• oscomp / 2021oscomp-best-kernel-design-impl
  2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高
  ☆48Updated 3 years ago
• sycuricon / MorFuzz
  Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation
  ☆30Updated 3 months ago
• mktrm / SecSMT_Artifact
  The artifact for SecSMT paper -- Usenix Security 2022
  ☆27Updated 2 years ago
• 0x5ec1ab / gpu-tlb
  ☆64Updated 3 months ago
• seclab-ucr / LLift
  The source code of project "LLift" (Enhancing static analysis with LLM)
  ☆73Updated last year
• wuzhanglin / llvm-IR-examples
  Some examples for using LLVM to generate IR
  ☆41Updated 2 years ago
• ycdxsb / ast-interpreter
  AST interpreter with clang 5.0.0 and llvm 5.0.0
  ☆14Updated 5 years ago
• helesta-compiler / helesta
  A fast compiler for SysY code
  ☆18Updated 2 years ago
• Compass-All / SHELTER
  ☆34Updated 2 years ago
• compsec-snu / difuzz-rtl
  ☆91Updated last year
• lijiansong / clang-llvm-tutorial
  clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analys…
  ☆273Updated 3 years ago
• ha0lyu / ChipFuzz
  Fuzz everything! Now let's fuzz chip!
  ☆17Updated this week
• icsnju / visualinux
  A visualized debugging framework to aid in understanding the Linux kernel.
  ☆145Updated this week
• pku-minic / compiler-dev
  Compiler development environment.
  ☆19Updated 7 months ago