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
• pku-minic / MiniVM
  MiniVM is a virtual machine for executing Eeyore/Tigger IR.
  ☆35Updated 3 years ago
• xiongyingfei / xiongyingfei.github.io
  ☆76Updated 3 weeks ago
• thufv / CMinor-Verifier
  2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
  ☆210Updated 3 months ago
• gcc17 / ics196
  ICS seminar 6, 2019 Fall
  ☆11Updated 5 years ago
• ITanCh / Compiler-NJU
  Compiler-NJU
  ☆14Updated 10 years ago
• schuay / advanced_multiprocessor_programming
  VU Advanced Multiprocessor Programming, TU Wien, SS 2013
  ☆38Updated 11 years ago
• OrderLab / violet
  Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration
  ☆17Updated 4 years ago
• pku-compiler-design-spring / CompilerProject-2020Spring
  Course Project. PKU Compiler Design. Spring, 2020.
  ☆51Updated 5 years ago
• Vbhaskar125 / COOL-Compiler
  Coursera Course (Stanford CS143)
  ☆25Updated 11 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 / cflow
  Flow-based configuration analysis
  ☆9Updated 3 years ago
• secure-software-engineering / PointerBench
  A points-to and alias analysis benchmark suite
  ☆41Updated 6 years ago
• NotformeCC / mathininformatics
  ☆23Updated 5 years ago
• jieyu / concurrency-bugs
  A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if yo…
  ☆60Updated 12 years ago
• Apogee-Research / STAC
  Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program
  ☆27Updated 7 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
• 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…
  ☆16Updated 5 years ago
• ustc-pldpa / 2018s
  ☆18Updated 6 years ago
• dpankratz / TVMFuzz
  TVMFuzz: fuzzing tensor-level intermediate representation in TVM
  ☆28Updated 5 years ago
• LC-John / Notes-and-homeworks
  PKU EECS courses
  ☆63Updated 6 years ago
• grievejia / andersen
  Andersen's inclusion-based pointer analysis re-implementation in LLVM
  ☆221Updated 6 years ago
• wcventure / ConcurrencyPaper
  Concurrency Paper
  ☆110Updated 2 years ago
• YeXiaoRain / JOS_LAB_MIT_2017
  代码MIT 2016-2017年JOS LAB(6/6) 过程记录文档为SJTU+MIT
  ☆38Updated 6 years ago
• xlab-uiuc / open-cevo
  configuration evolution dataset
  ☆18Updated 4 years ago
• FP-Analysis / atomic-condition
  ☆22Updated 5 years ago
• thu-cs-lab / tanlabs
  Tsinghua Advanced Networking Labs on FPGA
  ☆38Updated 8 months ago
• twd2 / roload
  My DAC '21 work open-sourced.
  ☆14Updated 4 years ago
• SRI-CSL / whole-program-llvm
  A toolkit for building whole-program LLVM bitcode files
  ☆77Updated 3 years ago
• Changochen / TrinityCTF
  CTF stuff by Trinity from Nanjing University
  ☆9Updated 4 years ago