java and C# still allow casting, so I think there you will still want static analysis outside of existing language features.
Re:Eric Lippert is leaving Microsoft
by seanmcdirmid on Friday November 30, 2012 @01:17AM
(#4852107)
Yes, and they have null pointers also, but such bugs aren't as horrible as they are in c++, they show up more quickly during tests and are easier to debug.
C++ remains the market maker for the static analysis industry.
If you program in C++, you need static analysis. I'm not so sold on it for Java or C#, their is a lot less low hanging fruit in a moderately modern statically typed language.