Forgot your password?
typodupeerror

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

by leonmergen (#23466388) Attached to: Do Static Source Code Analysis Tools Really Work?

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 ?
OS X

+ - Month Of Apple Bugs

Submitted by El Lobo
El Lobo (994537) 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/"

It is impossible to enjoy idling thoroughly unless one has plenty of work to do. -- Jerome Klapka Jerome

Working...