News for hackers. Stuff that matters.
Re:Eric Lippert is leaving Microsoft by munin on Thursday November 29, 2012 @10:32PM (#4851688)
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.