Projects
代码重构
- CCodeExtractor
- 联系人:张昱、宁宇(研一)
- Macrofication
- CCodeExtractor
调研类课题(可以以Clang和LLVM为基础展开)
面向对象的编译机制
智能指针的语义与实现机制
过程内分析调研与实践
过程间分析机制调研
模板库的实现机制
代码生成的实现机制,如MIPS
调试器的实现机制
Sanitizer调研: projects/compiler-rt/lib下的各种*san子目录
连接器及其并发执行
计算机系统能力培养实验体系的建设
适合CPU设计和操作系统课程实验的C编译器开发,要求:
编译器生成到指定MIPS指令集的汇编代码
指定的MIPS指令集将划分成多个层次
静态程序分析与检测
- C/C++ 跨文件的函数调用图构造
- 联系人:张昱、宁宇(研一)
- 基于文法和规则描述的静态检查器构造
- 联系人:张昱、郭兴
- xWIDL for SAFE 2.0
- 联系人:2013级张震
- C/C++ 跨文件的函数调用图构造