thufv / CMinor-Verifier
2022 年春季学期清华大学《软件分析与验证》课程实验平台
☆193Updated 2 years ago
Related projects: ⓘ
- ☆74Updated last week
- A repo to store the compiler project☆68Updated last year
- The MOSAIC Operating Systems Model and Checker☆159Updated last year
- Library for generating/parsing/optimizing Koopa IR.☆99Updated 5 months ago
- The MiniDecaf compilers.☆66Updated 3 years ago
- The notes about programming language theory☆22Updated last year
- An optimizing compiler in the Chinese Collegiate Student System Capability Challenge (Compiler Track) 2021☆61Updated last year
- BUAASE2019级的编译实验的实验指导与实验安排☆108Updated last year
- 带你畅游《软件分析》☆267Updated 2 years ago
- ntype cafe summer school resources☆136Updated 3 months ago
- A Pointer Analysis Framework for Rust☆39Updated 3 weeks ago
- Software testing introduction. An introductory booklet written for friends who are interested in software quality assurance. 软件测试简介。为对软件质…☆27Updated 3 years ago
- The MiniDecaf tutorial documentation.☆88Updated this week
- 全国大学生计算机系统能力大赛编译系统设计赛项目☆243Updated 3 years ago
- ☆54Updated 3 years ago
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆17Updated last month
- Linux kernel labs☆56Updated 3 years ago
- compiler course info☆244Updated 11 months ago
- 2021年华为毕昇杯中国科学技术大学Maho_Shojo队二等奖作品☆26Updated 2 years ago
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated 11 months ago
- A similarity measurer on two programming assignments on Online Judge.☆9Updated last year
- A additional Rust compiler pass to detect memory safe bugs of Rust programs.☆15Updated 8 months ago
- A visualized debugging framework to aid in understanding the Linux kernel.☆31Updated last week
- ShadowBound: Efficient Memory Protection through Advanced Metadata Management and Customized Compiler Optimization (USENIX Security 2024)…☆20Updated last month
- 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
- 2021年OS比赛获奖赛题(文档/代码开源),可用于2022年参赛同学的学习和提高☆46Updated 2 years ago
- ☆96Updated this week
- An unofficial reference implementation of the C Minus Minus Compiler☆43Updated 2 weeks ago
- 国科大编译作业:基于Clang的C语言解释执行器☆33Updated 2 years ago
- 编译原理相关的工作岗位收集☆86Updated 6 years ago