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
  ☆259Updated 2 years ago
• gilgamsh / GenshinCPU
  Our repository for NSCSCC
  ☆19Updated 6 months ago
• ha0lyu / ChipFuzz
  Fuzz everything! Now let's fuzz chip!
  ☆20Updated last week
• dtcxzyw / cmmc
  An unofficial reference implementation of the C Minus Minus Compiler
  ☆60Updated 6 months ago
• ycdxsb / ast-interpreter
  AST interpreter with clang 5.0.0 and llvm 5.0.0
  ☆14Updated 5 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.
  ☆26Updated 3 years ago
• sycuricon / MorFuzz
  Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation
  ☆30Updated 4 months ago
• 0x5ec1ab / gpu-tlb
  ☆65Updated 4 months ago
• No-SF-Work / miniSysY-tutorial
  BUAASE2019级的编译实验的实验指导与实验安排
  ☆119Updated 2 years ago
• Compass-All / SHELTER
  ☆34Updated 2 years ago
• Enna1 / LLVM-Study-Notes
  Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0
  ☆146Updated last year
• helesta-compiler / helesta
  A fast compiler for SysY code
  ☆18Updated 3 years ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆196Updated 2 years ago
• compsec-snu / difuzz-rtl
  ☆93Updated last year
• cyyself / cemu
  A simple full system emulator. Currently support RV64IMACSU and MIPS32 and LoongArch32. Capable of booting Linux. Suitable for education …
  ☆117Updated 9 months ago
• nkgongxl / ucoreonrv
  ☆51Updated 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 5 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆213Updated 5 months ago
• wildoranges / MahoShojo
  2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品
  ☆27Updated 3 years ago
• SparkYHY / Linux-Driver-Runtime
  ☆15Updated 2 years ago
• pku-minic / compiler-dev
  Compiler development environment.
  ☆19Updated 8 months ago
• mktrm / SecSMT_Artifact
  The artifact for SecSMT paper -- Usenix Security 2022
  ☆27Updated 2 years ago
• Compass-All / CCS22-StrongBox
  ☆33Updated 2 years ago
• TrivialCompiler / TrivialCompiler
  A toy compiler written in C++17 that translates SysY (a C-like toy language) into ARM-v7a assembly.
  ☆139Updated 4 years ago
• dian-lun-lin / GenFuzz
  GPU-enabled Hardware Fuzzer using Genetic Algorithm
  ☆17Updated 2 years ago
• icsnju / visualinux
  A visualized debugging framework to aid in understanding the Linux kernel.
  ☆156Updated last week
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler targeting armv7 and risc-v32
  ☆61Updated 6 months ago