The Story of Building a Rust-Style Static Analyzer for C++ with AI
The project is available at: https://github.com/shuaimu/rusty-cpp
As someone who has spent almost 15 years doing systems research with C++, I am deeply troubled by all kinds of failures, especially segmentation faults and memory corruptions. Most of these are caused by memory issues: memory leaks, dangling pointers, use-after-free, and many others. I’ve had many cases where I have a pointer that ends with an odd number. The last one literally happened last month. It gave me so many sleepless nig...
Read more at 0.0.0.0