Want to read Slashdot from your mobile device? Point it at m.slashdot.org and keep reading!


Forgot your password?
Slashdot Deals: Cyber Monday Sale! Courses ranging from coding to project management - all eLearning deals 25% off with coupon code "CYBERMONDAY25". ×

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 ?

Submission + - Month Of Apple Bugs

El Lobo writes: Apple Computer would face challenge from a pair of security researchers who have announced their plans to reveal one bug a day in Mac OS X and Apple applications starting January 1.

This new project would be hosted by a poster using the alias "LMH," and his partner, Kevin Finisterre. Finisterre is a tech researcher and has posted several Mac vulnerabilities and analyses on his own site.

The security researchers hope to use the project to dispel the perception that Apple systems are free of the security bugs that have long plagued Windows users.

http://www.theregister.co.uk/2006/12/20/month_of_a pple_bugs/

Leveraging always beats prototyping.