XXG-Lab / DragonLinks
Assignments of the dragon book, 2nd
☆12Updated 7 years ago
Alternatives and similar repositories for Dragon
Users that are interested in Dragon are comparing it to the libraries listed below
Sorting:
- 2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)☆212Updated 4 months ago
- My solutions to the programming assignments of the Stanford Compiler course.☆372Updated 10 years ago
- CrashTuner(SOSP2019)☆30Updated 5 years ago
- My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html☆51Updated 2 years ago
- Concurrency Paper☆110Updated 2 years ago
- Program analysis and verification framework☆25Updated last week
- system 2019 project☆14Updated 5 years ago
- 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
- Learning and Teaching Software Analysis and Verification via SVF☆25Updated this week
- Stanford CS1/CS143 Compilers Course Project - Cool compiler☆130Updated 6 years ago
- A compiler from TIP to llvm bitcode☆69Updated 8 months ago
- configuration evolution dataset☆18Updated 4 years ago
- This repository contains the artifact for the SOSP'23 paper: Sishuai Gong, Dinglan Peng, Deniz Altınbüken, Pedro Fonseca, Petros Maniati…☆14Updated last year
- compiler course info☆248Updated last year
- Teaching and Learning Software Analysis via SVF☆203Updated 2 months ago
- A JIT Compiler Fuzzer for JVMs via CSX/JoNM in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆56Updated 4 months ago
- The MOSAIC Operating Systems Model and Checker☆194Updated 2 years ago
- Tai-e assignments for static program analysis☆31Updated 2 years ago
- A Simple CPP Static Analysis Framework☆21Updated 2 years ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆26Updated 7 months ago
- Tai-e assignments for static program analysis☆12Updated 3 years ago
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆223Updated 6 years ago
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Updated last month
- ☆20Updated 5 months ago
- Mining Error-Handling Bugs without Error Specification Input☆17Updated 5 years ago
- The source code of project "LLift" (Enhancing static analysis with LLM)☆73Updated last year
- 斯坦福2022春季编译原理实验☆21Updated 2 years ago
- some notes for how to build projects into a single LLVM bitcode file.☆18Updated 6 years ago
- ☆38Updated last year
- ☆97Updated 8 months ago