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
• gcc17 / ics196
  ICS seminar 6, 2019 Fall
  ☆11Updated 5 years ago
• xiongyingfei / xiongyingfei.github.io
  ☆76Updated last week
• pku-minic / MiniVM
  MiniVM is a virtual machine for executing Eeyore/Tigger IR.
  ☆35Updated 3 years ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆205Updated last month
• 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
• abcdabcd987 / compiler2016
  Toy Compiler for Compiler 2016 Course
  ☆90Updated 8 years ago
• sukrutrao / SAT-Solver-DPLL
  A simple SAT solver that implements the DPLL algorithm with unit resolution
  ☆45Updated 5 years ago
• Keytoyze / Sword_emulator
  Java implementation of MIPS instruction set and graphical emulator. Designed for ZJU SWORD-II.
  ☆34Updated 4 years ago
• lujiefsi / CrashTuner
  CrashTuner(SOSP2019)
  ☆30Updated 5 years ago
• OSH-2018 / OSH-2018.github.io
  课程主页
  ☆23Updated 5 years ago
• thu-cs-lab / thinpad_top
  Project template for Artix-7 based Thinpad board
  ☆46Updated last year
• Trinkle23897 / os2019
  操作系统 2019 ucore labs
  ☆46Updated 5 years ago
• xlab-uiuc / cflow
  Flow-based configuration analysis
  ☆9Updated 3 years ago
• grievejia / andersen
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆219Updated 5 years ago
• zhangboyang / NEMU-public
  public version of zby's ics program-assignment (NJU ics2015 PA)
  ☆26Updated 8 years ago
• Shlw / Books-and-Exercises
  Book reading
  ☆15Updated 4 years ago
• mlzeng / CSC2020-USTC-FlammingMyCompiler
  全国大学生计算机系统能力大赛编译系统设计赛项目
  ☆242Updated 3 years ago
• zihaoli-cn / compiler-paper-reading
  A group of students who are interested in Compilers, and they want to improve themselves together.
  ☆26Updated 2 years ago
• MrVPlusOne / Singularity
  Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis
  ☆21Updated 3 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆17Updated 4 years ago
• jiangyy / njuthesis
  南京大学山寨毕业论文模版
  ☆122Updated 6 years ago
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• xiehuc / llvm-pred
  predicate scientific program performance model using llvm
  ☆28Updated 9 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
• kobayashi-compiler / kobayashi-compiler
  An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021
  ☆61Updated 2 months ago
• fkd19 / mips-cpu
  ☆12Updated 7 years ago
• barghouthi / cs704
  CS 704 course website - Principles of Programming Languages
  ☆67Updated 2 years ago
• Shouling / SANDP
  Seminar 2016
  ☆25Updated 8 months ago