thufv / CMinor-VerifierLinks
2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)
☆210Updated 10 months ago
Alternatives and similar repositories for CMinor-Verifier
Users that are interested in CMinor-Verifier are comparing it to the libraries listed below
Sorting:
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆30Updated last year
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Updated 3 months ago
- A Pointer Analysis Framework for Rust☆65Updated 7 months ago
- The MOSAIC Operating Systems Model and Checker☆207Updated 2 years ago
- A JIT compiler validator for JVMs via CSX/JoNM introduced in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆62Updated 10 months ago
- A similarity measurer on two programming assignments on Online Judge.☆10Updated 3 years ago
- Concurrency Paper☆114Updated 2 years ago
- A compiler from TIP to llvm bitcode☆72Updated last year
- Teaching and Learning Software Verification via SVF☆34Updated last month
- ☆78Updated 2 weeks ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆19Updated 3 weeks ago
- The notes about programming language theory☆27Updated 2 years ago
- ChocoPy LLVM Repo☆79Updated 3 years ago
- ☆20Updated 2 months ago
- An optimizing compiler targeting armv7 and risc-v32☆63Updated last year
- compiler course info☆251Updated 2 years ago
- CSCD70 Compiler Optimization☆261Updated 2 years ago
- ntype cafe summer school resources☆146Updated last year
- A visualized debugging framework to aid in understanding the Linux kernel.☆210Updated last month
- Andersen's inclusion-based pointer analysis re-implementation in LLVM☆232Updated 6 years ago
- 带你畅游《软件分析》☆277Updated 3 years ago
- 全国大学生计算机系统能力大赛编译系统设计赛项目☆246Updated 4 years ago
- Library for generating/parsing/optimizing Koopa IR.☆144Updated last month
- Public-facing course info for program analysis materials.☆43Updated last month
- The source code of project "LLift" (Enhancing static analysis with LLM)☆85Updated last year
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated 2 years ago
- A group of students who are interested in Compilers, and they want to improve themselves together.☆25Updated 3 years ago
- BUAASE2019级的编译实验的实验指导与实验安排☆118Updated 3 years ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆50Updated last year
- Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…☆30Updated 5 years ago