[re: aside]Well it is possible to detect SOME infinite loops, but not all. NOT in a language that allows side effects (unless you do a complete prohibitive global analysis, which would be quite heroic). So it's more a debugging help, not a real security guarantee[/re: aside]