编译器
2024-03-04
CompCert: 通过形式化验证的编译器
2023-07-30
用 AI 检测代码覆盖率
2023-07-23
Alive2: LLVM 编译器优化正确性验证工具
2023-04-16
YARPGen: 编译器 bug 测试工具
2023-03-19
MLIR: 多层级通用编译器 IR 简介
2022-07-02
LLVM 中的循环: Loop
2022-04-17
Swift 编译器优化技术：WMO
2021-12-26
Swift 编译器构建学习笔记
2021-10-16
LLVM JIT 的运用：WebKit FTL JIT
2021-10-07
LLVM 新一代 JIT API：ORC
2021-08-01
代码分析属性图 CPG 介绍
2021-07-24
【译】LLVM 类型相等判断
2021-07-17
代码 bug 嗅探器：Sanitizer
2021-07-03
【译】LLVM 类型系统
2021-06-14
【译】LLVM 的设计
2021-05-03
《基于 LLVM 克隆代码检测关键技术研究》笔记