> Great. And the entire field of static analysis is available for you to do this. But when discussing the formal consequences of the halting problem it is just

> Great. And the entire field of static analysis is available for you to do this. But when discussing the formal consequences of the halting problem it is just completely pedantic to show up and point out that actually you can run Coverity and it'll spit out some pretty useful results on most programs. I'm glad that my points were so clear and obvious to you!