Follow Slashdot blog updates by subscribing to our blog RSS feed

 



Forgot your password?
typodupeerror

Comment Re:In Short, Yes (Score 1) 345

I disagree. Think of a loop where a break condition depends on the validity of, say, Goldbach's conjecture. No static analyzer can tell when (or if) such a program will halt. This is an extreme example, of course, but any sufficiently complicated expression that affects what code path is taken and/or termination of the program will pretty much have the same problem when it comes to static analysis.
Wouldn't just taking all the different codepaths solve the problem in the context of this article ?

Slashdot Top Deals

Computers can figure out all kinds of problems, except the things in the world that just don't add up.

Working...