Alternatives and similar repositories for pointerAnalysis

Users that are interested in pointerAnalysis are comparing it to the libraries listed below

• hsupu / ucas-hwk-pointer-analysis
  程序分析大作业：使用 SOOT 框架，实现 Java 上的静态指针分析
  ☆37Updated 6 years ago
• xiongyingfei / xiongyingfei.github.io
  ☆76Updated 3 weeks ago
• pku-minic / MiniVM
  MiniVM is a virtual machine for executing Eeyore/Tigger IR.
  ☆35Updated 3 years ago
• xlab-uiuc / cflow
  Flow-based configuration analysis
  ☆9Updated 3 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆208Updated 2 months ago
• gcc17 / ics196
  ICS seminar 6, 2019 Fall
  ☆11Updated 5 years ago
• secure-software-engineering / PointerBench
  A points-to and alias analysis benchmark suite
  ☆41Updated 6 years ago
• schuay / advanced_multiprocessor_programming
  VU Advanced Multiprocessor Programming, TU Wien, SS 2013
  ☆38Updated 11 years ago
• lujiefsi / CrashTuner
  CrashTuner(SOSP2019)
  ☆30Updated 5 years ago
• wierton / ncc-tools
  A naive interpreter for IR of NJU compiler principle lab3, to accelerate interpretation, the ir will be compiled to machine-friendly bina…
  ☆15Updated 4 years ago
• LC-John / MiniC-Compiler
  A PKU-lab aiming for a compiler to compile miniC source code to RISC-V executable
  ☆17Updated 6 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 4 years ago
• Vbhaskar125 / COOL-Compiler
  Coursera Course (Stanford CS143)
  ☆25Updated 11 years ago
• pku-compiler-design-spring / CompilerProject-2020Spring
  Course Project. PKU Compiler Design. Spring, 2020.
  ☆51Updated 4 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• grievejia / andersen
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆221Updated 5 years ago
• LC-John / Notes-and-homeworks
  PKU EECS courses
  ☆63Updated 5 years ago
• YeXiaoRain / JOS_LAB_MIT_2017
  代码MIT 2016-2017年JOS LAB(6/6) 过程记录文档为SJTU+MIT
  ☆38Updated 6 years ago
• jiangyy / njuthesis
  南京大学山寨毕业论文模版
  ☆123Updated 6 years ago
• vlab-cs-ucsb / ABC
  ☆28Updated this week
• victornicolet / parsynt
  Automatic parallel divide-and-conquer programs synthesizer
  ☆16Updated 3 years ago
• pku-minic / open-test-cases
  Open test cases of PKU compiler course.
  ☆25Updated 3 years ago
• drzchen / movec
  Movec: A Tool for the Monitoring and Verification of C Programs
  ☆22Updated last year
• Graspan / graspan-java
  This is java implementation of Graspan.
  ☆20Updated last year
• pwwpche / CSE231-LLVM_Program_Analysis
  Program Analysis framework using LLVM. Course project of Advanced Compiler
  ☆17Updated 8 years ago
• test-jitcomp / Artemis
  A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)
  ☆53Updated 2 months ago
• abcdabcd987 / compiler2016
  Toy Compiler for Compiler 2016 Course
  ☆91Updated 9 years ago
• ITanCh / Compiler-NJU
  Compiler-NJU
  ☆14Updated 10 years ago
• NotformeCC / mathininformatics
  ☆23Updated 5 years ago
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆52Updated 3 months ago