The Role of Static Analysis in C++

To do static analysis, you have to limit the language written to something that can be analyzed. My feeling about static analyzers is that for good economic reasons, they're focused on finding bugs in arbitrary C code. That's a hard job, but it's a different job from verifying a set of rules for using C++. I believe it is an easier task and we can make it easier by their libraries and different rules, but it is new and it is somewhat different from what we have.