Mike-Huang01 / pointerAnalysis
soot-based pointer analysis course project
☆9Updated 5 years ago
Related projects: ⓘ
- 程序分析大作业:使用 SOOT 框架,实现 Java 上的静态指针分析☆37Updated 6 years ago
- ICS seminar 6, 2019 Fall☆11Updated 4 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台☆193Updated 2 years ago
- Flow-based configuration analysis☆9Updated 3 years ago
- MiniVM is a virtual machine for executing Eeyore/Tigger IR.☆35Updated 2 years ago
- 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
- configuration evolution dataset☆16Updated 3 years ago
- ☆74Updated last week
- Modern Compiler Implementation in C☆39Updated 8 years ago
- Coursera Course (Stanford CS143)☆24Updated 10 years ago
- public version of zby's ics program-assignment (NJU ics2015 PA)☆26Updated 7 years ago
- VU Advanced Multiprocessor Programming, TU Wien, SS 2013☆38Updated 11 years ago
- Pattern Fuzzing for Worst-Case Algorithmic Complexity using Program Synthesis☆21Updated 3 years ago
- A points-to and alias analysis benchmark suite☆35Updated 5 years ago
- A PKU-lab aiming for a compiler to compile miniC source code to RISC-V executable☆17Updated 5 years ago
- Toy Compiler for Compiler 2016 Course☆89Updated 8 years ago
- 南京大学山寨毕业论文模版☆121Updated 5 years ago
- http://spider.oscardhc.com☆12Updated 4 years ago
- A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17☆42Updated 4 years ago
- Compiler Course at USTC in 2018 Fall☆23Updated 5 years ago
- Book reading☆14Updated 4 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆210Updated 5 years ago
- 编译原理相关的工作岗位收集☆86Updated 6 years ago
- CTF stuff by Trinity from Nanjing University☆9Updated 3 years ago
- A usage-guided Linux Kernel manual☆9Updated 3 years ago
- Course Project. PKU Compiler Design. Spring, 2020.☆49Updated 4 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆26Updated 2 years ago
- 全国大学生计算机系统能力大赛编译系统设计赛项目☆243Updated 3 years ago