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处理函数调用
  ☆18Updated 4 years ago
• ChinaNuke / ast-interpreter
  国科大编译作业：基于Clang的C语言解释执行器
  ☆43Updated 4 years ago
• UofT-EcoSystem / CSCD70
  CSCD70 Compiler Optimization
  ☆259Updated 2 years ago
• PL97 / LLVM-CFG-DFG-pass
  Simple passes for CFG and DFG analysis
  ☆44Updated 6 years ago
• zihaoli-cn / compiler-paper-reading
  A group of students who are interested in Compilers, and they want to improve themselves together.
  ☆25Updated 3 years ago
• helesta-compiler / helesta
  A fast compiler for SysY code
  ☆19Updated 3 years ago
• No-SF-Work / miniSysY-tutorial
  BUAASE2019级的编译实验的实验指导与实验安排
  ☆118Updated 3 years ago
• dtcxzyw / cmmc
  An unofficial reference implementation of the C Minus Minus Compiler
  ☆70Updated 11 months ago
• 0x5ec1ab / gpu-tlb
  ☆76Updated 8 months ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆209Updated 10 months ago
• Enna1 / LLVM-Study-Notes
  Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0
  ☆148Updated 2 years ago
• ycdxsb / ast-interpreter
  AST interpreter with clang 5.0.0 and llvm 5.0.0
  ☆14Updated 6 years ago
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆146Updated 4 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 6 years ago
• gilgamsh / GenshinCPU
  Our repository for NSCSCC
  ☆19Updated 10 months ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆205Updated 2 years ago
• bigconvience / LLVM-Essentials-13
  learn javassist by example
  ☆30Updated 4 years ago
• seclab-ucr / LLift
  The source code of project "LLift" (Enhancing static analysis with LLM)
  ☆81Updated last year
• icsnju / visualinux
  A visualized debugging framework to aid in understanding the Linux kernel.
  ☆181Updated last month
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆63Updated 11 months ago
• wildoranges / MahoShojo
  2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品
  ☆27Updated 3 years ago
• pku-minic / compiler-dev
  Compiler development environment.
  ☆21Updated 2 months ago
• ha0lyu / ChipFuzz
  Fuzz everything! Now let's fuzz chip!
  ☆30Updated last month
• renxida / iseedeaduops-poc
  Proof-of-concept for I See Dead Micro-Ops transient execution attack
  ☆14Updated 4 years ago
• mlzeng / CSC2020-USTC-FlammingMyCompiler
  全国大学生计算机系统能力大赛编译系统设计赛项目
  ☆246Updated 4 years ago
• zhliuworks / Linux-Kernel-notes
  🌟 Notes and codes for Linux Kernel (SJTU-CS353)
  ☆25Updated 4 years ago
• bin2415 / llvm_DFGPass
  llvm Data Flow Graph dump
  ☆36Updated 4 years ago
• mktrm / SecSMT_Artifact
  The artifact for SecSMT paper -- Usenix Security 2022
  ☆30Updated 3 years ago
• LyleMi / ucas
  ucas 选课脚本
  ☆88Updated 4 years ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆78Updated 3 years ago