Comment by lawlessone

>a variety of inner checks to make sure that the execution doesn't end up in an infinite loop or whatever.

I am pretty sure that is one of the biggest unsolvable problems in computer science. Halting problem.