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 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆205Updated 3 weeks ago
• xlab-uiuc / cflow
  Flow-based configuration analysis
  ☆9Updated 3 years ago
• xiongyingfei / xiongyingfei.github.io
  ☆76Updated this week
• ITanCh / Compiler-NJU
  Compiler-NJU
  ☆14Updated 10 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
  ☆217Updated 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
• wanderingd19 / WanderingD19
  上海交通大学D19宿舍搬迁事件启示录
  ☆74Updated 5 years ago
• gcc17 / ics196
  ICS seminar 6, 2019 Fall
  ☆11Updated 5 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 4 years ago
• secure-software-engineering / PointerBench
  A points-to and alias analysis benchmark suite
  ☆40Updated 6 years ago
• rustanlys / rupta
  A Pointer Analysis Framework for Rust
  ☆50Updated 2 months ago
• pku-minic / MiniVM
  MiniVM is a virtual machine for executing Eeyore/Tigger IR.
  ☆35Updated 3 years ago
• Shouling / SANDP
  Seminar 2016
  ☆25Updated 7 months ago
• mlzeng / CSC2020-USTC-FlammingMyCompiler
  全国大学生计算机系统能力大赛编译系统设计赛项目
  ☆243Updated 3 years ago
• jiangyy / njuthesis
  南京大学山寨毕业论文模版
  ☆123Updated 6 years ago
• zhangboyang / NEMU-public
  public version of zby's ics program-assignment (NJU ics2015 PA)
  ☆26Updated 8 years ago
• lujiefsi / CrashTuner
  CrashTuner(SOSP2019)
  ☆30Updated 5 years ago
• april1989 / Incremental_Points_to_Analysis
  This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA
  ☆24Updated 2 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
• LC-John / RISCV-Simulator
  PKU computer organization and architecture RISC-V Simulator LAB
  ☆33Updated 6 years ago
• chyyuu / compiler_course_info
  compiler course info
  ☆248Updated last year
• QinlinChen / MathNotes
  Some undergraduate math notes
  ☆17Updated 4 years ago
• sukrutrao / SAT-Solver-DPLL
  A simple SAT solver that implements the DPLL algorithm with unit resolution
  ☆45Updated 5 years ago
• chenyxuan / PintOS
  system 2019 project
  ☆14Updated 4 years ago
• ACMClassCourses / MS108-2020
  ☆17Updated 3 years ago
• Seterplus / CSAPP
  CSAPP Labs
  ☆99Updated 8 years ago
• thu-cs-lab / thinpad_top
  Project template for Artix-7 based Thinpad board
  ☆46Updated last year
• 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