Mike-Huang01 / pointerAnalysis
soot-based pointer analysis course project
☆9Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for pointerAnalysis
- 程序分析大作业：使用 SOOT 框架，实现 Java 上的静态指针分析☆37Updated 6 years ago
- Flow-based configuration analysis☆9Updated 3 years ago
- ☆75Updated this week
- Compiler-NJU☆14Updated 10 years ago
- ICS seminar 6, 2019 Fall☆11Updated 4 years ago
- 南京大学山寨毕业论文模版☆121Updated 5 years ago
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台☆200Updated 2 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
- A usage-guided Linux Kernel manual☆9Updated 3 years ago
- Coursera Course (Stanford CS143)☆24Updated 10 years ago
- CS 704 course website - Principles of Programming Languages☆68Updated last year
- configuration evolution dataset☆16Updated 3 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆214Updated 5 years ago
- Modern Compiler Implementation in C☆39Updated 8 years ago
- CSAPP Labs☆100Updated 8 years ago
- Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program☆26Updated 6 years ago
- Tiger Compiler Lab based on C.☆31Updated 7 years ago
- ☆12Updated last year
- Solutions to "Introduction to Models of Computation" of Nanjing University☆44Updated 6 years ago
- 南京大学计算机系数理逻辑课程资料☆79Updated 5 years ago
- An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021☆61Updated 2 years ago
- SKI virtual machine for testing concurrency bugs☆11Updated 8 years ago
- ☆46Updated 2 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 4 years ago
- Seminar 2016☆25Updated 3 months ago
- Movec: A Tool for the Monitoring and Verification of C Programs☆21Updated 8 months ago