There have been genuine efforts to do that. Obviously (well, for a very niche use of "obviously") it's not always possible, but detecting infinite loops isn't like the uncertainty principle.

It's called The Terminator.