A lot of software doing useful work halts pretty trivialy, consuming inputs and doing bounded computation on each of them. You're not going to recurse much in click handlers or keep making larger requests to handle the current one.

Catching all bugs with static analysis is actually really easy, as long as you don't mind false positives.