C++ memory analysis

Objarcox, I choose you!

Specifically, I’m trying out the analyzer and 0xB features and it was mentioned that all the analyzer notes now work in C++ mode as well and many do, but not memory management issues it seems.

Code like:

int main(int argc, char *argv[]) {
int *x = new int;
*x = 5; // suppress dead store / not initialized warnings
return 0;
}

yields no warnings from the analyzer. Same result with member vars, etc, Is this just a bridge too far (for now)?

Best, Arthur

The static analyzer has its existing checks and they work in [Obj]C++ code now. However, it isn’t finding all possible C++ bugs yet :slight_smile:

-Chris