Beta
×

Welcome to the Slashdot Beta site -- learn more here. Use the link in the footer or click here to return to the Classic version of Slashdot.

Thank you!

Before you choose to head back to the Classic look of the site, we'd appreciate it if you share your thoughts on the Beta; your feedback is what drives our ongoing development.

Beta is different and we value you taking the time to try it out. Please take a look at the changes we've made in Beta and  learn more about it. Thanks for reading, and for making the site better!

Comments

top

Do Static Source Code Analysis Tools Really Work?

leonmergen Re:In Short, Yes (345 comments)

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 ?

more than 6 years ago

Submissions

leonmergen hasn't submitted any stories.

Journals

leonmergen has no journal entries.

Slashdot Login

Need an Account?

Forgot your password?