Building a Rust-style static analyzer for C++ with AI
4 months ago
- #Static Analysis
- #Rust
- #C++
- 作者拥有15年C++开发经验，长期受困于段错误和内存泄漏等顽疾
- Rust的内存安全特性极具吸引力，但将现有C++代码库重写为Rust并不现实
- 谷歌工程师认为通过宏在C++中实现Rust式内存安全是不可能的
- Circle C++曾为C++提供类Rust的借用检查器，但未被C++标准委员会采纳且闭源
- 作者决定开发静态分析器，在不修改语言的前提下为C++实现内存安全
- 借助Claude等AI编程助手，作者通过迭代开发完成分析器原型
- 该工具采用基于注释的注解（@safe/@unsafe）标记代码段，无需改动C++语法
- 强制执行Rust式借用检查、常量正确性，并提供与Rust类型（Box/Arc/Option）对应的C++实现
- 通过外部注解可安全使用STL和第三方库，无需修改其源代码
- 工具支持CMake等构建系统，能检测多重可变借用、移动后使用等违规行为
- 作者感叹AI进化神速，其工程能力已超越多数博士生甚至自己
- 这个名为Rusty C++的项目现已稳定可用，为饱受内存问题困扰的C++开发者带来安心