Comment by mhmmmmmm

Is reliably detecting if code has any infinite loops feasible? Sounds like the halting problem.