Sure. And if you get a static analyzer, you solve the problem more or less. But, most of the bugs I notice in the static analysis output are not possible in th

Sure. And if you get a static analyzer, you solve the problem more or less. But, most of the bugs I notice in the static analysis output are not possible in the model of other languages. That's... kind of depressing.