Building a Rust-style static analyzer for C++ with AI