>>44
You don't need to solve halting problems to implement adequate static code analysis. Go see the other thread where a wrench was thrown into your proposed problem. You need only consider the worst case path, and therefore you can collapse all conditional logic and determine an upper bound.