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
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台
  ☆202Updated 2 years ago
• xiongyingfei / xiongyingfei.github.io
  ☆76Updated this week
• 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
• ISRC-CAS / PLCT-OpenDay-2020
  PLCT实验室2020年开放日活动的演讲资料
  ☆13Updated 4 years ago
• mlzeng / CSC2020-USTC-FlammingMyCompiler
  全国大学生计算机系统能力大赛编译系统设计赛项目
  ☆242Updated 3 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 3 years ago
• Graspan / graspan-java
  This is java implementation of Graspan.
  ☆20Updated last year
• grievejia / andersen
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆216Updated 5 years ago
• secure-software-engineering / PointerBench
  A points-to and alias analysis benchmark suite
  ☆40Updated 6 years ago
• lujiefsi / CrashTuner
  CrashTuner(SOSP2019)
  ☆28Updated 5 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
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021
  ☆61Updated 3 weeks ago
• xlab-uiuc / cflow
  Flow-based configuration analysis
  ☆9Updated 3 years ago
• jiangyy / njuthesis
  南京大学山寨毕业论文模版
  ☆121Updated 6 years ago
• gcc17 / ics196
  ICS seminar 6, 2019 Fall
  ☆11Updated 5 years ago
• segviol / indigo
  A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17
  ☆43Updated 4 years ago
• RangerNJU / Software-Testing-Intro
  Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…
  ☆28Updated 4 years ago
• pku-minic / MiniVM
  MiniVM is a virtual machine for executing Eeyore/Tigger IR.
  ☆35Updated 3 years ago
• Vbhaskar125 / COOL-Compiler
  Coursera Course (Stanford CS143)
  ☆24Updated 10 years ago
• LearningOS / os_kernel_lab
  os kernel labs for operating systems course in Tsinghua University.
  ☆32Updated 2 years ago
• geeeeeeeeek / tiger
  Modern Compiler Implementation in C
  ☆40Updated 9 years ago
• schuay / advanced_multiprocessor_programming
  VU Advanced Multiprocessor Programming, TU Wien, SS 2013
  ☆38Updated 11 years ago
• ChinaNuke / Point-to-Analysis
  国科大编译作业三：Point to 分析
  ☆18Updated 3 years ago
• ustb-owl / MimiC
  MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.
  ☆58Updated 2 years ago
• jiangyy / mosaic
  The MOSAIC Operating Systems Model and Checker
  ☆167Updated last year
• pku-compiler-design-spring / CompilerProject-2020Spring
  Course Project. PKU Compiler Design. Spring, 2020.
  ☆51Updated 4 years ago
• LC-John / RISCV-Simulator
  PKU computer organization and architecture RISC-V Simulator LAB
  ☆33Updated 6 years ago
• Chocopy-LLVM / chocopy-llvm
  A repo to store the compiler project
  ☆74Updated 2 years ago
• sleepycoke / Mathematical_Logic_NJUCS
  南京大学计算机系数理逻辑课程资料
  ☆79Updated 5 years ago