The Importance of Static Analysis

We build reliable systems out of unreliable parts. It's halfway to Mars. You can't send a repairman. So the fact that there are unsafe unreliable things is a fact. I think you need to build something new. If I'm making a mistake, it's an honest mistake and you can correct me. But we cannot prove arbitrary C++ code correctly. That's impossible. First of all, it's too complex. Secondly, the algorithms for proving safety are not linear. There could be quadratic, for instance. Anyway, there's a holding problem.